Piirang väidete tõeväärtuste kohta väidete esitamisele
Karmo Talts
Sõnastame järgmise piirangu väidete, mis käivad väidete tõeväärtuste kohta, sõnastamisele: väited väidete tõeväärtuste kohta peavad olema kujul "hulka gamma kuuluvatel väidetel on tõeväärtus x".
Vaatame nüüd üksiku väite P tõeväärtuse kohta väidete esitamist. Hulk gamma on sel juhul moodustatud ühest elemendist, väitest P.
Vaatame nüüd selle tähendust enesele viitavate väidete jaoks. Kuna väidete hulk pole väide, siis ei saa sõnastada enese tõeväärtuse kohta väiteid esitavaid väiteid.
No comments:
Post a Comment