Naiivse ja rafineeritud tõe predikaadid
Karmo Talts
Sõnastame naiivse tõepredikaadi. Väide P on naiivselt tõene parajasti siis, kui P, sõltumata sellest, kas P väldib iseendaga samale tasandile kuuluvatele väidetele viitamist.
Sõnastame nüüd rafineeritud tõepredikaadi. Kui väide on naiivselt tõene ja väite eitus pole naiivselt tõene, siis on väide rafineeritult tõene.
No comments:
Post a Comment