Maskis mehe mõistatus ning muutujate ja konstantide eristus

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.

Teadmine, uskumused ja maskis mehe paradoks

Teadmine, uskumused ja maskis mehe paradoks

Karmo Talts 

 

Vaatame selle, et sõnastatud teadmine on uskumus, tähendust mitte-teadmise jaoks. Kui ma ei tea fakti, et x, siis on kaks võimalust, kas ma üldse ei usu x-i või ma usun x-i ilma, et ma x-i teaks.
Vaatame nüüd maskis mehe paradoksi. Ma ei taha öelda, et ma usun maskis mehe kohta midagi, mida ma ei tea. Ma tahan öelda, et on midagi, mida ma maskis mehe kohta ei usu -ma ei usu, et ta on Bob , et ta on Jim jne.
Vaatame nüüd selle, mida ma ütlen maskis mehe kohta ja selle, mida ma ütlen Bobi kohta, suhet. Seda, mida ma ei usu maskis mehe kohta -et ta on Bob- usun ma Bobi kohta. See, et ma ühte ja sama asja ei usu maskis mehe ja Bobi kohta tähendab seda, et ma ei usu, et maskis mees on Bob.

Maskis mehe mõistatus ja predikaatide omamise küsimus

Maskis mehe mõistatus ja predikaatide omamise küsimus 

Karmo Talts

Vaatame maskis mehe mõistatust predikaatide omamise seisukohast. Kui ma predikaadi Maskis mees puhul ei tea, kellele see kuulub ja predikaadi Bob puhul tean, kellele see kuulub, siis need ei kuulu ühele ja samale isikule või ei ole predikaat Maskis mees predikaat Bob. 

Maskis mehe mõistatus

Maskis mehe mõistatus

Karmo Talts

 

Vaatame maskis mehe mõistatust. Me võime panna kahe erineva muutuja abil kirja oma uskumused: leidub x, kelle puhul on tegu maskis mehega ja leidub y, kelle puhul on tegu näiteks Teeduga. See, mis meil puudub on uskumus, et x on y.

Vaatame nüüd tavakeelt. Tavakeel ei eelda, et objektid pole meile vahetult antud. Kui me ütleme, et me teame, kes Teet on, siis me eirame seda, et me mõtleme mõtteid, mis käivad Teedu kohta ja isegi siis, kui need mõtted on tõesed, siis see, et need käivad ühe ja sama inimese kohta, võib olla meie jaoks avastus.