Uskumuste analüüs teise järgu loogika abil

Uskumuste analüüs teise järgu loogika abil
Karmo Talts

Analüüsime uskumusi teise järgu loogika abil. Meie uskumused ei käi ainult objektide, vaid ka predikaatide kohta.
Vaatame nüüd Frege mõistatust. Kui keegi usub, et Ehatäht on olemas, siis ta usub, et  predikaadi Ehatäht puhul leidub objekt, mille on see predikaat. Kui keegi usub, et Ehatäht on Koidutäht, siis ta usub, et see objekt, mis leidub predikaat Ehatähe puhul, millel on see predikaat, on sama objekt, mis leidub predikaadi Koidutäht puhul, millel on predikaat Koidutäht.
Vaatame nüüd maskis mehe mõistatust. Kui me teame, et predikaadi Bob puhul leidub objekt, millel on see predikaat, ei pruugi me teada, et see on sama objekt, mis leidub predikaadi Maskis mees puhul, millel on predikaat Maskis mees.