Veel valetaja paradoksist
Karmo Talts
Vaatame, kuidas suhtuvad teineteisesse valetajalause ja väide, et valetajalause on väär. Mõlemad väited väidavad, et valetajalause on väär, st. et valetajalause puhul on väide ja selle sama väite väärust väitev väide ekvivalentsed.
Sõnastame nüüd sellest lähtuva piirangu Tarski skeemile. Kui pole nii, et P, parajasti siis, kui P on väär, siis P on tõene parajasti siis, kui P.
No comments:
Post a Comment