Joseph Fraser Thomson'i teoreem ja valetaja paradoks
Karmo Talts
Rakendame Joseph Fraser Thomson'i teoreemi väidetele, mis väidavad kõigi väidete, mis väidavad enda väärust, tõesust. Ei leidu x-i, mis väidab iga y-i, mis väidab enda väärust, tõesust.
Eeldame nüüd, et x ja y on identsed. Ei leidu väidet, mis väidab iga iseenda väärust, tõesust.
Vaatame nüüd valetajalauset. Kui oleks olemas valetajalause väljendatav propositsioon, siis see väidaks iga iseenda, mis väidab enda väärust, tõesust. Seega pole olemas propositsiooni, mida valetajalause väljendaks.
No comments:
Post a Comment