Paradokslar ve Öz-Referans
Yalancı ve Russell paradoksu gibi öz-referanslı paradokslar, mantık, küme teorisi ve doğruluk teorisinde tekrar tekrar revizyonlara yol açmıştır.
Tanım
Mantıksal bir paradoks, görünüşte doğru öncüllerden çelişkiye veya absürtlüğe götüren, görünüşte geçerli bir argümandır; bu tür en derin paradoksların çoğu öz-referans veya çaprazlamadan kaynaklanmaktadır.
Kapsam
Bu alan, başlıca mantıksal ve semantik paradoksları ile bunların mantığın temelleri üzerindeki etkilerini kapsamaktadır. Doğrulukla ilgili semantik paradoksları (Yalancı ve benzerleri), tip teorisini ve aksiyomatik küme teorisini tetikleyen küme teorik ve mantıksal paradoksları (Russell, Burali-Forti), belirsizliğin soritik paradokslarını ve Godel'in eksiklik teoremlerinin öz-referansın en derin uygulaması olarak felsefi yorumunu ele almaktadır. Ortak bir tema, hepsinin altında yatan ortak bir çapraz yapı olup olmadığıdır.
Alt konular
Temel sorular
- Paradoksların kaynağı nedir ve ortak bir yapıya sahip midirler?
- Yalancı paradoksu, doğruluk değeri boşlukları, hiyerarşiler veya doğru çelişkileri kabul ederek mi çözülmelidir?
- Küme teorik paradokslar, mantık ve matematik üzerinde ne gibi kısıtlamalar getirmektedir?
- Godel'in teoremleri, biçimsel sistemlerin sınırları hakkında ne göstermektedir?
Anahtar kavramlar
- öz-referans ve çaprazlama
- Yalancı paradoksu
- Russell paradoksu
- doğruluk değeri boşlukları ve fazlalıkları
- kapsama şeması (inclosure schema)
- eksiklik
Temel kuramlar
- Kapsama şeması (The inclosure schema)
- Priest, öz-referans paradokslarının bir sınır boyunca tek bir 'kapsama' (inclosure) çaprazlama yapısını paylaştığını savunarak, tek tip bir teşhis ve ona göre diyaletik bir çözüm önermektedir.
- Doğruluğun sabit nokta teorisi (Fixed-point theory of truth)
- Kripke, kısmen yorumlanmış bir dil üzerinde sabit nokta inşası yoluyla bir doğruluk yüklemi oluşturur; bu, bazı cümlelerin (Yalancı dahil) temelsiz kalmasına ve bir doğruluk değerine sahip olmamasına izin verirken, kendi kendine uygulanabilir bir doğruluk yüklemini korur.
Tarihçe
Öz-referanslı paradokslar antik Yalancı paradoksuna (Epimenides, Eubulides) kadar uzanmaktadır. Russell'ın 1901'deki paradoksu Frege'nin mantıkçılığını sarsmış ve tip teorisi ile aksiyomatik küme teorisini motive etmiştir; Tarski, Yalancı paradoksuna diller hiyerarşisi ile yanıt vermiş, Godel öz-referansı eksiklik teoremlerine (1931) dönüştürmüş ve Kripke ile Priest semantik paradokslara etkili modern yaklaşımlar sunmuştur.
Tartışmalar
- Paradokslara tek tip bir çözüm var mıdır?
- Semantik ve küme teorik paradoksların, tek tip bir çözüm gerektiren ortak bir yapıya (Russell'ın kısır döngü ilkesi, Priest'in kapsama şeması) sahip olup olmadığı veya ilgili kavramlara bağlı olarak farklı yaklaşımlar gerektirip gerektirmediği tartışılmaktadır.
Öne çıkan isimler
- Bertrand Russell
- Alfred Tarski
- Saul Kripke
- Kurt Godel
- Graham Priest
- Mark Sainsbury
İlgili konular
Temel eserler
- sainsbury2009
- kripke1975
Sıkça sorulan sorular
- Filozoflar neden paradokslara bu kadar önem vermektedir?
- Paradokslar tanılayıcıdır: absürt bir sonuca götüren geçerli görünen bir argüman, görünüşte açık varsayımlarımızdan birinin yanlış olması gerektiğini göstermektedir. Hangi varsayımın başarısız olduğunu takip etmek, mantığı, küme teorisini ve doğruluk teorisini tekrar tekrar yeniden şekillendirmiştir, bu nedenle paradokslar en temel kavramlarımız için bir stres testi işlevi görmektedir.