Maskis mehe mõistatus ning muutujate ja konstantide eristus
Karmo Talts
Vaatame maskis mehe mõistatust predikaatarvutuse konstantide ja muutujate eristuste seisukohast. Meil on uskumus, et leidub vähemalt üks x, kelle nimi on Bob ja uskumus, et leidub vähemalt üks y, kes on maskis mees. Meil on ühtlasi uskumus, et b nimi on Bob.
Vaatame nüüd maskis mehe, kui konkreetse objektiga seotud uskumusi lähemalt. Kuna me usume, et üks kahest on tõene, kas Bob on maskis mees või keegi teine on maskis mees, siis me usume, et b on maskis mees või m on maskis mees.
Vaatame nüüd olukorda, kus selgub, et Bob on maskis mees. Esiteks selgub see, et x on y. Teiseks selgub, et m pole maskis mees, sest hoopis b on maskis mees ja mingit m-i polegi.
No comments:
Post a Comment