Sissejuhatus vaimufilosoofiasse
samasusväide ise on väär. Jäik tähistaja – singulaarterm, mis tähistab igas võimalikus maailmas sedasama
objekti. Mittejäik tähistaja – singulaarterm, mis tähistab eri võimalikes maailmades eri objekte.
Kripke samasusest. Jäigad tähistajad on pärisnimed nagu Sokrates ja loomulikke liike tähistavad terminid
nagu c-kiud. Näiteks – keegi teine peale Sokratese ei saanud olla Sokrates.
Ka valu on jäik tähistaja.
Seega väljendavad sellised samasuslaused nagu - (1). Vesi on H2O. (2). Soojus on molekulide liikumine. (3).
Valu on c-kiudude ergastus. Paratamatuid tõdesid(juhul kui väljendavad tõdesid). Seevastu (4). See, mis
meile paistab vee moodi, on H2O. Ei ole paratamatult tõene ega ole jäik tähistaja – võib tähendada erinevaid
objekte. (1). ja (4). ei tohi segi ajada.
Soojus ja molekulide liikumine. Võidakse vastu väita, et (2). peab olema kontingentne, kuna on võimalik
ette kujutada soojust ilma molekulide liikumiseta