Beyond_Rigidity
Teesid pärisnimede kohta
Kui T1 ja T2 on õiged, siis pärisnimel ei ole sama semantiline sisu mis kirjeldusel, ja propositsioon, mida semantiliselt väljendab nime sisaldav lause, ei ole sama mis propositsioon, mida väljendab vastav lause, milles nimi on asendatud kirjeldusega. Ent Kripke ei ütle, mis nime semantiline sisu on, ega ütle, millist propositsiooni nime sisaldav lause täpselt väljendab. Kui nime semantiline sisu pole kunagi sama mis kirjeldusel, siis tundub mõistlik oletada, et nimedel polegi kirjeldavaid tähendusi, kirjeldavaid semantilisi sisusid. Ja kui nii, siis võiks tunduda, et nende ainsad semantilised sisud on nende osutused. Sellest järeldub, et ühe ja sellesama osutusega nimedel on üks ja seesama sisu, nii et need peavad semantiliselt väljendama ühte ja sedasama propositsiooni. Kui lisada usutav kompositsioonilisuse printsiip, jõuame vaateni, et laused, mis erinevad ainult selle poolest, et mõni neist nimedest on asendatud teisega, väljendavad ühte ja sedasama propositsiooni. Ent see järeldus on vastuolus teesiga T4. Tõepoolest, tuleb välja, et kui a ja b on pärisnimed ja lause a=b on tõene, siis ta väljendab sama propositsiooni mis lause a=a; et aga propositsiooni, mida väljendab a=a, on võimalik teada aprioorselt, siis ka propositsiooni, mida väljendab a=b. Vastuolu tõttu teesiga T4 võib kindel olla, et Kripke selle järeldusega nõus ei olnud, kuid pole päris selge, miks. Kripke arutleb nii. Olgu a = b tõene identsuslause, milles figureerivad pärisnimed (näiteks Ehatäht ja Koidutäht). Pädevale nimekasutajale kättesaadavatest tõenditest ei piisa, et lihtsalt nimedest arusaamise põhjal kindlaks teha, et nimedel on sama osutus. On olemas võimalik maailmaolek, kus kõnelejatele on kvalitatiivselt samad tõendid, kuid nende nimedega osutatakse eri asjadele. Kripke püüab näidata, et nendes võimalikes maailmaolekutes subjektile kättesaadavatest tõenditest ei piisa näitamiseks, et neil nimedel on sama osutus. Olgu E selliste võimalike maailmaolekute kogum, milles subjektide episteemiline olukord nimede Ehatäht ja Koidutäht kasutamine on kvalitatiivselt identne meie tegeliku olukorraga. Siis võidakse mõelda, et iga propositsioon, mis mõnes E elemendis ei ole tõene, on propositsioon, mille tõesust meile kättesaadavad tõendid ei määra ning mida me seetõttu ei tea aprioorselt. Üks niisugustest propositsoonidest on see, et nimed Ehatäht ja Koidutäht on meie keeles sama osutusega; teine on see, et lause "Ehatäht on Koidutäht" väljendab meie keeles tõde. Siis saame järeldada, et väidet, et lause "Ehatäht = Koidutäht" on meie keeles tõene, ei ole võimalik teada aprioorselt, vaid ainult empiirilise uurimise põhjal. Ent siin on üks probleem. Kripke ei järelda eksplitsiitselt mitte seda, et seda metakeele väidet on võimalik teada ainult aposterioorselt, vaid seda, et väidet "Ehatäht on Hommikutäht" on võimalik teada ainult aposterioorselt. Propositsioon, et Ehatäht on Hommikutäht, on tõene kõigis maailmaolekutes. Järelikult on see tõene kõigis maailmaolekutes, kus subjektidel on samad tõendid mis meil. Järelikult ei välista printsiip, et aprioorselt teatakse ainult neid propositsioone, mis on tõesed kõigis niisugustes maailmaolekutes, et seda väidet aprioorselt teatakse. Kui Kripke seletab väite "Ehatäht = Hommikutäht" paratamatust, kasutab ta näidet võimalikust maailmaolekust, milles subjektidel on samad tõendid nagu meil, et meelde tuletada, et see, et lause ""Ehatäht = Koidutäht" väljendab tõde meie keeles" on kontingentne, pole väite "Ehatäht = Koidutäht" paratamatuse seisukohast oluline. Kripke järgi väljendavad subjektid tema kujutletavas maailmaolekus lausega "Ehatäht = Koidutäht" mingit teist propositsiooni kui see, mida me tegelikult väljendame. See, et propositsioon, mida nemad sellega väljendavad, on nende maailmaolekus väär, ei näita, et propositsioon, mida meie tegelikult sellega väljendame, on nende maailmaolekus või mõnes teises maailmaolekus väär. Kripke ei too välja, et sama arutlus kehtib nende kahe näite episteemilise staatuse kohta. Meie metakeelelist lauset on võimalik teada ainult aposterioorselt, kuid see ei tundu puutuvat asjasse, kui jutt on sellest, kas identsusväide on aprioorne. Kripke kujutletava maailma subjektid ei tea propositsiooni, mida nad väljendavad lausega "Ehatäht on Koidutäht", sel lihtsal põhjusel, et see propositsioon on nende maailmas väär. Aga see ei näita, et meie ei tea seda teist propositsiooni, mida me selle lausega väljendame, ega näita ka, me ei tea seda sõltumatult empiirilisest uurimisest. Sellepärast Kripke järeldus, et ei ole võimalik aprioorselt teada, et Ehatäht on Koidutäht, ainult tema toodud kaalutlustest ei järeldu. Võib-olla saab arutluslünga täita, kui lisada veel printsiipe. On tarvis printsiipe, mis seovad selle, et subjekt saab lausest aru ja aktsepteerib seda, sellega, et ta usub või teab propositsiooni, mida lause väljendab.