Tõde ja väidetele viitamine
Karmo Talts
Sõnastame järgmise arusaama tõest: kui P ei väida midagi väidete tõeväärtuste kohta, siis P on tõene parajasti siis, kui P
Laiendame nüüd seda arusaama. Kui P väidab midagi väite, mis ise ei väida midagi mõne väite tõeväärtuse kohta, tõeväärtuse kohta, siis on P tõene parajasti siis, kui P.
Laiendame nüüd seda arusaama veelgi. Kui P väidab midagi väite, mis väidab midagi mõne väite tõeväärtuse kohta, tõeväärtuse kohta ja üksteisele viitavad väited moodustavad ahela, milles on lüli, mis ei väida midagi mõne väite tõeväärtuse kohta, siis on P tõene parajasti siis, kui P.
No comments:
Post a Comment