Anlamsal doğruluk teorisi - Semantic theory of truth

"Kongre T" buraya yönlendirir. T-şeması ile karıştırılmamalıdır .

Bir gerçeğin semantik teorisi bir olan gerçeğin teorisi içinde dil felsefesi gerçeği cümlelerin bir özellik olduğunu tutar.

Menşei

Anlamsal hem farklı şekillerde ilişkilidir gerçeğin anlayışı yazışma ve deflasyonist tarafından anlayışlarının, iş nedeniyle Polonyalı mantıkçı Alfred Tarski . Tarski, "Biçimsel Dillerdeki Hakikat Kavramı" nda (1935), yalancı paradoksunu çözmek için yeni bir hakikat teorisi formüle etmeye çalıştı . Bu sırada, Kurt Gödel'in eksiklik teoremlerinde kullandığı aynı biçimsel tekniği kullanarak , en önemlisi Tarski'nin tanımlanamazlık teoremi gibi birkaç metamatik keşif yaptı . Kabaca, tatmin doğrucu yüklem bu devletler Kongre T verilen bir dilin cümle için tanımlanamaz içinde o dil.

Tarski'nin gerçek teorisi

Yalancı paradoksu gibi anlamsal paradokslar olmadan dil teorilerini formüle etmek için, genellikle kişinin bahsettiği dili ( nesne dili ) konuşmayı yapmak için kullandığı dilden ( metaldil ) ayırmak gerekir . Aşağıda, alıntılanmış metin nesne dilinin kullanımı iken, alıntı yapılmamış metin metal dilinin kullanımıdır; alıntılanan bir cümle (" P " gibi) her zaman bir cümlenin üstdilinin adıdır , öyle ki bu ad sadece nesne dilinde ifade edilen P cümlesidir . Bu şekilde, metal dil, nesne dili hakkında konuşmak için kullanılabilir; Tarski'nin hakikat teorisi ( Alfred Tarski 1935), nesne dilinin üst dilde yer almasını talep etti.

Tarski'nin Sözleşme T olarak da bilinen maddi yeterlilik koşulu , geçerli herhangi bir hakikat teorisinin, her " P " cümlesi için aşağıdaki formda ("form (T)" olarak bilinir) bir cümle içermesi gerektiğini savunur :

(1) "P", ancak ve ancak , P.

Örneğin,

(2) 'kar beyazdır' ancak ve ancak kar beyazsa geçerlidir.

Bu cümleler (1 ve 2, vb.) "T cümleleri" olarak adlandırılmaya başlandı. Önemsiz görünmelerinin nedeni, nesne dilinin ve üstdilin hem İngilizce olmasıdır; burada nesne dilinin Almanca ve metal dilin İngilizce olduğu bir örnek:

(3) 'Schnee ist weiß', ancak ve ancak kar beyazsa doğrudur.

Tarski'nin başlangıçta formüle ettiği şekliyle bu teorinin yalnızca resmi diller için geçerli olduğunu belirtmek önemlidir . Teorisini doğal dilleri kapsayacak şekilde genişletmemesi için bir dizi neden sundu , buna doğal bir dilin belirli bir cümlesinin iyi şekillenmiş olup olmadığına karar vermenin sistematik bir yolunun olmaması ve doğal bir dilin kapalı olması (yani, kendi öğelerinin anlamsal özelliklerini tanımlayabilir). Ancak Tarski'nin yaklaşımı, Davidson tarafından , "gerçeği" tanımlanmış bir kavramdan ziyade ilkel bir kavram olarak ele almayı içeren, doğal diller için anlam teorilerine bir yaklaşıma genişletti . ( Doğruluk koşullu semantiğe bakın .)

Tarski , hakikatin tümevarımlı bir tanımını vermek için teoriyi aşağıdaki gibi geliştirdi. ( T şemasına bakın )

¬ ("değil"), ∧ ("ve"), ∨ ("veya"), ∀ ("herkes için") ve ∃ ("vardır") içeren bir L dili için Tarski'nin tümevarımlı doğruluk tanımı şöyle görünür: bu:

  • (1) İlkel bir ifade " A ", ancak ve ancak, A ise doğrudur .
  • (2) "¬ A ", ancak ve ancak " A" doğru değilse doğrudur.
  • (3) " A ∧ B ", ancak ve ancak " A" doğruysa ve " B" doğruysa doğrudur .
  • (4) " A ∨ B ", ancak ve ancak " A" doğruysa veya " B" doğruysa veya (" A" doğruysa ve " B" doğruysa ) doğrudur .
  • (5) "∀ x ( Fx )", ancak ve ancak tüm x nesneleri için doğrudur; "Fx" doğrudur.
  • (6) "∃ x ( Fx )", ancak ve ancak, "Fx" in doğru olduğu bir x nesnesi varsa doğrudur.

Bunlar gerçeği koşulları açıklayan karmaşık (yapılanmış cümle Bağlı değerler ve niceleyicilerin ) onların gerçeği koşullarına azaltılabilir bileşenlerinin . En basit bileşenler atomik cümlelerdir . Gerçeğin çağdaş bir anlamsal tanımı, atomik cümleler için gerçeği şu şekilde tanımlayacaktır:

Tarski, atomik cümleler için gerçeği, yukarıdaki "ile ifade edilen" gibi, anlambilimden herhangi bir teknik terim kullanmayan farklı bir şekilde tanımladı. Bunun nedeni, bu anlamsal terimleri hakikat bağlamında tanımlamak istemesidir. Bu nedenle, hakikatin tanımında bunlardan birini kullanmak döngüsel olacaktır. Tarski'nin anlamsal hakikat anlayışı, modern mantıkta ve aynı zamanda çağdaş dil felsefesinde önemli bir rol oynar . Tarski'nin anlambilim teorisinin bir karşılık gelen teori olarak mı yoksa deflasyon teorisi olarak mı sayılması gerektiği oldukça tartışmalı bir noktadır .

Kripke'nin doğruluk teorisi

Ayrıca bakınız: Hakikat § Kripke'nin anlambilim

Kripke'nin doğruluk teorisi ( Saul Kripke 1975), güçlü Kleene değerlendirme şeması ile kısmi mantığa ( Tarski'nin tamamen tanımlanmış doğruluk yüklemleri mantığı yerine kısmen tanımlanmış gerçek yüklemlerinin mantığı) dayanmaktadır .

Ayrıca bakınız

Referanslar

daha fazla okuma

Dış bağlantılar