Klasik Mantık ve Mantıksal Sonuç
Klasik mantık, tümdengelimli akıl yürütmenin standart biçimsel sistemidir ve mantıksal sonuç ilişkisi — neyin neyden çıktığı — onun yakalamaya çalıştığı merkezi nesnedir.
Tanım
Mantıksal sonuç, öncüllerin doğruluğunun, mantıksal biçim gereği sonucun doğruluğunu garanti ettiği durumlarda öncüller ile sonuç arasında var olan ilişkidir; klasik mantık, her cümlenin kesin olarak doğru veya yanlış olduğu iki değerli, doğruluk-işlevsel sistemdir.
Kapsam
Bu alan, klasik tümdengelimli mantığın standart araçlarını ve onun biçimselleştirdiği sonuç ilişkisinin felsefi analizini kapsamaktadır. Hem biçimsel sistemleri (önermeler ve birinci dereceden mantık) hem de bir argümanın neden geçerli olduğuna dair kavramsal soruları ele almaktadır: bir sonucun öncüllerden zorunlu olarak çıkmasını sağlayan nedir, hangi ifadeler mantıksal sayılır ve biçimsel model-teorik ve kanıt-teorik açıklamalar 'çıkarsama' sezgisel kavramıyla nasıl ilişkilidir.
Alt konular
Temel sorular
- Bir sonucun bir dizi öncülden mantıksal olarak çıkması ne anlama gelmektedir?
- Mantıksal sonuç, model-teorik olarak (yorumlar arası doğruluk koruma) mı yoksa kanıt-teorik olarak (tümdengelimli bir sistemde türetilebilirlik) mı analiz edilmelidir?
- Hangi ifadeler 'mantıksal sabitler'dir ve bunları mantıksal olmayan sözcük dağarcığından ayıran nedir?
- Tek bir doğru mantık mı vardır, yoksa birden fazla eşit derecede meşru sonuç ilişkisi mi bulunmaktadır?
Anahtar kavramlar
- geçerlilik ve sağlamlık
- doğruluk koruma
- mantıksal biçim
- model-teorik ve kanıt-teorik sonuç
- iki değerlilik ve üçüncü halin imkansızlığı yasası
- mantıksal sabitler
Temel kuramlar
- Model-teorik (Tarskici) sonuç
- Bir sonuç, öncüllerin doğru ve sonucun yanlış olduğu, mantıksal olmayan sözcük dağarcığının hiçbir yorumu (modeli) olmadığında öncüllerin mantıksal sonucudur; geçerlilik, tüm yeniden yorumlamalar arasında doğruluk korumadır.
- Mantıksal çoğulculuk
- Birden fazla gerçek mantıksal sonuç ilişkisi bulunmaktadır, çünkü öncüllerin geçerli olduğu bir 'durum' kavramı, her biri meşru bir mantık üreten çeşitli kabul edilebilir şekillerde (örneğin, klasik, yapıcı, ilgili) kesinleştirilebilmektedir.
Tarihçe
Klasik mantığın modern anlayışı, Frege'nin Begriffsschrift'inden (1879) gelmekte olup, 1930'larda Tarski tarafından mantıksal sonucu model-teorik olarak tanımlayarak kesin bir semantik temele oturtulmuştur. Quine, yirminci yüzyılın ortalarında mantığın konu-nötr ve doğruluk-işlevsel olduğu ortodoks görüşü pekiştirirken, daha sonraki tartışmalar (Etchemendy'nin Tarski eleştirisi ve mantıksal çoğulculuk), biçimsel tanımın sezgisel ilişkiyi tam olarak yakalayıp yakalamadığı sorusunu yeniden gündeme getirmiştir.
Tartışmalar
- Model-teorik tanım gerçek sonucu yakalamakta mıdır?
- Etchemendy, Tarski'nin model-teorik analizinin, gerçek mantıksal sonucun modal ve epistemik özelliklerini en iyi ihtimalle dışsal olarak örtüştürdüğünü, ancak açıklamadığını savunmuştur, çünkü bu analiz zorunluluğu sadece yorumlar üzerindeki genellemeye indirgemektedir.
- Mantık hakkında monizm ve çoğulculuk
- Tam olarak tek bir doğru mantık olup olmadığı veya klasik, sezgisel ve ilgili mantıkların her birinin, 'durum'un farklı ancak kabul edilebilir bir kesinleştirmesine göre eşit derecede meşru bir sonuç ilişkisini yakalayıp yakalamadığı tartışılmaktadır.
Öne çıkan isimler
- Alfred Tarski
- W. V. O. Quine
- John Etchemendy
- Gottlob Frege
- JC Beall
- Greg Restall
İlgili konular
Temel eserler
- tarski1936
- quine1986
- etchemendy1990
Sıkça sorulan sorular
- Geçerlilik ile doğruluk arasındaki fark nedir?
- Geçerlilik, argümanların bir özelliğidir: bir argüman, öncüllerinin gerçekten doğru olup olmadığına bakılmaksızın, sonucunun öncüllerinden çıkması durumunda geçerlidir. Doğruluk, tek tek cümlelerin bir özelliğidir. Geçerli bir argümanın yanlış öncülleri olabilmektedir ve sağlam bir argüman hem geçerli hem de doğru öncüllere sahip olandır.
- Neden 'klasik' mantık olarak adlandırılmaktadır?
- Bu etiket, her ifadenin ya doğru ya da yanlış olduğu ve üçüncü halin imkansızlığı yasasının geçerli olduğu ortodoks iki değerli, doğruluk-işlevsel sistemi — sezgisel, ilgili veya çok değerli mantıklar gibi bu varsayımlardan bir veya daha fazlasını reddeden daha sonraki klasik olmayan alternatiflerden ayırmaktadır.