Veel valetaja paradoksist
Karmo Talts
Sõnastame järgmise skeemi: kui P, siis P on tõene või P väidab iseenda väärust. Seega siis, kui P on tõene, P ja P ei väida iseenda väärust.
Vaatame nüüd väärust. Kui P on väär, siis pole nii, et P või P väidab iseenda väärust.
Vaatame nüüd valetajalauset. Kui väide „see väide on väär“ on tõene, siis see väide on väär ja ei väida iseenda väärust. Kui väide „see väide on väär“ on väär, siis see väide pole väär või väidab iseenda väärust. Kuna see väide väidab iseenda väärust, siis on välistatud, et see väide on korraga väär ja ei väida iseenda väärust. Seega see väide on väär.
No comments:
Post a Comment