Nicel Kipli Mantık ve Özcülük
Niceleyiciler ve kipli operatörler etkileşime girdiğinde, mantık, nesnelerin zorunlu olarak özelliklere sahip olup olmadığını — yani özcülüğü — ve olası dünyalar arasında nicelemenin nasıl yorumlanacağını ele almak durumundadır.
Tanım
Nicel kipli mantık, birinci dereceden nicelemeyi kipli operatörlerle birleştirmektedir; özcülük ise nesnelerin bazı özelliklerine zorunlu olarak (de re), nasıl tanımlandıklarından bağımsız olarak sahip olduğu tezidir.
Kapsam
Bu konu, kipli mantığın niceleyiciler ve özdeşlik ile genişletilmesini ve bunun ortaya çıkardığı metafiziksel taahhütleri kapsamaktadır. Barcan ve ters Barcan formüllerini, sabit ve değişken alan semantiği arasındaki seçimi, dünyalar arası özdeşlik ve varoluş sorununu, Quine'ın de re kipliğe yönelik itirazlarını ve Kripke'nin özcülük ile katı adlandırmayı (rigid designation) savunmasını ele almaktadır.
Temel sorular
- Niceleyiciler ve kipli operatörler nasıl etkileşime girmelidir ve Barcan formülü geçerli midir?
- Bireylerin alanı dünyalar arasında sabit mi olmalı yoksa değişken mi olmalıdır?
- De re kiplik anlaşılabilir midir, yoksa Quine'ın itirazları altında çökmekte midir?
- Nesneler, eğer varsa, hangi özelliklere özsel olarak sahiptir?
Anahtar kavramlar
- Barcan formülü ve tersi
- sabit ve değişken alanlar
- dünyalar arası özdeşlik
- katı adlandırma (rigid designation)
- de re ve de dicto kiplik
- özsel ve tesadüfi özellikler
Temel kuramlar
- Özcülük ve katı adlandırma (rigid designation)
- Kripke, özel adların her dünyada aynı nesneyi işaret eden katı adlandırıcılar (rigid designators) olduğunu savunmaktadır; bu durum, de re kipli iddiaları tutarlı kılmakta ve köken ile oluşum hakkındaki zorunlu gerçekleri desteklemektedir.
- Quine'ın de re kipliğe yönelik eleştirisi
- Quine, kipli bağlamlara niceleme yapmanın anlaşılmaz olduğunu savunmaktadır, çünkü eş-gönderimli terimlerin ikamesi doğruluk değerini değiştirebilmektedir; bu nedenle özcülük, bir nesnenin zorunlu ve tesadüfi özellikleri arasında itiraz edilebilir bir ayrım gerektirecektir.
Tarihçe
Ruth Barcan Marcus, 1946-1947 yıllarında nicel kipli mantığı başlatmış, özdeşlik hakkında sonuçlar kanıtlamış ve Barcan formülünü tanıtmıştır. Quine, tüm bu girişimi anlaşılmaz bir özcülüğe bağlı olmakla eleştirmiş, ancak Kripke'nin Naming and Necessity (1980) adlı eseri, katı adlandırma (rigid designation) ve özdeşliğin zorunluluğu aracılığıyla de re kipliği yeniden itibarlı hale getirerek özcülüğü tekrar saygın bir konuma taşımıştır.
Tartışmalar
- De re kiplik tutarlı mıdır?
- Nesnelere, tanımlamadan bağımsız olarak zorunlu özellikler atfetmenin, Kripke'nin katı adlandırmasının (rigid designation) ima ettiği gibi anlaşılabilir olup olmadığı veya Quine'ın bu tür bir söylemin savunulamaz bir özcülüğü varsaydığı konusunda haklı olup olmadığı tartışılmaktadır.
Öne çıkan isimler
- Ruth Barcan Marcus
- Saul Kripke
- W. V. O. Quine
- Alvin Plantinga
- David Kaplan
İlgili konular
Temel eserler
- barcan1947
- quine1953reference
- kripke1980
Sıkça sorulan sorular
- Barcan formülü nedir?
- Barcan formülü, eğer bir şeyin F olması mümkünse, o zaman muhtemelen F olan bir şeyin var olduğunu ifade etmektedir — yani varoluşsal niceleyiciyi olasılık operatörünün dışına taşımaktadır. Bu formül ve tersi, sabit alan semantiğinde geçerli olmakla birlikte, alanlar dünyalar arasında değiştiğinde geçerliliğini yitirmektedir; bu nedenle, her olası dünyada aynı bireylerin var olup olmadığı konusunda önem taşımaktadırlar.