INDICE: |
| IX | | Prefazione |
| 5 | Scheda n. 1 | Le parole logiche |
| 7 | Parte I | Gli operatori booleani |
| 9 | 1. | Negazione e congiunzione |
| 9 | 1.1 | La negazione |
| 13 | 1.2 | Stati |
| 17 | 1.3 | Proposizioni aperte |
| 21 | Scheda n. 2 | Insiemi |
| 24 | 1.4 | La congiunzione |
| 29 | 2. | I linguaggi booleani |
| 29 | 2.1 | La piccionaia |
| 31 | 2.2 | La disgiunzione |
| 37 | Scheda n. 3 | Definizioni |
| 40 | 2.3 | Forme logiche |
| 50 | 2.4 | L'isola dei lestofanti e dei cavalieri |
| 55 | 3. | Il condizionale e l'implicazione |
| 55 | 3.1 | Significato e condizioni di verità |
| 58 | 3.2 | Il condizionale |
| 65 | Scheda n. 4 | Condizionali |
| 70 | 3.3 | Implicazione e controesempi |
| 80 | 3.4 | Teorie |
| 89 | 4. | Deduzione e controesempi |
| 89 | 4.1 | Deduzione e controesempi: il primo giorno |
| 96 | 4.2 | Deduzione e controesempi: il secondo giorno |
| 103 | Scheda n. 6 | Fondamenti |
| 107 | 4.3 | Nettuno |
| 112 | Scheda n. 7 | Congetture e confutazioni |
| 116 | 4.4 | Deduzioni eliminative |
| 125 | 5. | Verità e deduzione |
| 125 | 5.1 | Che cos'è la verità? |
| 134 | Scheda n. 8 | La verità |
| 137 | 5.2 | Deduzioni classiche |
| 145 | 5.3 | KE e i procedimenti dimosrativi ordinari |
| 153 | Scheda n. 9 | Linguaggio e metalinguaggio |
| 156 | 5.4 | Tonk e plonk |
| 161 | 6. | Verità e correttezza |
| 161 | 6.1 | Il procedimento di dimostrazione per induzione |
| 168 | 6.2 | Implicazione e controesempi II |
| 174 | 6.3 | La correttezza di KE |
| 178 | 6.4 | Le tavole di verità |
| 183 | Scheda n. 10 | Sintassi e semantica |
| 190 | 6.5 | L'equivalenza |
| 197 | Scheda n. 11 | Le logiche polivalenti |
| 201 | 7. | La decidibilità di KE |
| 201 | 7.1 | Deduzioni analitiche |
| 211 | 7.2 | Principessa o tigre? |
| 218 | 7.3 | Boole: una procedura di decisione per la KE-incoerenza |
| 233 | 7.4 | Le proprietà di Boole |
| 238 | Scheda n. 12 | Algoritmi |
| 245 | 7.5 | La completezza di KE |
| 251 | Parte II | Gli operatori quantificazionali |
| 253 | 8. | I quantificatori |
| 253 | 8.1 | I linguaggi del primo ordine |
| 264 | 8.2 | Dal linguaggio ordinario ai linguaggi del primo ordine |
| 272 | Scheda n. 13 | Logica e tempo |
| 274 | 8.3 | Il significato dei quantificatori |
| 282 | Scheda n. 14 | Il sillogismo |
| 285 | 8.4 | Carte geografiche |
| 295 | 9. | Verità e correttezza al primo ordine |
| 295 | 9.1 | Stati del primo ordine |
| 300 | Scheda n. 15 | Estensione-intensione |
| 303 | 9.2 | La correttezza di KEQ |
| 307 | 9.3 | Relazioni |
| 311 | 9.4 | Alberi genealogici |
| 319 | scheda n. 16 | Alberi e grafi |
| 323 | 10. | I linguaggi del primo ordine con identità |
| 323 | 10.1 | L'identità |
| 333 | 10.2 | L'infinito |
| 340 | 10.3 | Le espressioni funzionali |
| 347 | Scheda n. 17 | Funzioni |
| 351 | 11. | Le proprietà dei linguaggi del primo ordine |
| 351 | 11.1 | Smullyan: una procedura di semidecisione per la KEQ-incoerenza |
| 365 | 11.2 | La completezza di KEQ |
| 370 | Scheda n. 18 | I teoremi limitativi |
| 374 | 11.3 | Compattezza, proprietà di Löwenheim-Skolem e categoricità |
| 381 | Scheda n. 19 | I linguaggi del secondo ordine |
| 386 | | Soluzione degli esercizi |
| 541 | | Riferimenti bibliografici |
| 555 | | Indice analitico |
| 570 | | Regole di eliminazione, d'introduzione e strutturali |
| 579 | | _ |