Serbest Mantık ve Önvarsayım
Klasik mantık, her tekil terimin bir şeye işaret ettiğini varsaymaktadır; serbest mantık ise 'Pegasus' gibi boş adları ve gönderme yapmayan belirli tanımlamaları ele almak için bu varsayımı gevşetmektedir.
Tanım
Serbest mantık, tekil terimlerinin var olan nesnelere işaret etmesi gerekmeyen bir niceleme sistemidir; bu sayede 'a F'dir' önermesinden 'bir şey F'dir' önermesine geçiş gibi çıkarımlar, ancak a'nın var olduğu ek öncülüyle geçerli olmaktadır.
Kapsam
Bu konu, tekil terimleri için varoluş varsayımlarından arınmış bir mantık olan serbest mantığı ve bununla yakından ilişkili olan önvarsayım başarısızlığı olgusunu ele almaktadır. Serbest mantıkların, gönderme yapmayan terimler için evrensel örnekleme (universal instantiation) ve varoluşsal genelleme (existential generalization) klasik kurallarını nasıl değiştirdiğini, pozitif, negatif ve nötr (süperdeğerlemeli) varyantlarını ve gönderme yapmayan tanımlamalar içeren cümlelerin doğruluk değerlerini nasıl aldıkları konusundaki Russell-Strawson tartışmasındaki felsefi arka planı incelemektedir.
Temel sorular
- Mantık, boş adlar veya başarısız tanımlamalar içeren cümleleri nasıl ele almalıdır?
- Bu tür cümleler bir doğruluk değerinden yoksun mudur (önvarsayım başarısızlığı) yoksa yanlış mı çıkmaktadır?
- Terimlerin gönderme yapmayabileceği durumlarda hangi klasik çıkarım kuralları kısıtlanmalıdır?
- Varoluş bir yüklem midir ve niceleyiciler varoluşla nasıl ilişkilendirilmelidir?
Anahtar kavramlar
- gönderme yapmayan tekil terimler
- evrensel örnekleme ve varoluşsal genelleme
- pozitif, negatif ve nötr serbest mantık
- önvarsayım başarısızlığı
- doğruluk değeri boşlukları
- yüklem olarak varoluş
Temel kuramlar
- Serbest mantık
- Lambert, tekil terimlerin boş olabileceği mantıkları sistemleştirmiştir; evrensel örnekleme ve varoluşsal genelleme, bir varoluş varsayımıyla nitelendirilmektedir ve varyantlar, gönderme yapmayan terimlere sahip atomik cümlelerin doğruluk değerleri konusunda farklılık göstermektedir.
- Önvarsayım ve doğruluk değeri boşlukları
- Strawson, gönderme yapmayan bir tanımlama (Russell'ın 'Fransa'nın şimdiki kralı') kullanan bir cümlenin varoluşu iddia etmekten ziyade önvarsaydığını ve bu nedenle ne doğru ne de yanlış olduğunu savunmaktadır; van Fraassen bunu süperdeğerlemelerle modellemektedir.
Tarihçe
Russell'ın 1905 tarihli tanımlar kuramı, boş terimleri mantıksal revizyon yerine analiz yoluyla ele almıştır; Strawson'ın 1950'deki yanıtı ise önvarsayımı ve doğruluk değeri boşluklarını (truth-value gaps) ortaya koymuştur. 1960'lardan itibaren Lambert, serbest mantığı sistematik bir alternatif olarak ortaya atmış ve geliştirmiştir; van Fraassen ise ortaya çıkan boşluklar için süperdeğerlemeli bir semantik sağlamıştır.
Tartışmalar
- Yanlış mı yoksa doğruluk değerinden yoksun mu?
- Gönderme yapmayan terimler içeren cümlelerin, Russell'ın tanımlar kuramının ima ettiği gibi, basitçe yanlış mı olduğu, yoksa Strawson ve süperdeğerlemeli serbest mantıkçının savunduğu gibi önvarsayım başarısızlığına uğrayıp bir doğruluk değerinden yoksun mu olduğu tartışılmaktadır.
Öne çıkan isimler
- Karel Lambert
- P. F. Strawson
- Bas van Fraassen
- Bertrand Russell
- Hugues Leblanc
İlgili konular
Temel eserler
- strawson1950
- lambert2003
Sıkça sorulan sorular
- Klasik mantık neden boş adları ele alamaz?
- Klasik mantık, herhangi bir 'a' terimi için 'a F'dir' önermesinden 'bir şey F'dir' önermesini çıkarmaya izin vermektedir. Bu durum, 'a' hiçbir şeye işaret etmiyorsa başarısız olur; örneğin, 'Pegasus kanatlı bir attır' önermesinden bir şeyin kanatlı bir at olduğu sonucunu çıkarmak gibi. Serbest mantık, bu tür çıkarımları kısıtlayarak, adlandırılan nesnenin var olduğu ek öncülünü gerektirmektedir.