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



bir sonuç deliller veya bilinen gerçekler dikkate alınarak ulaşılan bir sonuç veya görüşdür. Mantıkta bir çıkarım, varsayımlardan elde edilen 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 ifade olarak tanımlanır..

Bazı durumlarda, çıkarım kabul edilen varsayımlardan mantıksal olarak türetilebilir değildir, ancak bunlara belirli bir göreceli olasılık derecesine sahiptir..

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

Çıkarım, muhakemenin 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ürecinin izlenmesi esastır..

Charles Peirce'in Katkısı

Çıkarım ve tartışmalar hakkındaki soruşturma, 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 ya da çıkarım türünü keşfetti: kaçırma.

Bu nedenle, Peirce'in sınıflandırması esasen farklı ancak tamamen bağımsız çıkarım türlerinden oluşuyordu: 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 sonuç çıkarma işlemidir. Yani, mevcut bilgi ve gözlemlere dayanarak bir sonuç çıkarmak.

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. Kesinti çı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 (aksiyom olarak da adlandırılır) türetmeyi ima 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 uyanır.
  3. María altı saatten az uyur ve yorgun uyanır.
  4. Carlos altı saatten az uyur ve yorgun uyanır.

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

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 en iyi bilgiyi 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 ise, jürilerin duruşmalardaki kararlarını, kendilerine sunulan kanıtlara dayanarak vermektir..

referanslar

  1. Çıkarım. (s / f). Kısaltılmış. 27 Kasım 2017'de, dictionary.com sitesinden alındı
  2. Çıkarım. (2017, 08 Kasım). Merriam Webster.com'da. Merriam-webster.com adresinden 27 Kasım 2017 tarihinde alındı
  3. Iannone, A.P. (2013). Dünya Felsefesi Sözlüğü. Londra: Routledge.
  4. Bellucci, F. ve Pietarinen, A. V. (s / f). Charles Sanders Peirce: Mantık. İnternet Felsefesinin Ansiklopedisi. 27 Kasım 2017 tarihinde iep.utm.edu'den alındı
  5. Kulkarni, P. ve Joshi, P. (2015). Yapay zeka: Akıllı Sistemlerin Kurulması. Delhi: PHI Öğrenme.
  6. Johnson, G. (2017). Argüman ve Çıkarım: İndüktif Mantığa Giriş. Massachusetts: MIT Basını.
  7. Velleman, D. J. (2006) Nasıl Kanıtlanır: Yapılandırılmış Bir Yaklaşım. New York: Cambridge Üniversitesi Yayınları.
  8. Bradford, A. (2017, 24 Temmuz). Tümdengelim Muhakeme vs. Endüktif Muhakeme
    Canlı Bilimde. 27 Kasım 2017 tarihinde, livescience.com'dan alındı