Tõeprobleemid filosoofias
ümberlükkamist aga, s.o. selle kindlaks tegemist, et väide ei ole vastavuses tegelikkusega
nimetatakse falsifitseerimiseks (ld falsus ´väär´, ld fatsere ´tegema´). Vanakreeka filosoof
Aristoteles (384-322 eKr) väljendas sellist arusaama tõest järgmiselt:
"Ütelda, et olemasolevat ei ole või et mitteolemasolev on olemas, on väär. Seevastu saab
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
annaabi.ee 
