Fu John Stuart Mill ha proporre un embrione di teoria del significato. Per lui il significato di un termine era semplicemente la relazione tra quel termine e l' oggetto che quel termine designava.
La critica di Frege fu radicale. Pensiamo al termine "Giocasta" e al suo significato.
Per Edipo "Giocasta" = "La Regina di Tebe"
Per Noi "Giocasta" = "La madre di Edipo".
Sebbene sia noi che Edipo quando pronunciamo la parola "Giocasta" intendiamo riferirci alla medesima persona, evidentemente non ne condividiamo il senso poiché intendiamo cose diverse usando quel nome, se non fosse così i noti drammi non potrebbero svilupparsi. Ne consegue che dobbiamo abbandonare l' idea di "senso" come semplice relazione che lega la parola all' oggetto.
In Frege il senso diventa un' idea (intensione) anziché un oggetto (estensione): il termine rinvia a un' idea (senso) che rinvia ad un oggetto (riferimento). Il senso è un concetto, ovvero una descrizione del termine (tavole di verità). Noi possiamo condividere il riferimento (oggetto) senza condividere il senso (descrizione) del termine. Le idee non hanno significato, sono il significato.
In questo modo il "caso di Edipo" è brillantemente risolto.
Kripke criticherà però la teoria descrittiva di Frege, almeno per quel che concerne i nomi propri e i nomi naturali. Ecco un esperimento mentale che propone.
Giovanni "Godel è colui che dimostro l' incompletezza dell' aritmetica"
Adesso ammettiamo che nella realtà Godel abbia copiato la sua dimostrazione da Shmidt, il quale per un qualsiasi motivo non ha mai denunciato il plagio.
Domanda: cosa intende Giovanni quando pronuncia il nome proprio "Godel".
Ipotesi 1: intende il Godel che esiste nel nostro mondo (dandone una descrizione falsa).
Ipotesi 2: intende il Godel di un "mondo possibile" ( dandone una descrizione vera poiché in un mondo possibile Godel avrebbe potuto benissimo dimostrare l' incompletezza dell' aritmetica).
Il fatto sconcertante è che nell' Ipotesi 1 non giungiamo al riferimento grazie al senso mentre nell' Ipotesi 2 questa condizione è soddisfatta in pieno. Eppure l' Ipotesi 2 è altamente controintuitiva e siamo portati ad escluderla come plausibile. In altri termini: secondo Frege bisognerebbe optare per 2 ma tutti capiamo che questo è assurdo.
Nell' ipotesi 1, la più intuitiva, senso e riferimento divergono, ma questo non è un problema per l' esternalismo di Mill poiché in questo caso il senso del termine impiegato è l' oggetto. Ovvero, quando Giovanni dice "Godel" intende l' oggetto Godel non la descrizione erronea che ne dà poiché quella descrizione ha come riferimento un oggetto ben preciso che abita un altro mondo possibile e che non coincide affatto con quello a cui vuole riferirsi Giovanni. Un grave inconveniente, ma solo per Frege.
Si puo' aggirare la critica di Kripke?
Bisogna abbandonare la "semantica dei mondi possibili" in favore della "semantica a due dimensioni".
Nella semantica a due dimensioni per la parola ACQUA si ripropongono le consuete descrizioni di Frege ma si aggiunge all' elenco una "proprietà disclaimer": "ACQUA=qualunque cosa decidiamo di chiamare ACQUA in questo mondo". parliamo di semantica 2D perché il disclaimer puo' essere pensato come una seconda definizione (intensione) che si accompagna sempre alla prima tradizionale definizione.
Provate a sostituire ACQUA con GODEL. Ebbene, gli inconvenienti di cui sopra cessano poiché con la seconda definizione il riferimento di Giovanni, per quanto sballato, non potrà mai essere quel GODEL fantasmatico che abita un altro "mondo possibile" e che aveva ingenerato coincidenze imbarazzanti.
http://en.wikipedia.org/wiki/Two-dimensionalism
