Çıkarım nedir? Çeşitleri ve Başlıca Özellikleri

Çıkarım, deliller veya bilinen gerçekler dikkate alınarak ulaşılan bir sonuç veya görüşdür. Mantıkta bir çıkarım, kabul edilen varsayımlardan mantıksal sonuçlar çıkarma süreci olarak tanımlanmaktadır.

Bir öncül ayrıca, doğru olarak verilen ve bir sonucun alındığı bir teklif olarak tanımlanır.

Bazı durumlarda, çıkarım varsayımsal varsayımlardan mantıksal olarak türetilebilir değildir, ancak bu varsayımlara göre belirli bir olasılık derecesine sahiptir.

Çıkarım kelimesi "taşımak" anlamına gelen ortaçağ Latin çıkarımasından gelmektedir. Bu terim genellikle argümanla eş anlamlı olarak kullanılır.

Çıkarım, muhakemenin gerçekleştiği bir mekanizmadır. Bu ikisi el ele gider ve muhakemenin geçerliliğini güvence altına almak için uygun bir çıkarım sürecinin izlenmesi esastır.

Charles Peirce'in Katkısı

Çıkarım ve tartışmalar üzerine yapılan araştırma, filozof ve matematikçi Charles Sanders Peirce'in (1839-1914) çalışmaları ile zenginleştirildi.

İndüksiyon 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 ayrı ancak tamamen bağımsız çıkarım türlerinden üçünü kapsamaktadır: tümdengelim, tümevarım ve kaçırma.

Hayatının son aşamalarında, onları farklı çıkarım türleri yerine üç farklı araştırma aşaması olarak görmesine rağmen, bu sınıflandırma hala korunmaktadır.

3 çıkarım türü

1- Tümdengelim

Tümdengelim, verilen aksiyomlardan ve gerçeklerden bir sonuç çıkarma işlemidir. Yani, mevcut bilgi ve gözlemlere dayanarak bir sonuç çıkar.

Sonuç, modus ponens kuralı uygulanarak çizilebilir. Bu çıkarım kuralı, hem P hem de P → Q'nun doğru olduğunu bilirsek, Q'nun da doğru olması gerektiği sonucuna varabiliriz. Tümdengelim ile çıkarım, aynı zamanda mantıksal çıkarım olarak da bilinir.

örnek

Aksiyom: Tüm memelilerin meme bezleri vardır.

Gerçek / öncül: Balinalar memelidir.

Sonuç: Balinaların meme bezleri vardır.

2- İndüksiyon

Öte yandan, indüksiyon, belirli veya spesifik gözlemlerden genel bir kural (ayrıca aksiyom olarak da adlandırılır) türetmeyi ifade eder.

Bu tür bir muhakeme, tümdengelimli olanın tam tersidir. Temel olarak, spesifiklerden geneline doğru çeşitli verilerden sonuçlar veya çıkarımlar çıkarmak anlamına gelir. Bilim adamları hipotez ve teoriler oluşturmak için endüktif akıl yürütmeyi kullanır.

örnek

veriler:

1. Juan altı saatten az uyur ve yorgun uyanır.
2. Lucia altı saatten az uyur ve yorgun bir şekilde uyanır.
3. María altı saatten daha az uyur ve yorgun uyanır.
4. Carlos altı saatten daha az uyur ve yorgun uyanır.

Çıkarım: Bir kişi altı saatten daha az uyursa, yorgun kalkın.

3- Kaçırma

Bu tür bir çıkarım, eksik gözlemlere dayanır ve bu da mümkün olan en muhtemel açıklamaya neden olur.

Mevcut olan en iyi bilgileri kullanarak hipotezler oluşturmaya ve test etmeye dayanır. Genellikle, açık bir açıklama yapılmayan bir olguyu gözlemledikten sonra bir varsayımda bulunmayı içerir.

örnek

Buna bir örnek, testlerin sonuçlarına dayanarak yapılan tıbbi teşhislerdir. Bir başka örnek, yargılamadaki jürilerin kendilerine sunulan kanıtlara dayanan kararlarıdır.