Bir çıkarım hesabı bilinen delil veya gerçekleri içine alma ulaşıldığında bir sonuç veya görüşüm. Mantıkta bir çıkarım, varsayılan öncüllerden mantıksal sonuçların türetilmesi süreci olarak tanımlanır.
Bir öncül aynı zamanda doğru olarak verilen ve bir sonucun çıkarıldığı bir önerme olarak da tanımlanır.
Bazı durumlarda, çıkarım mantıksal olarak varsayılan öncüllerden türetilemez, ancak bunlara göre belirli bir olasılık derecesine sahiptir.
Çıkarım sözcüğü, "içeri girmek" anlamına gelen ortaçağ Latince çıkarımından gelir. Bu terim genellikle argümanla eşanlamlı olarak kullanılır.
Çıkarım, akıl yürütmenin gerçekleştiği bir mekanizmadır. Bu ikisi el ele gider ve muhakemenin geçerliliğini sağlamak için uygun bir çıkarım sürecini izlemek esastır.
Charles Peirce'nin Katkısı
Çıkarım ve argümanlar üzerine araştırmalar filozof ve matematikçi Charles Sanders Peirce'nin (1839-1914) çalışmaları ile zenginleştirildi.
Tümevarım teorisine ve metodolojisine önemli katkılarda bulundu ve üçüncü bir akıl yürütme veya çıkarım türü keşfetti: kaçırma.
Bu nedenle, Peirce'in sınıflandırması, esasen farklı ancak tamamen bağımsız olmayan üç tür çıkarımı kapsıyordu: tümdengelim, tümevarım ve kaçırma.
Hayatının sonraki aşamalarında, onları farklı çıkarım türlerinden ziyade üç farklı araştırma aşaması olarak görmesine rağmen, bu sınıflandırma hala geçerlidir.
3 tür çıkarım
1- Kesinti
Tümdengelim, verilen aksiyomlardan ve gerçeklerden bir sonuç çıkarma sürecidir. Yani, mevcut bilgi ve gözlemlere dayalı bir sonuç çıkarın.
Sonuç, modus ponens kuralı uygulanarak çıkarılabilir. Bu çıkarım kuralı, hem P hem de P → Q'nun doğru olduğu biliniyorsa, Q'nun da doğru olması gerektiği sonucuna varılabileceğini belirtir. Tümdengelim yoluyla çıkarım, mantıksal çıkarım olarak da bilinir.
Misal
Aksiyom: Tüm memelilerin meme bezleri vardır.
Gerçek / öncül: Balinalar memelidir.
Özet: Balinaların meme bezleri vardır.
2- İndüksiyon
Tümevarım, belirli veya belirli gözlemlerden genel bir kuralın (aksiyom olarak da adlandırılır) türetilmesi anlamına gelir.
Bu tür bir akıl yürütme, tümdengelimli olmanın tam tersidir. Temel olarak, spesifikten genele giderek çeşitli verilerden sonuçlar veya çıkarımlar yapmak anlamına gelir. Bilim adamları, hipotezler ve teoriler oluşturmak için tümevarımlı akıl yürütmeyi kullanırlar.
Misal
Veri:
- Juan altı saatten az uyuyor ve yorgun bir şekilde uyanıyor.
- Lucia altı saatten az uyuyor ve yorgun uyanıyor.
- Maria altı saatten az uyur ve yorgun bir şekilde uyanır.
- Carlos altı saatten az uyuyor ve yorgun uyanıyor.
Çıkarım: Bir kişi altı saatten az uyursa, yorgun olarak uyanır.
3- Kaçırma
Bu tür bir çıkarım, mümkün olan en olası açıklamayla sonuçlanan eksik bir gözlemler dizisinden başlar.
Mevcut en iyi bilgileri kullanarak hipotezler oluşturmaya ve test etmeye dayanır. Genellikle, açık bir açıklaması olmayan bir olguyu gözlemledikten sonra bir varsayımda bulunmayı içerir.
Misal
Bunun bir örneği, test sonuçlarına dayalı tıbbi teşhislerdir. Diğer bir örnek, jürilerin kendilerine sunulan delillere dayalı olarak yargılamalardaki kararlarıdır.
Referanslar
- Çıkarım. (s / f). Merriam Unabridged'de. 27 Kasım 2017'de dictionary.com sitesinden alındı
- Çıkarım. (2017, 08 Kasım). Merriam Webster.com'da. 27 Kasım 2017'de merriam-webster.com'dan alındı
- Iannone, AP (2013). Dünya Felsefesi Sözlüğü. Londra: Routledge.
- Bellucci, F. ve Pietarinen, AV (s / f). Charles Sanders Peirce: Mantık. İnternet Felsefe Ansiklopedisi. 27 Kasım 2017'de iep.utm.edu'dan alındı
- Kulkarni, P. ve Joshi, P. (2015). Yapay zeka: Akıllı Sistemler Oluşturmak. Delhi: PHI Öğrenimi.
- Johnson, G. (2017). Argüman ve Çıkarım: Tümevarım Mantığına Giriş. Massachusetts: MIT Press.
- Velleman, DJ (2006) Nasıl Kanıtlanır: Yapılandırılmış Bir Yaklaşım. New York: Cambridge University Press.
- Bradford, A. (2017, 24 Temmuz). Tümdengelimli Akıl Yürütme vs.
Canlı Bilimde Endüktif Akıl Yürütme . 27 Kasım 2017'de lifecience.com'dan alındı