| 1 | | [collana] |
| 3 | | [frontespizio] |
| 4 | | [copyright] |
| 5 | | Indice |
| 7 | | La logica “appresa attivamente» |
| 7 | | Considerazione introduttiva |
| 11 | 1. | La logica come scienza esatta |
| 11 | 1.1 | Calcooli e pietruzze |
| 18 | 1.2 | Che cos'è “logico” nella nuova logica? |
| 33 | 2. | Esercizi preparatori a un “corso di linguaggio formalizzato” |
| 33 | 2.1 | Cos'ha a che fare il “Socrate mortale” con la nuova logica... |
| 44 | 2.2 | Continuiamo a formalizzare... |
| 53 | 3. | “Calcolare” con degli enunciati |
| 53 | 3.1 | Concludere “appresso” col modus ponens |
| 62 | 3.2 | “Verità” dalla tabella? |
| 77 | 4. | Particelle e connettivi |
| 77 | 4.1 | “E” e “non” come “problema” logico di “traduzione” |
| 85 | 4.2 | &ldquo:Oppure anche” o “oppure invece”? |
| 97 | 5. | La “cassetta degli strumenti” della logica degli enunciati |
| 97 | 5.1 | Tecniche formali di “trascrizione” |
| 105 | 5.2 | Un connettivo “scabroso”: “Se... allora...” |
| 116 | 6. | Lavori preliminari in vista del calcolo degli enunciati |
| 116 | 6.1 | Connettivi particolarmente “efficaci”: “e” e “non” |
| 125 | 6.2 | Connessioni “incondizionatamente vere” |
| 137 | 7. | “Piccoli lavori” con le formule logiche |
| 137 | 7.1 | Equivalenza a doppia negazione |
| 149 | 7.2 | Le “leggi” sono formule e non “regole”... |
| 159 | 8. | Le “regole del gioco” del calcolo degli enunciati |
| 159 | 8.1 | “Pi è vero più è lungo”... |
| 168 | 8.2 | Il “Modus ponens” come regola di scomposizione |
| 177 | 9. | La “dimostrazione senza lacune” |
| 177 | 9.1 | L'uso “matematico”, di implicazione, legge e regola |
| 185 | 9.2 | Assiomatica del calcolo deggli enunciati |
| 199 | 10. | Vari ldquo;giochi di dimostrazione” |
| 199 | 10.1 | Sistemi logici di assiomi |
| 209 | 10.2 | Derivazione da presupposti |
| 219 | 11. | “Bilancio” della logica classica degli enunciati |
| 219 | 11.1 | Dualità e leggi di De Morgan |
| 229 | 11.2 | Un “catalogo delle leggi” compilato “in due lingue” |
| 236 | 12. | Oltre la bivalenza |
| 236 | 12.1 | La logica degli enunciati intuizionistica |
| 242 | 12.2 | Formule dimostrate “giocando”... |
| 249 | | Appendici |
| 251 | | Tabella delle formule |
| 253 | | «Raccolta di formule» logiche |
| 260 | | Forme di enunciato equivalenti |
| 261 | | Regole logiche |
| 265 | | «A cosa ci serve la logica?” |
| 275 | | Indice analitico |
| 281 | | _ |
| 283 | | [tipografia] |
| 284 | | ___ |