Tarski Doğruluk Şeması ile Naif Doğruluk Kavramı
Matematik
Aritmetik
Çok Önemli
Özet
Bir tümcenin doğruluğunu, betimlediği durumun gerçekleşmesine bağlayan biçimsel ölçüttür ('Kar beyazdır' doğrudur ancak ve ancak kar beyazsa). İLE Doğruluğu, günlük sezgiyle ve biçimsel kısıt olmadan ele alan anlayıştır. İlki çelişkiyi önleyen biçimsel şema, ikincisi paradoksa açık sezgisel kavramdır.
Ayrıntılı Açıklama
Alfred Tarski tarafından 1933 yılında keşfedildi/formüle edildi. (1901-1983) (Ülke: Polonya/ABD) (Alan: Matematik, Mantık) (Önemli katkıları: Semantik doğruluk teorisi, model teorisi, biçimsel dillerde doğruluk tanımı)