Tõeprobleemid filosoofias
ise ajalooliselt. Pole lõplikku tõestamist, alati lähtume oma eelarvamustelt2.
Tõe korrespondentsiteooria
Korrespondentsiteooria on tõenäoliselt kõige vanem ja tunnustatum ning kõige lähedasem
tavaarusaamale, võrreldes teiste teooriatega. Selle teooria järgi seisneb tõde väite (otsustuse)
vastavuses (korrespondentsis) faktidele (tegelikkusele). Sellise vastavuse kindlaks tegemist
nimetatakse verifitseerimiseks (ld. verus ´tõeline´, ´õige´, ld. fatsere ´tegema´). Väite
ü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