Täiendatud tõeskeem ja tugevdatud valetaja paradoks
Karmo Talts
Sõnastame järgmise tõeskeemi: väite „P on tõene“ tõeväärtus on x parajasti siis, kui P tõeväärtus on x.
Vaatame nüüd tugevdatud valetajalauset. Eeldame, et väite „väide „see väide pole tõene“ on tõene“ tõeväärtus on ei tõene ega väär ja järeldame, et väite „see väide pole tõene“ tõeväärtus on ei tõene ega väär. Asendame nüüd väljendi „see väide“ tugevdatud valetajalausega. Me saame „väite „see väide pole tõene“ pole tõene“ tõeväärtus pole tõene ega väär.
No comments:
Post a Comment