Valetajalause, kui erijuht väitest, mis väidab valetajalause väärust
Karmo Talts
Vaatame väidet x, mis ütleb, et väide x on väär. See on erijuht väitest y, mis ütleb, et x on väär, kus x ja y on identsed.
Tõlgendame selle valguses valetajalauset nii: valetajalause väidab, et väide y, mis on identne valetajalausega, on väär.
Vaatame nüüd, millal on sellise tõlgenduse järgi valetajalause väär. See on nii, kui vähemalt üks kahest väitest on väär: väide, et y on identne valetajalausega või väide, et valetajalause on väär. Kuna juhul, kui valetajalause on väär ja väide, et valetajalause on väär, on väär, tekib vasturääkivus, siis y ei ole identne valetajalausega. St., et valetajalause ei viita iseendale.
No comments:
Post a Comment