Tõeprobleemid filosoofias
3
ütelda, et olemasolev on olemas ja mitteolemasolevat ei ole, on tõsi." (Aristoteles 1975: 141)
Praeguseks on üsna paljud filosoofid jõudnud arusaamale, et tõemõistega on siiski
olemuslikult seotud teatud vastavussuhe.
Paljude arvates pakub parima lahenduse poola loogiku Alfred Tarski (1902-1983) semantiline
tõeteooria, mille järgi on tõest rääkimine võimalik vaid fakte kirjeldavast objektkeeltest aste
kõrgemal asuvas metakeeles.
Esimene on keel, millest me räägime, ning teine on keel, milles me räägime esimesest
(kirjeldame seda keelt ja iseloomustame temas sõnastatud väiteid). Sellisel juhul puuduks
võimalus sõnastada lause, mis kuulutaks iseenda tõeseks või vääraks. Tarski tõeteooria on
rakendatav formaliseeritud keelte puhul. Formaliseeritud keeli iseloomustab see, et neis on
kindlaks määratud sõnavara ning ranged reeglid väljendite moodustamiseks. Algselt küll
annaabi.ee 
