Koşullu Önermeler ve Maddi Çıkarım
Klasik mantık, 'Eğer A ise B' ifadesini, A yanlış veya B doğru olduğunda doğru kabul edilen maddi koşul olarak ele almaktadır; ancak bu durum paradokslar yaratmakta ve 'eğer' kelimesinin gerçekte ne anlama geldiği üzerine geniş bir literatürün oluşmasına yol açmaktadır.
Tanım
Maddi koşul 'A → B', yalnızca A doğru ve B yanlış olduğunda yanlış olan doğruluk-işlevidir; merkezi bir soru, sıradan göstergesel koşullu önermelerin bu doğruluk koşullarına sahip olup olmadığı veya bunun yerine koşullu olasılık ya da olası-dünyalar bağımlılığı ilişkisini ifade edip etmediğidir.
Kapsam
Bu konu, koşullu cümlelerin analizini ve doğruluk-işlevsel maddi koşulun mantıksal biçim olarak yeterliliğini kapsamaktadır. Maddi çıkarımın paradokslarını, doğruluk-işlevsel açıklamanın Griceci pragmatik savunmalarını, olası-dünyalar (Stalnaker) semantiğini, bir koşullu önermenin ileri sürülebilirliğinin koşullu olasılıkla belirlendiği olasılıksal (Adams) tezini ve göstergesel (indicative) ile karşıolgusal (counterfactual) koşullu önermeler arasındaki karşıtlığı ele almaktadır.
Temel sorular
- Sıradan 'eğer-o zaman' cümleleri maddi koşulun doğruluk koşullarına sahip midir?
- Maddi çıkarımın paradokslarını, örneğin yanlış bir öncülün herhangi bir koşullu önermeyi doğru kılması gibi durumları nasıl açıklamalıyız?
- Bir koşullu önermenin ileri sürülebilirliği, sonucun öncüle göre koşullu olasılığını takip etmekte midir?
- Göstergesel koşullu önermeler, karşıolgusal (subjunctive) koşullu önermelerden nasıl farklılık göstermektedir?
Anahtar kavramlar
- maddi koşul
- maddi çıkarımın paradoksları
- göstergesel ve karşıolgusal koşullu önermeler
- koşullu olasılık
- konuşma iması (conversational implicature)
- olası-dünyalar seçim fonksiyonu
Temel kuramlar
- Koşullu önermeler için olası-dünyalar semantiği
- Stalnaker, 'eğer A ise B' ifadesini, A'nın geçerli olduğu en benzer olası dünyalarda B'nin de geçerli olması durumunda doğru olarak analiz etmekte, doğruluk-işlevsel açıklamayı dünyalar üzerinde bir seçim fonksiyonu ile değiştirmekte ve böylece farklı çıkarımları geçerli kılmaktadır.
- Olasılıksal (Adams) tez
- Adams, göstergesel koşullu önermelerin sıradan doğruluk koşullarından yoksun olduğunu ve kabul edilebilirliklerinin, sonucun öncüle göre koşullu olasılığına eşit olduğunu savunmaktadır; bu durum, verileri maddi koşuldan daha iyi açıklamaktadır.
Tarihçe
'Eğer' kelimesinin doğruluk-işlevsel okuması Stoacılara kadar uzanmakta ve Frege ile Russell tarafından modern mantığa yerleştirilmiştir. Yirminci yüzyılda ortaya çıkan paradokslardan duyulan memnuniyetsizlik, Grice'ın pragmatik savunmasını (implicature), Stalnaker'ın 1968 tarihli olası-dünyalar semantiğini ve Adams'ın 1975 tarihli olasılıksal açıklamasını tetiklemiş; Edgington'ın 1995 tarihli araştırması ise güncel tartışmayı netleştirmiştir.
Tartışmalar
- Doğruluk-işlevsel ve doğruluk-işlevsel olmayan koşullu önermeler
- Maddi koşulun tuhaflıklarının pragmatik olarak Griceci imalar (implicatures) şeklinde açıklanarak doğruluk-işlevselliğin korunup korunamayacağı veya bunun yerine göstergesel koşullu önermelerin maddi doğruluk koşulları yerine olasılıksal veya olası-dünyalar içeriğine sahip olduğunu gösterip göstermediği tartışılmaktadır.
Öne çıkan isimler
- Robert Stalnaker
- Ernest Adams
- Dorothy Edgington
- H. Paul Grice
- Frank Ramsey
İlgili konular
Temel eserler
- stalnaker1968
- adams1975
- edgington1995
Sıkça sorulan sorular
- Maddi çıkarımın paradoksları nelerdir?
- Doğruluk-işlevsel okumaya göre, bir koşullu önerme, öncülü yanlış veya sonucu doğru olduğunda otomatik olarak doğru kabul edilmektedir. Bu durum, 'Eğer ay peynirden yapılmışsa, o zaman 2+2=4' gibi cümlelerin doğru çıkmasına neden olmakta, bu da öncül ve sonucun birbiriyle ilgili olması gerektiği yönündeki sıradan yargıyla çelişmektedir.