| 7 | | Nota |
| 9 | | Introduzione: logica e interdisciplinarità [ di Giuseppe Lombardo Radice ] |
| 9 | 1. | Interdisciplinarietà e unità della cultura |
| 10 | 2. | Come superare la frammentazione della cultura in «materie»? |
| 11 | 3. | Dalle materie ai metodi |
| 13 | 4. | La formalizzazione un «segno dei nostri tempi» |
| 14 | 5. | Dalla matematizzazione della fisica a quella delle scienze umane |
| 16 | 6. | Perché abbiamo scelto la logica matematica |
| 16 | 7. | Da Leibniz a Boole |
| 20 | 8. | Benedetto Croce giudicava «risibile» la «logistica» |
| 23 | 9. | Importanza della logica simbolica |
| 27 | 10. | Bisogna cominciare con pazienza dal principio |
| 29 | | Enunciati: un'introduzione elementare [ di Anna Barbara Veit Riccioli ] |
| 29 | | Introduzione |
| 32 | 1. | I connettori logici |
| 32 | a) | La parola «e» |
| 35 | b) | La parola «o» |
| 41 | c) | L'espressione «se... allora...» |
| 49 | d) | La parola «non» |
| 50 | 2. | Le funzioni di verità |
| 64 | 3. | La logica degli enunciati come sistema formale. Linguaggio, semantica, sintassi |
| 64 | a) | L'alfabeto di LE |
| 64 | b) | Espressioni di LE |
| 69 | a) | La regola di sostituzione |
| 70 | b) | La regola del modus ponens |
| 73 | | Predicati: un'introduzione elementare [ di Roberto Cordeschi ET Roberto Levi ] |
| 73 | 1. | Enunciati e sillogismi |
| 79 | 2. | Il linguaggio predicativo |
| 83 | 3. | La quantificazione |
| 89 | 4. | Verso una semantica logica |
| 89 | 4.1 | La nozione di funzione |
| 91 | 4.2 | Simboli e significati |
| 93 | 4.3 | L'interpretazione |
| 103 | 5. | Conclusione. Nota bibliografica |
| 105 | | Per la storia della logica matematica: la formalizzazione [ di Paolo Freguglia ] |
| 105 | 1. | Qualche preliminare |
| 109 | 2. | La «forma» nella logica antica e medioevale e prime considerazioni |
| 112 | 3. | La formalizzazione della geometria |
| 117 | 4. | La formalizzazione dell'aritmetica |
| 125 | 5. | La formalizzazione della logica |
| 141 | 6. | Conclusione |
| 142 | | Bibliografia |
| 145 | | La logica come teoria della dimostrazione [ di Carlo Cellucci ] |
| 145 | | Introduzione |
| 147 | 1. | I linguaggi del primo ordine |
| 148 | 2. | Dimostrabilità formale, conseguenza logica, conseguenza insemistica |
| 152 | 3. | Dimostrazione chiusa, dimostrazione aperta |
| 154 | 4. | Verità in una struttura insiemistica |
| 158 | 5. | Forma canonica delle dimostrazioni |
| 161 | 6. | Operazioni di convalida |
| 166 | 7. | Dimostrazione valida |
| 169 | 8. | Regola valida |
| 172 | 9. | Sistemi di deduzione naturale |
| 175 | 10. | Regole non logiche |
| 185 | 11. | Condizioni sulle variabili individuali libere |
| 188 | 12. | Conclusione |
| 189 | | Appendice |
| 197 | | Bibliografia |
| 203 | | Logica e scienze del linguaggio [ di Tullio De Mauro ] |
| 203 | 1. | |
| 204 | 2. | |
| 205 | 3. | |
| 206 | 4. | |
| 206 | 5. | |
| 207 | 6. | |
| 208 | 7. | |
| 210 | 8. | |
| 212 | 9. | |
| 216 | 10. | |
| 217 | 11. | |
| 217 | 12. | |
| 219 | | Logica e storia della filosofia [ di Gabriele Giannantoni ] |
| 235 | | _ |
