Definitsioonid, mis kasutavad alamääratud tähendusega predikaate
Karmo Talts
Uurime defineerimist. Kui predikaadi P definitsioon kasutab vähemalt ühte predikaati, mille enda tähendus on alamääratud, siis on P tähendus alamääratud.
Vaatame nüd valetajalauset. X on defineeritud „X on väärana”, mis kasutab X-i ennast. Seega on kasutab X-i definitsioon alamääratud predikaati ja seega on X-i definitsioon alamääratud.
Vaatame nüüd selle tähendust väidete tõeväärtuste jaoks. Väitel P on tõeväärtus või on P tähendus alamääratud.
Vaatame nüüd alamääratud tähendusega väitest tulenevaid järeldusi. Alamääratud tähendusega väitest tuleneb vähemalt üks järeldus, mille tähendus on alamääratud.
Vaatame nüüd selle tähendust tõeskeemi jaoks. Kui P on alamääratud, siis on ka väite, et P on tõene, tähendus alamääratud.
No comments:
Post a Comment