| 5 | | Introduzione |
| 10 | I. | Da Frege ai mondi possibili |
| 10 | 1.1 | L'eredità di Frege: senso, riferimento e composizionalità del significato |
| 21 | 1.2 | Senso e condizioni di verità |
| 27 | 1.3 | Intensioni e mondi possibili |
| 33 | II. | Logica modale proposizionale |
| 33 | 2.1 | I Mondi possibili e semantica di Kripke |
| 37 | 2.2 | Logica modale minimale: il sistema K |
| 43 | 2.3 | R riflessiva: il sistema T |
| 45 | 2.4 | R riflessiva e transitiva: il sistema S4 |
| 47 | 2.5 | R riflessiva e simmetrica: il sistema B |
| 48 | 2.6 | Se R è un'equivalenza: il sistema S5 |
| 52 | 2.7 | Conclusioni |
| 53 | III. | Logiche deontiche, temporali e condizionali |
| 53 | 3.1 | Introduzione |
| 53 | 3.2 | Obbligatorio e permesso: logiche deontiche |
| 59 | 3.3 | Mondi possibili e logiche del tempo |
| 66 | 3.4 | Condizionali e mondi possibili |
| 77 | IV. | Logiche modali epistemiche |
| 77 | 4.1 | Introduzione |
| 78 | 4.2 | Logiche del sapere |
| 81 | 4.3 | Logiche del credere |
| 83 | 4.4 | Logiche multi-modali |
| 85 | 4.5 | Logiche del sapere multi-agente |
| 87 | 4.6 | Il problema dell'onniscenza logica |
| 91 | 4.7 | Concllusioni |
| 92 | V. | Logica modale quantificata del primo ordine |
| 92 | 5.1 | Introduzione |
| 93 | 5.2 | Il linguaggio della logica modale quantificata del primo ordine |
| 98 | 5.3 | La semantica della logica modale |
| 102 | 5.4 | Gli assiomi e la formula Barcan (FB) |
| 104 | 5.5 | I modelli cn i domini variabili |
| 109 | 5.6 | Dai domini variabili ai domini costanti |
| 111 | 5.7 | La distinzione de dicto/de re |
| 117 | VI. | L'intelligibilità della logica modale quantificata |
| 117 | 6.1 | Introduzione |
| 118 | 6.2 | Estensioni e intensioni |
| 122 | 6.3 | Regole di inferenza |
| 128 | 6.4 | Quine e gli operatori non-estensionali |
| 131 | 6.5 | Quine e il numero dei pianeti |
| 137 | VII. | Mondi possibili: semantica e metfisica |
| 137 | 7.1 | Introduzione |
| 138 | 7.2 | Semantica pura e semmantica dei mondi possibili |
| 143 | 7.3 | Il problema dei possibilia |
| 148 | 7.4 | Concretismo |
| 154 | 7.5 | Astrazionismo |
| 158 | 7.6 | Necessitismo |
| 162 | 7.7 | Analisi e riduzione delle modalità |
| 170 | Appendice 1. | Logica proposizionale non modale |
| 170 | A1.1 | La sintassi di LP: linguaggio e apparato deduttivo |
| 178 | Appendice 2. | Sistemi assiomatici proposizionali |
| 178 | A2.1 | Logiche modali aletiche |
| 178 | A2.2 | Logiche deontiche |
| 178 | A2.3 | Logiche modali epistemiche |
| 179 | Appendice 3. | Paradossi epistemici |
| 179 | A3.1 | Il paradosso di Fitch |
| 182 | A3.2 | Il paradosso del conoscitore |
| 184 | Appendice 4. | Correttezza e completezza |
| 184 | A4.1 | Correttezza dei sistemi con FB |
| 189 | A4.2 | Completezza dei sistemi con FB |
| 196 | | Approfondimenti bibliografici |
| 197 | | Riferimenti bibliografici |
| 206 | | _ |