Olası Dünyalar Semantiği
Olası dünyalar semantiği, zorunluluğu tüm erişilebilir dünyalardaki doğruluk olarak, olasılığı ise bazı dünyalardaki doğruluk olarak yorumlamakta ve modal mantığı işlenebilir bir model kuramına dönüştürmektedir.
Tanım
Olası dünyalar semantiği, modal cümleleri, bir erişilebilirlik ilişkisiyle birbirine bağlı 'dünyalar' adı verilen noktalarda değerlendirmektedir; buna göre 'zorunlu olarak A', bir dünyada ancak ve ancak A, o dünyadan erişilebilen her dünyada geçerliyse doğru olmaktadır.
Kapsam
Bu konu, modal mantık için ilişkisel (Kripke) model kuramını ele almaktadır: dünyalar kümesi ve bir erişilebilirlik ilişkisinden oluşan çerçeveler, değerlemeler ve modal operatörler için doğruluk koşulları. Çerçevelerin teknik rolünü ve olası dünyaların ne olduğuna dair felsefi soruyu — somut evrenler, soyut durumlar, önermeler kümeleri veya sadece biçimsel indeksler — ve bunun semantiğin açıklayıcı değeri üzerindeki etkisini incelemektedir.
Temel sorular
- Olası bir dünya tam olarak nedir ve dünyalar var mıdır?
- Erişilebilirlik ilişkisi nedir ve neyi temsil etmektedir?
- Biçimsel semantik modal doğruluğu açıklamakta mıdır yoksa sadece modellemekte midir?
- Dünyalar, karşıolgusal durumları, önermeleri ve içeriği analiz etmeye nasıl yardımcı olmaktadır?
Anahtar kavramlar
- olası dünya
- erişilebilirlik ilişkisi
- çerçeve ve model
- değerleme
- aktüalizm ve olasılıkçılık (possibilism)
- ersatz dünyalar
Temel kuramlar
- Kripke ilişkisel modelleri
- Bir model, bir erişilebilirlik ilişkisi ve bir değerleme ile birlikte bir dünyalar kümesidir; modal operatörler erişilebilir dünyalar üzerinde nicelikselleştirme yapar, böylece modalitenin mantıksal özellikleri ilişkinin yapısal özelliklerine indirgenmektedir.
- Soyut nesneler olarak dünyalar
- Stalnaker, olası dünyaları şeylerin olabileceği yollar — soyut maksimal olasılıklar — olarak ele almakta, Lewis'in somut dünyalarını reddederken, modalite ve içerik için dünyaların açıklayıcı faydalarını korumaktadır.
Tarihçe
Carnap'ın durum-tanımlamaları ve Leibniz'in olası dünyalar hakkındaki söylemleri bu fikri önceden haber vermiştir, ancak titiz semantik Kripke'nin 1963 tarihli ilişkisel modelleriyle ortaya çıkmıştır. Filozoflar daha sonra metafizik konusunda ikiye ayrılmıştır: Lewis'in 1986 modal realizmi dünyaları somut olarak ele alırken, Stalnaker ve diğerleri soyut 'ersatz' dünyaları savunmaktadır.
Tartışmalar
- Somut ve soyut dünyalar
- Semantiğin nicelikselleştirdiği dünyaların somut uzay-zaman evrenleri mi yoksa maksimal tutarlı önerme kümeleri gibi soyut vekil varlıklar mı olduğu ve hangi okumanın semantiği gerçekten açıklayıcı kıldığı tartışılmaktadır.
Öne çıkan isimler
- Saul Kripke
- David Lewis
- Robert Stalnaker
- Jaakko Hintikka
- Rudolf Carnap
İlgili konular
Temel eserler
- kripke1963
- lewis1986plurality
Sıkça sorulan sorular
- Olası dünyalar semantiği başka dünyaların varlığına inanmayı gerektirmekte midir?
- Hayır. Semantik biçimsel bir araçtır ve onu kullanan çoğu filozof, başka somut dünyaların var olduğunu reddetmektedir. 'Dünyaları' soyut nesneler — şeylerin olabileceği yollar — olarak yorumlamaktadırlar, böylece dünyalar üzerinde nicelikselleştirme yapmak, ontolojik savurganlığa kaçmadan olasılıklar hakkında açık bir şekilde konuşmanın bir yolu olmaktadır.