Tõeprobleemid filosoofias
2
Filosoofia üldkursus EPMÜ kaugõppele. IV loeng 9
3
Meos, I. Filosoofia põhirpobleemid. Tallinn: Koolibri, 1998 lk 56
4
Üldisemal kujul kõlagu väide p järgmiselt: väide p on väär. Tuleb välja, et väide p on tõene
siis ja ainult siis, kui väide p on väär.
Tarski järgi tulenevad "valetaja"-tüüpi antinoomiad (kr antinomia `vastuolu seaduses`) kahe
asjaolu koostoimest.
1. Me kasutame semantiliselt suletud keelt, s.o. keelt, milles saab moodustada nii väljendeid
kui ka nende väljendite nimesid, ning mis sisaldab ka semantilisi termineid nagu tõene jne.
2. Me eeldame loogika põhiseaduste kehtivust. Seega tuleb Tarski arvates loobuda sellisest
keelest mida ta nimetab semantiliselt suletuks.4
Kuigi tõe korrespondentsiteooria on kõige lähedasem tavaarusaamale tõest ei saa seda alati
rakendada.