Konsistentsus ja hulkade moodustamise skeem
Karmo Talts
Vaatame võimalusi kasutada parakonsistentstete loogikate konsistentsioperaatorit hulkade moodustamise skeemi sõnastamiseks. Iga konsistentse predikaadi P puhul saab moodustada hulga kõgist elementidest elemendiga P.
Vaatame nüüd selle tähendust Russeli paradoksi jaoks. Kõigist hulkadest, millele saab kooskõlaliselt omistada endasse mitte kuulumise, saab moodustada hulga.
No comments:
Post a Comment