Traduzione di Loux - Dipartimento di Filosofia

degli insiemi che esibisce le connessioni inferenziali fra enunciati che esprimonorelazioni insiemistiche.Pertanto laddove il linguaggio è estensionale, abbiamo un sistema logico chespecifica esattamente quali enunciati sono conseguenza di un qualsiasi insieme dienunciati; e si è pensato che questo fatto rendesse il linguaggio estensionale adatto afare filosofia seriamente. Ma che rilevanza hanno queste osservazioni con lamodalità? Beh, non si può dare per scontato che gli enunciati che contengono terminicon espressioni modali superino il test dell’estensionalità. Un paio di esempi sonosufficienti per evidenziare la difficoltà. Poiché(4) Due più due fa quattro e gli scapoli non sono sposatiè una verità necessaria,(5) E’ necessario che due più due fa quattro e gli scapoli non sono sposatiè vero. Se tuttavia sostituiamo “due più due fa quattro” in (5) con “GiorgioNapolitano è presidente della Repubblica Italiana”, ciò che risulta(6) E’ necessario che Giorgio Napolitano è presidente della RepubblicaItaliana e gli scapoli non sono sposatiè falso. Poiché è solo contingentemente vero che Giorgio Napolitano è Presidentedella Repubblica Italiana, la congiunzione “Giorgio Napolitano è presidente dellaRepubblica Italiana e gli scapoli non sono sposati” è anch’essa contingente. Pertantointroducendo la nozione di necessità abbiamo convertito (4), un enunciato puramenteestensionale, in un enunciato che non è estensionale; o, come talvolta si dice,l’introduzione della nozione di necessità qui converte un contesto estensionale in uncontesto intensionale. Allo stesso modo(7) L’uomo più alto dell’Indiana è più alto di chiunque altro in Indianaè un contesto estensionale. Il suo valore di verità non cambia quando sostituiamo“l’uomo più alto dell’Indiana” col termine coreferenziale “Sam Small”. Tuttavia (7)esprime una verità necessaria, pertanto(8) E’ necessario che l’uomo più alto dell’Indiana sia più alto di chiunquealtro in Indianaè vero; ma (8) non è estensionale, mentre lo è (7). Quando facciamo le sostituzioniopportune in (8) ciò che risulta è(9) E’ necessario che Sam Small sia più alto di chiunque altro in Indiana