Reddedilebilir muhakeme - Defeasible reasoning

Gelen felsefi mantık , iptali mümkün akıl bir tür akıl olmasa, rasyonel zorlayıcı olduğunu tümdengelim geçerlidir . Genellikle bir kural verildiğinde ortaya çıkar, ancak kuralın belirli istisnaları veya farklı bir kurala tabi olan alt sınıflar olabilir. Savunulabilirlik, argüman ve argüman süreci veya buluşsal akıl yürütme ile ilgili literatürlerde bulunur .

Reddedilebilir muhakeme, muhakemenin bir iddianın tam, eksiksiz veya nihai bir kanıtını üretmediği, yani bir sonucun yanılabilirliği ve düzeltilebilirliğinin kabul edildiği, kanıtlayıcı olmayan belirli bir tür muhakemedir . Başka bir deyişle, reddedilebilir akıl yürütme, koşullu bir ifade veya iddia üretir . Bozulabilir akıl yürütme aynı zamanda bir tür genişletici akıl yürütmedir, çünkü sonuçları öncüllerin saf anlamlarının ötesine ulaşır.

İptali mümkün akıl içinde onun verdiği ifadesini bulan hukuk , etik ve ahlaki felsefesi , epistemoloji , pragmatiği ve konuşma sözleşmeler de dilbilim , yapılandırmacı karar teorileri ve içinde bilgi gösterimi ve planlama içinde yapay zeka . Ayrıca, ilk bakışta (varsayımsal) akıl yürütme (yani, kanıtın "yüzü" üzerinde akıl yürütme) ve ceteris paribus (varsayılan) akıl yürütme (yani akıl yürütme, her şeyin "eşit olması") ile yakından ilişkilidir .

En azından bazı felsefe okullarına göre, tüm akıl yürütme en fazla çürütülebilirdir ve tüm olgulardan mutlak olarak emin olmak (ve hiçbir şeyin bilinmediğini kesinlikle bilmek) imkansız olduğundan, kesinlikle kesin tümdengelimli akıl yürütme diye bir şey yoktur. . Böylece tüm tümdengelimli akıl yürütme gerçekte olumsal ve geçersizdir.

Diğer kanıtlayıcı olmayan akıl yürütme türleri

Diğer kanıtlayıcı olmayan akıl yürütme türleri, olasılıksal akıl yürütme , tümevarımsal akıl yürütme , istatistiksel akıl yürütme, kaçırma akıl yürütme ve tutarsız akıl yürütmedir.

Bu tür akıl yürütmeler arasındaki farklar, her tür akıl yürütmenin kullandığı koşullu ve koşullunun hangi öncül (veya hangi yetkiye göre) benimsendiği konusundaki farklılıklara karşılık gelir:

  • İndirgeme (önerme veya aksiyomu anlamına gelen): Eğer p , sonra q, (eşdeğer q ya da olmayan-p klasik mantığı, ille de diğer mantığı ile)
  • Defeasible (otoriteden): eğer p ise (defeasible) q
  • Olasılıksal (kombinatorik ve kayıtsızlıktan): eğer p ise(muhtemelen) q
  • İstatistiksel (veri ve varsayımdan): p sarasındaki q ssıklığıyüksektir (veya verilere uygun bir modelden çıkarım); dolayısıyla, (doğru bağlamda) eğer p ise(muhtemelen) q
  • Tümevarımsal (teori oluşturma; verilerden, tutarlılıktan, basitlikten ve doğrulamadan): (indüklenebilir) "eğer p o zaman q "; dolayısıyla, eğer p ise(çıkarılabilir-ama-değiştirilebilir bir şekilde) q
  • Kaçırma (veri ve teoriden): p ve q bağıntılıdır ve p için q yeterlidir; dolayısıyla, eğer p ise(abducably) q neden olarak

Tarih

Gerçi Aristoteles için geçerli olan akıl yürütme biçimlerini ayırt mantığı ve felsefesi (bkz günlük yaşamda kullanılan daha genel olanlardan diyalektiği ve söylem ), 20. yüzyıl filozofları ağırlıklı tümdengelim üzerinde yoğunlaştı. 19. yüzyılın sonunda, mantık metinleri tipik olarak hem kanıtlayıcı hem de kanıtlayıcı olmayan akıl yürütmeyi inceler ve genellikle ikincisine daha fazla yer verirdi. Ancak matematiksel mantığın Bertrand Russell , Alfred North Whitehead ve Willard van Orman Quine'in ellerinde çiçek açmasından sonra, 20. yüzyılın sonlarındaki mantık metinleri tümdengelimli olmayan çıkarım biçimlerine çok az ilgi gösterdi.

Birkaç dikkate değer istisna vardır. John Maynard Keynes , tezini kanıtlayıcı olmayan akıl yürütme üzerine yazmış ve Ludwig Wittgenstein'ın bu konudaki düşüncesini etkilemiştir . Buna karşılık Wittgenstein'ın, pozitivist hukuk bilgini HLA Hart ve retorikte söz edimi dilbilimci John L. Austin , Stephen Toulmin ve Chaim Perelman , ahlak teorisyenleri WD Ross ve CL Stevenson ve muğlaklık epistemologu/ontolog Friedrich de dahil olmak üzere birçok hayranı vardı. Waismann .

Feshedilebilir kelimesinin etimolojisi genellikle, bir fesih koşulunun bir sözleşmeyi veya tapuyu geçersiz kılabilecek veya iptal edebilecek bir madde olduğu Orta İngiliz sözleşmeler kanununa atıfta bulunur. Gerçi yenilgi , baskın , erteleme , defy , kullanımdan kaldırmak ve sapma genellikle aynı bağlamlarda kullanılan defease, fiiller iptal ve geçersiz (ve , geçersiz altüst, iptal, vacate, ilgası boşluk , iptal , iptal etmek , önceden önlemek vb) d harfi ile başlayan kelimelere kıyasla, fesih kavramıyla daha doğru bir şekilde ilişkilidir . Birçok sözlükler, fiil ihtiva yapmak defease için geçmiş sıfat ile, defeased.

Amerikalı epistemologlar Wittgenstein'ın konuyla ilgili düşüncelerini yeniden keşfettiklerinde, ahlaki teori ve retorikteki filozoflar, çürütülebilirliği büyük ölçüde doğal karşılamışlardı: John Ladd, Roderick Chisholm , Roderick Firth , Ernest Sosa , Robert Nozick ve John L. Pollock, hepsi nasıl olduğuna dair yeni bir inançla yazmaya başladılar. kırmızı olarak görünmek, bir şeyin kırmızı olduğuna inanmak için yalnızca geçersiz bir nedendi. Daha da önemlisi, Wittgenstein'ın dil oyunlarına (ve anlambilimden uzak ) yönelimi , bu epistemologları ilk bakışta mantıksal tutarsızlığı ortadan kaldırmak yerine yönetmeye teşvik etti .

Aynı zamanda (1960'ların ortalarında), Oxford'da Hart ve Austin'in iki öğrencisi olan Brian Barry ve David Gauthier , sırasıyla, politik argümana ve pratik akıl yürütmeye (eylem) uygulanabilir akıl yürütmeyi uyguluyorlardı. Joel Feinberg ve Joseph Raz , etik ve hukuk biliminde, feshedilebilirlikle bilgilendirilen eşit derecede olgun eserler üretmeye başlıyorlardı.

1970'lerin ortalarına gelindiğinde fesih edilebilirlik üzerine bugüne kadarki en önemli çalışmalar, John Pollock'un 1974 tarihli Knowledge and Justification adlı kitabının alttan kesme ve çürütme terminolojisini popüler hale getirdiği epistemolojideydi (ki bu Toulmin'in analizini yansıtıyordu). Pollock'un çalışması, kesin olarak, çürütülebilirliği felsefi mantıkçılara çok yaklaştırdığı için önemliydi. Mantıkçıların epistemolojide feshedilebilirliği reddetmedeki başarısızlığı (Cambridge'deki mantıkçıların on yıllar önce Hart'a yaptığı gibi) felsefi ana akımda çürütülebilir akıl yürütmeye yol açtı.

Nedenlerin zincirlerinin ve nedenlerin kökeninin sıklıkla tartışılmadığı epistemoloji dışında, feshedilebilirlik her zaman argüman, retorik ve hukukla yakından ilişkiliydi. Nicholas Rescher'in 'ın Diyalektik filozoflar iptali mümkün muhakeme daha karmaşık sistemleri düşünmek için ne kadar zor bir örnektir. Bunun nedeni kısmen, resmi olmayan mantığın savunucularının, formalizmin tartışmanın laneti olduğunda ısrar ederken, argüman ve retoriğin koruyucuları haline gelmesiydi.

Bu sıralarda, yapay zeka araştırmacıları monoton olmayan akıl yürütme ve onun semantiğiyle ilgilenmeye başladılar . Pollock ve Donald Nute gibi filozoflarla (örneğin, çürütülebilir mantık ), düzinelerce bilgisayar bilimcisi ve mantıkçı, 1980 ve 2000 yılları arasında karmaşık, çürütülebilir akıl yürütme sistemleri üretti. fiili bir standart. Bununla birlikte, George Boole , Charles Sanders Peirce ve Gottlob Frege nedeniyle kanıtlayıcı olmayan mantıksal hesaplardaki 100 yıllık başlangıç kapanıyordu: hem kanıtlayıcı hem de kanıtlayıcı olmayan akıl yürütme artık resmi hesaplara sahip.

İptal edilebilir akıl yürütme sistemlerinden daha yeni olan ilişkili (ve biraz rekabet eden) akıl yürütme sistemleri vardır, örneğin inanç revizyonu ve dinamik mantık . Charles Hamblin ve Jim Mackenzie'nin ve meslektaşlarının diyalog mantıkları da çürütülebilir akıl yürütmeyle yakından bağlantılı olabilir. İnanç revizyonu, epistemik değişimin gerçekleştiği isteklerin veya buna göre kısıtlamaların yapıcı olmayan bir spesifikasyonudur. Dinamik mantık esas olarak ilişkilidir, çünkü para-tutarlı mantık gibi, öncüllerin yeniden düzenlenmesi, gerekçeli sonuçlar kümesini değiştirebilir. Diyalog mantığı bir hasım sunar, ancak tümdengelimsel olarak tutarlı inanç durumlarına bağlılıklarında inanç revizyon teorileri gibidir.

Siyasi ve adli kullanım

Pek çok siyaset filozofu , örneğin devredilemez, ilahi veya şüphe götürmez olan haklardan söz ederken , inkar edilemez kelimesine düşkün olmuştur . Örneğin, 1776 Virginia Haklar Bildirgesi'nde , "topluluk, hükümeti reforme etme, değiştirme veya ortadan kaldırma konusunda şüphe götürmez, devredilemez ve vazgeçilemez bir hakka sahiptir..." ( James Madison'a da atfedilmiştir ); ve John Adams , "Halkın, en çok korkulan ve imrenilen türden bilgiye, yani yöneticilerinin karakteri ve davranışına ilişkin, tartışılmaz, devredilemez, reddedilemez, ilahi bir hakkı vardır." Ayrıca, Lord Aberdeen : "Britanya Kraliyetinin doğasında var olan feshedilemez hak" ve Gouverneur Morris : "Kendi Anayasamızın Temeli Halkın vazgeçilemez Hakkıdır." Abraham Lincoln hakkındaki araştırma , ayrılma gerekçesi olarak sıklıkla bu pasajlara atıfta bulunur. Kelime kullanmak Filozoflar iptali mümkün tarihsel sahip kelime kullananlar farklı dünya görüşlerine sahip feshedilemez (ve bu ayrım genelde Oxford ve Cambridge zeitgeist tarafından yansıtılmış olan); bu nedenle her iki kelimeyi de kullanan yazarlar bulmak nadirdir.

Yargı görüşlerinde, feshedilebilir kullanımı yaygındır. Ancak yasal mantıkçılar arasında , örneğin açık doku , emsal , istisnalar ve gerekçelerin değerlendirilmesinde , geçersiz muhakemenin merkezi olup olmadığı veya bunun yalnızca açık fesih hükümlerine uygulanıp uygulanmadığı konusunda anlaşmazlık vardır. HLA Hart , The Concept of Law'da iki ünlü feshedilebilirlik örneği verir: "Parkta araç yok" (geçit törenleri dışında); ve "Teklif, kabul ve muhtıra bir sözleşme oluşturur" (sözleşmenin yasa dışı olduğu, tarafların reşit olmadığı, sarhoş olduğu veya ehliyetsiz olduğu durumlar hariç).

özgüllük

İptal edilebilir muhakeme sistemleri üretenler arasındaki ana anlaşmazlıklardan biri, bir özgüllük kuralının statüsüdür . En basit haliyle, sınıf mirasını önleyen alt sınıf mirasıyla aynı kuraldır : 

 (R1) if r then (defeasibly) q                  e.g., if bird, then can fly
 (R2) if p then (defeasibly) not-q              e.g., if penguin, then cannot fly
 (O1) if p then (deductively) r                 e.g., if penguin, then bird
 (M1) arguably, p                               e.g., arguably, penguin
 (M2) R2 is a more specific reason than R1      e.g., R2 is better than R1
 (M3) therefore, arguably, not-q                e.g., therefore, arguably, cannot fly

Bugün tartışılan geçersiz muhakeme sistemlerinin yaklaşık yarısı bir özgüllük kuralı benimserken, yarısı bu tür tercih kurallarının geçersiz nedenleri sağlayan kişi tarafından açıkça yazılmasını beklemektedir. Örneğin, Rescher'in diyalektik sistemi, çoklu kalıtımın erken sistemleri (örneğin, David Touretzky ) ve Donald Nute ile Guillermo Simari ve Ronald Loui'nin erken argüman sistemleri gibi özgüllüğü kullanır . Emsallerin çürütülebilir akıl yürütme açıklamaları ( bakış kararı ve vakaya dayalı akıl yürütme ) ayrıca özgüllükten de yararlanır (örneğin, Joseph Raz ve Kevin D. Ashley ve Edwina Rissland'ın çalışmaları). Bu arada, Henry Prakken ve Giovanni Sartor'un, Bart Verheij ve Jaap Hage'in argüman sistemleri ve Phan Minh Dung'un sistemi böyle bir kuralı benimsemez.

Yenilebilirliğin doğası

Yıkılabilir muhakeme hakkında sanki bir doğrulama revizyonu sistemiymiş gibi ( inanç revizyonuna yakınlıkları olan ) teoriler kuranlar ile daha ileri (ampirik olmayan) araştırmaların sonucuymuş gibi iptal edilebilirlik hakkında teoriler edenler arasında belirgin bir fark vardır . En az üç tür ileri deneysel olmayan araştırma vardır: sözlüksel/sözdizimsel bir süreçteki ilerleme, bir hesaplama sürecindeki ilerleme ve bir muhalif veya yasal işlemdeki ilerleme.

Düzeltilebilirlik olarak feshedilebilirlik
Burada kişi, önceki bir çıkarımı geçersiz kılan yeni bir şey öğrenir. Bu durumda, çürütülebilir akıl yürütme, Jon Doyle tarafından tasavvur edildiği gibi bir gerçeği koruma sistemi gibi , inanç revizyonu için yapıcı bir mekanizma sağlar .
Önkoşullar için kısa yol olarak feshedilebilirlik
Burada, bir dizi kuralın veya yasama kodunun yazarı, istisnalar dışında kurallar yazıyor. Bazen bir dizi iptal edilebilir kural, (yerel olmayan) rekabet eden kurallar yerine açık (yerel) ön koşullarla daha ikna edici bir şekilde yeniden yazılabilir. Sabit noktalı veya tercihli semantikli birçok monoton olmayan sistem bu görüşe uygundur. Bununla birlikte, bazen kurallar bir tartışma sürecini yönetir (bu listedeki son görüş), böylece eksik bilgi veya ön koşulların eksik türetilmesi durumunda güçlerini kaybetmemeleri için bir dizi tümdengelim kuralına yeniden derlenemezler.
Herhangi bir zaman algoritması olarak feshedilebilirlik
Burada, argümanları hesaplamanın zaman aldığı varsayılır ve herhangi bir zamanda, potansiyel olarak oluşturulabilir argümanların bir alt kümesine dayanarak, bir sonucun kesin olarak doğrulandığı varsayılır. Isaac Levi bu tür bir feshedilebilirliğe karşı çıktı, ancak bu, örneğin Herbert A. Simon'ın buluşsal projelerine çok uygundur . Bu görüşe göre, satranç oynayan bir programın belirli bir derinlikteki analizinde şimdiye kadarki en iyi hamle , kesin olarak doğrulanmış bir sonuçtur. Bu yorum, ya önceki ya da sonraki anlamsal bakış açısıyla çalışır.
Bir soruşturma veya sosyal süreci kontrol etmenin bir yolu olarak fesih
Burada gerekçelendirme, doğru türde bir prosedürün (örneğin, adil ve verimli bir duruşma) sonucudur ve geçersiz muhakeme, birbirine karşı olumlu ve olumsuz yanıtlar için ivme sağlar. İptal edilebilirlik, yeni (ampirik) keşifle ilgili olarak bir fikrin değişmesiyle değil, açıklamalar yapılırken ve vakalar sunulurken hükmün birbirini takip etmesiyle ilgilidir. Bu görüşe göre, çürütülebilir akıl yürütme ve çürütülebilir argümantasyon aynı fenomene atıfta bulunur.

Ayrıca bakınız

Referanslar

daha fazla okuma

Dış bağlantılar