Veel valetaja paradoksist
Karmo Talts
Vaatame väidetele viitamist. Väidetele viitamisel võib tekkida tsükkel, kus väide, millel viidatakse, viitab ise mõnele väitele jne. ja tsüklis pole ühtegi lüli, mis ei viitaks mõnele väitele.
Vaatame nüüd sellisesse väidete tsüklisse kuuluvate väidete tõeväärtust. Sellises tsüklis puudub see väide, mille tõeväärtus oleks sõltumatu tsükli teistest väidetest ja mis määraks nende tõeväärtuse. Seega pole sellisesse tsüklisse kuuluvatel väidetel tõeväärtust.
Vaatame nüüd selle tähendust loogikate jaoks. Kui P ei kuulu väidete tsüklisse, kus kõik väited viitavad mõnele väitele, siis on P-l üks tõeväärtus nende tõeväärtuste hulgast, mida kasutatav loogika lubab.
Vaatame nüüd selle tähendust Tarski skeemi jaoks. Kui P ei kuulu väidete tsüklisse, kus kõik väited viitavad mõnele väitele, siis P on tõene parajasti siis, kui P.
No comments:
Post a Comment