Naiivne tõesus ja rangelt võttes tõesed väited
Karmo Talts
Vaatame naiivset tõepredikaati rangema tõepredikaadi seisukohast. Kui väide on naiivselt võttes tõene, siis on väide rangelt võttes tõene või on väide rangelt võttes vasturääkiv.
Sõnastame nüüd rangema tõeskeemi. P on rangelt võttes tõene siis, kui P on naiivselt võttes tõene ja P pole vasturääkiv.
No comments:
Post a Comment