Väite, et mingi hulk väiteid on väärad, tõesuse tingimuste küsimus
Karmo Talts
Vaatame, millal on väide x, mis väidab väite y väärust, tõene. Esmapilgul on see nii, kui y on väär.
Vaatame nüüd juhte, kus x on y-iga identne. Kui x on tõene siis, kui y on väär, ja x on y-iga identne, siis on x tõene siis, kui x on väär.
Vaatame nüüd, kuidas seda tulemust vältida. Kui x väidab y-i väärust ja y on väär, siis on x tõene või sellest, et x on tõene järeldub vasturääkivus.
Üldistame nüüd selle väidete hulkadele. Kui x väidab, et kõik väited väidete hulgas gamma on väärad ja kõik väited väidete hulgas gamma on väärad, siis on x tõene või sellest, et x on tõene järeldub vasturääkivus.
No comments:
Post a Comment