Sissejuhatus vaimufilosoofiasse
Järelikult, kuivõrd nad ei ole paratamatult
identsed, ei ole nad üldse identsed ning keha-vaimu samsusteooria on väär.
Argumendi struktuur. Kripke argument: (1) Kui p tõesus on kujuteldav, siis on võimalik, et p. (2) On
kujuteldav, et valu esineb ilma c-kiudude ergastuseta ja vastupidi. (3) Seega leidub võimalik maailm, kus
valu ei ole c-kiudude ergastus. (Ehk: pole paratamatult tõene, et valu on c-kiudude ergastus). (1;2)
(4) Iga jäiku tähistajaid seostav identsusseos on paratamatu, st kehtib kõigis võimalikes maailmades. (5)
“Valu” ning “c-kiudude ergastus” on jäigad tähistajad. (6) Kui on tõene, et valu on c-kiudude ergastus, siis
on see paratamatult tõene (4;5). (5) Seega valu ei ole c-kiudude ergastus (3; 6).
Vastuargument: Üks võimalus argumendile vastu vaielda, on eitada, et kujuteldavusest tuleneb
võimalikkus. Selleks ei piisa ainult viitamine võimatute olukordade kujutlemisele, kuna Kripke vastaks, et