| 1 | | [collana] |
| 3 | | [frontespizio] |
| 4 | | [copyright] |
| 5 | | Indice |
| 7 | | Introduzione |
| 9 | 1. | la logica greca |
| 20 | 2. | la logica medioevale |
| 24 | 3. | Leibniz e la logica matematica moderna |
| 32 | 4. | La logica oggi |
| 38 | 1. | Teoria della dimostrazione |
| 38 | 1.1. | Premessa |
| 39 | 1.2. | Le logiche fondamentali |
| 46 | 1.3. | Teoria dei sistemi formali |
| 50 | 1.4. | Proprietà importanti dei sistemi formali |
| 54 | 1.5. | I teoremi limitativi |
| 58 | 1.6. | Dimostrazioni di coerenza |
| 62 | 2. | Teoria estensionale del significato |
| 62 | 2.1. | La fondazione di Frege nella teoria del significato |
| 65 | 2.2. | La semantica tarskiana |
| 69 | 2.3. | La teoria dei modelli |
| 75 | 2.4. | Il problema dell'autofondazione delle teorie |
| 79 | 2.5. | Logiche polivalenti, probabilistiche e induttive |
| 82 | 3. | Teorie dell'intensione e logiche speciali |
| 82 | 3.1. | La semantica di Kripke |
| 83 | 3.2. | Le logiche modali |
| 86 | 3.3. | Logiche temporali e logiche epistemiche |
| 90 | 3.4. | Teorie dell'intensione |
| 94 | 3.5. | Semantica kripkiana per le logiche fondamentali |
| 97 | 4. | Il problema dei fondamentali della matematica |
| 97 | 4.1. | Matematica e logica |
| 99 | 4.2. | Recenti mutamenti di prospettiva nella problematica fondazionale |
| 107 | 5. | Logica e scienze empiriche |
| 107 | 5.1. | Semantica dele teorie empiriche |
| 110 | 5.2. | Il problema della “logica della meccanica quantistica” |
| 112 | 6. | Unicità o pluralità delle logiche? |
| 116 | | Tavole |
| 125 | | Guida bibliografica |
| 125 | | Note orientative |
| 128 | | Bibliografia generale |
| 133 | | _ |
| 134 | | [tipografia] |
| 135 | | [collana.lista] |
| 136 | | ___ |