Tõeväärtuse puudumine ja mitte-tõesus
Karmo Talts
Sõnastame vasturääkivuse seaduse kujul „väide ei saa korraga olla tõene ja mitte olla tõene, muidu tekib vasturääkivus.
Tõlgendame mitte-tõesust nii: väide on mittetõene parajasti siis, kui väitel on tõesusest erinev tõeväärtus või pole väitel tõeväärtust.
Sõnastame nüüd selle, mis järeldub sellest, kui väitest järeldub vasturääkivus. Kui väitest järeldub vasturääkivus, siis on väitel tõesusest erinev tõeväärtus või puudub väitel tõeväärtus.
Sõnastame nüüd tõeskeemi: P on tõene parajasti siis, kui P-l on tõeväärtus ja P.
No comments:
Post a Comment