Çıkarım gelen bir düşünce hareketidir ilkelerine sonuca. Bir veya daha fazla geçmesi mümkün kılan bir operasyondur iddiaların , tablolar ya da önermeler gerçek adı verilen olarak teyit tesislerinde bir yeniye, iddianın sonuçtur.
Etimolojik olarak, çıkarım kelimesi "ertelemek" anlamına gelir. Teoride, çıkarım geleneksel olarak tümdengelim ve tümevarım olarak ikiye ayrılır , bu ayrım Avrupa'da en azından Aristoteles'e (MÖ 300) kadar uzanır.
Anlık çıkarımları, tümdengelimli , tümevarımlı ve kaçırıcı gibi aracı çıkarımlardan ayırıyoruz .
Çıkarım, "önermeler olarak iddialı önermelerden sonuçlar olarak iddialı önermelere geçen bir zihnin işleyişi olarak tanımlanır. "
Açıkça söylemek gerekirse, bir çıkarım, hemen olabileceği için muhakeme gerektirmez.
Gerçekte, ani bir çıkarım bir duyuma atıfta bulunabilir. Bu "önce verilir ve ondan nesneyi çıkarırız." Örnek: Bir kedinin gözlemi, bir kedinin nesnesine, yani doğrudan çıkarsamaya neden olur: bu bir kedidir.
Anında çıkarsama aynı zamanda akıl yürütme de olabilir. Daha sonra "iki önermeden oluşur: bir öncül ve bir sonuç". Aristotelesçi dolaysız çıkarımlar mantıksal bir kare biçimindedir .
Bir dolaylı çıkarım, " kategorik, olumlu veya olumsuz bir kıyas " tır . "
Üstelik için semiologists gibi, Charles Peirce , düşünce üzerinde çalışmaz önermeler , ancak işaretlerine. Böylelikle dilbilimden esinlenen, dilin biçimsel ilişkilerine odaklanan yapısalcı bir model önerirler . Nitekim Ferdinand de Saussure için herhangi bir dil, işaretlerin onu kullananlara dayatılan bir şekilde birleştiği ve geliştiği bir sistemi oluşturur. Hesaba amacıyla semiosis , bu nedenle yürütülen ilişkin işlemlere çıkarım kavramını genişletmek için dicent sembolleri (quasi-önermeler) ve nosyonunu yerine gerçeğin a önermenin bir gerçekliği o kadar performans belirli bir sanatçı için . Bu çıkarım anlayışı, alanı günlük yaşamda fiilen gerçekleştirilen işlemlerin tanımlanmasına açar ve yalnızca evrensel hakikatlerin üretimiyle, yani geçerli argümanlarla sınırlı olan bakış açısının dayattığı kısıtlamalardan kurtulur. Dolayısıyla , öncüllerle gerekli herhangi bir mantıksal bağlantıyı sürdürmeyen bir önermeyi, en azından geçici olarak doğru olarak kabul etmeyi içeren bir hipotez ortaya koyma eylemi, bu perspektifte vatandaşlık hakkına sahip olacaktır. Aslında, olası buluşun bir parçasını oluşturduğu herhangi bir araştırma faaliyetinde gözlemlenir. Bu, Peirce tarafından 1903'te kurulan üç tür çıkarımı ayırt etmeye yol açacaktır : kesinti , tümevarım ve kaçırma .
Tümdengelimli çıkarımBir tümdengelim çıkarım gerçeği ima tesislerinde mutlaka onun doğruluğunu ima sonuçları . Öngörülen çıkarım kurallarına uyması halinde "geçerli" olduğu söylenecektir . Bu nedenle, öncülleri doğru olduğunda geçerli bir argümanın sonucunun yanlış olması mümkün değildir.
Örnek: gösteri .
Bir tümevarımsal çıkarım bir muhtemel gerçekliğini ima tesislerinde . Bu, mutlaka sonucun doğruluğunun olasılığını belirler .
Örnek: Bayesci Çıkarım .
Kaçırıcı çıkarımBir dışaçekimsel çıkarım tek tek gerçeği nedeniyle bu nedene muhtemelen olduğuna dair bir hipotez olarak sonuçlandırılması, olası bir nedeni bilen kendisi için bir gerçeği gözlemler zaman içinde oluşur.