Kooskõlalised predikaadid ja tõde
Karmo Talts
Vaatame, millal predikaat pole kooskõlaline. Predikaat P pole kooskõlaline siis, kui iga objekti x puhul pole nii, et x-l ei saa korraga olla P ja mitte olla P.
Sõnastame nüüd tõeskeemi. Väide Q on tõene parajasti siis, kui Q omistab hulga x liikmetele kooskõlalise predikaadi P ja hulga x liikmetel on P.
Vaatame nüüd väärust. Väide Q on väär parajasti siis, kui predikaat P, mille Q hulga x-liikmetele omistab, pole kooskõlaline või x-i liikmetel pole predikaati P, mida Q x-i liikmetele omistab.
No comments:
Post a Comment