Predikaat tõeväärtuslik ja Tarski skeem
Karmo Talts
Võtame kasutusele predikaadi Tõeväärtuslik. P on tõeväärtuslik parajasti siis, kui P-l on üks võimalikest tõeväärtustest.
Vaatame nüüd tõeväärtuse omamise ja tõe suhteid. Kui objekt x on tõene, siis x omab tõeväärtust. Kui x ei oma tõeväärtust, siis ta pole tõene.
Vaatame nüüd eelduse, et leidub vähemalt üks väide P, millel pole tõeväärtust ja Tarski skeem suhet. Tarski skeem eeldab, et iga väite puhul siis, kui P, on P-l tõeväärtus.
Sõnastame nüüd tõeskeemi, mis ei eelda, et iga väite P puhul siis, kui P, on P-l tõväärtus, vaid kasutab oma sõnastuses tingimust, et kui väide on tõene, siis on väitel tõeväärtus. P on tõene parajasti siis, kui P-l on tõeväärtus ja on nii, et P.
No comments:
Post a Comment