Revisable akıl türüdür akıl olan nedenlere dayanmaktadır r , évisables o nedenle karşı çıkıyor irévisable ait tümdengelimli mantık . Revize edilebilir akıl yürütme, muhakemenin bir ifadenin tam veya nihai bir kanıtını üretmediği, yani sonucun yanılabilirliğinin ve düzeltilebilirliğinin kabul edildiği, özel bir tür gösterici olmayan akıl yürütmedir. Başka bir deyişle, gözden geçirilebilir akıl yürütme, koşullu bir ifade üretir . Dahil olmak üzere: olmayan gösterim muhakeme varoldukları için diğer tip, olasılıksal akıl yürütme , endüktif akıl yürütme , muhakeme istatistikleri , akıl dışaçekimsel veya paracohérent akıl .
Bu akıl yürütme türleri arasındaki farklar, kullanılan her mantık yürütme türü arasındaki farklılıklara karşılık gelir:
Revize edilebilir akıl yürütme, tam ifadesini hukuk biliminde , etikte , epistemolojide , pragmatikte , dilbilimdeki geleneksel konuşmalarda , yapılandırmacılıkta ve bilginin temsilinde bulur .
Her ne kadar Aristoteles geçerli olan akıl yürütme biçimlerini ayırt mantık ve felsefe gündelik yaşamda kullanılan olanlardan, (bkz diyalektik ve retorik ait filozoflar,) XX inci yüzyıl öncelikle odaklanmıştı tümdengelim . Sonunda XIX inci yüzyılın, metinlerin mantığı sıklıkla ikincisi daha fazla odaklanarak, demonstrasyon akıl ve olmayan demonstrasyon türlerini kullandı. Ancak yükselişinden sonra matematiksel mantık ile Bertrand Russell , Alfred North Whitehead ve Willard Van Orman Quine , son mantıksal metinler XX inci yüzyıl olmayan tümdengelim çıkarımların modları çok az dikkat.
Birkaç önemli istisna vardır. John Maynard Keynes tezini gösterici olmayan akıl yürütme üzerine yazdı ve bu nedenle Ludwig Wittgenstein'ın bu konudaki düşüncesini etkiledi . Wittgenstein'ın da aralarında pozitivist ve dilbilimci John L. Austin , retorikte Stephen Toulmin ( ayrıca Chaim Perelman ), ahlaki teorisyenler WD Ross ve CL Stevenson ve epistemolog / ontolog Friedrich Waismann gibi birçok hayranı vardı .
Ahlaki teori ve retorikle uğraşan filozoflar , Amerikalı epistemologlar Wittgenstein'ın konuyla ilgili düşüncelerini yeniden keşfettiklerinde, yeniden gözden geçirilebilirliği kesin olarak kabul etmişlerdi : John Ladd , Roderick Chisholm , Roderick Firth , Ernest , Robert Nozick ve John Sosa L Pollock, hepsi yeni inançlarla yazmaya başladılar. kırmızı görünüm , bir şeyin kırmızı olduğuna inanmak için yalnızca gözden geçirilebilir bir nedendi.
Aynı zamanda (1960'ların ortası) iki öğrenci, Brian Barry ve David Gauthier, sırasıyla politik tartışmalara ve pratik (eylem) muhakemeye revize edilebilir akıl yürütme uyguluyorlardı. Joel Feinberg ve Joseph Raz , gözden geçirilebilirliğin bildiği etik ve hukuk alanında çalışmalar üretmeye başladı.
1970'lerin ortalarında yeniden döndürülebilirlikle ilgili en önemli çalışmalar John Pollock'un 1974'te yazdığı Bilgi ve Gerekçe adlı epistemolojiydi . Pollock'un çalışması tam da önemliydi çünkü o, yeniden çevrilebilirliği felsefi mantığa çok yaklaştırabiliyordu.
Aklın kökeninin sıklıkla tartışılmadığı epistemoloji dışında, revizyon her zaman argüman, retorik ve hukukla yakından bağlantılı olmuştur. Diyalektik ve Nicholas Rescher o tasarlamak daha karmaşık reviewable muhakeme sistemlerine filozoflar için ne kadar zor bir örnektir. Savunucuları, çünkü bu kısmen oldu gayri mantık ısrar ederken argüman ve retoriğin koruyucuları haline formalizmini oldu anathema argümana.
O zamanlar yapay zeka araştırmacıları , monoton olmayan akıl yürütme ve anlambilimiyle ilgileniyordu . Pollock ve Donald Nute gibi filozofların yanı sıra düzinelerce bilgisayar bilimi ve mantık araştırmacısı, 1980 ile 2000 yılları arasında karmaşık gözden geçirilebilir akıl yürütme sistemleri yarattı.
Pek çok siyaset filozofu , örneğin, inkar edilemez , ilahi veya açık olan, haklardan söz ederken kaçınılmaz kelimesini kullanmıştır . Revisable kelimesini kullanan filozoflar tarihsel olarak imprescriptible kelimesini kullananlardan farklı dünya görüşlerine sahip olmuşlardır ; bu nedenle, her iki kelimeyi de kullanan yazarlar bulmak nadirdir.
Hukuki görüşlerde, gözden geçirilebilirlerin kullanımı ortak kullanımdadır. Bununla birlikte, hukukçular arasında revize edilebilir muhakemenin merkezi olup olmadığı konusunda bir anlaşmazlık vardır. HLA Hart , The Concept of Law'da iki bilinen gözden geçirilebilirlik örneği veriyor : “Parkta araç yok” (geçit törenleri hariç); ve "Teklif, kabul ve muhtıra sözleşme üretir" (sözleşmenin yasa dışı olduğu, tarafların küçük olduğu, sarhoş olduğu vb. durumlar hariç).
Revize edilebilir bir akıl yürütme sistemi üretirken ana farklılıklardan biri, bir özgüllük kuralının statüsüdür . En basit haliyle, bu, bir mirasın alt sınıfıyla aynı kuraldır :
(R1) si r alors (révisablement) q par ex., si oiseau, alors il peut voler (R2) si p alors (révisablement) non-q par ex., si pingouin, alors il ne peut pas voler (O1) si p alors (déductivement) r par ex., si pingouin, alors oiseau (M1) discutablement, p par ex., discutablement, pingouin (M2) R2 est une raison plus spécifique que R1 par ex., R2 est mieux que R1 (M3) par conséquent, discutablement, non-q par ex., par conséquent, discutablement, non-voleBugün tartışılan revize edilebilir akıl yürütme sistemlerinin yaklaşık yarısı bir özgüllük kuralı benimsiyor. Örneğin, Rescher'in diyalektik sistemi özgüllüğü kullanır.