| 9 | | Ringraziamenti |
| 11 | | Prefazione [ di Graham Priest ] |
| | | {titolo} |
| 15 | | Introduzione |
| 20 | Parte prima. | Motivazioni |
| 22 | 1. | “Il principio più saldo di tutti” |
| 21 | 1.1. | Uno strano cliente |
| 29 | 1.2. | Principio logico e ontologico: il nostro primo approccio al T-schema |
| 31 | 1.3. | Possiamo credere in una contraddizione |
| 36 | 1.4. | Le sfide al Principio |
| 41 | 1.5. | Prospetto: paradossi semantici e insiemistici |
| 47 | 2. | Vere menzogne |
| 47 | 2.1. | Mentitori |
| 53 | 2.2. | Due linee d'attacco |
| 53 | 2.3. | Parametrizzazione, I |
| 57 | 2.4. | Gaps, soluzione categoriale ed enunciati che non atterrano |
| 65 | 3. | I limiti dell'astrazione |
| 65 | 3.1. | Esistenza e Oggettività, ovvero il Principio di Astrazione |
| 68 | 3.2. | Circolo vizioso e tipi logici |
| 72 | 3.3. | Aristotele, ZF e la limitazione di Grandezza |
| 75 | 3.4. | Von Neumann, insiemi e classi |
| 78 | 3.5. | La gerarchia cumulativa transfinita |
| 87 | 4. | La contraddizione e Gödel |
| 87 | 4.1. | L'aritmetica di Peano |
| 88 | 4.2. | Gödel, primo tempo |
| 90 | 4.3. | La teoria matematica ingenua |
| 96 | Parte seconda. | Logiche della contraddizione |
| 98 | 5. | Sulla detonazione |
| 98 | 5.1. | La concezione scotiana dell'assurdo |
| 102 | 5.2. | Condizionale e Sillogismo Disgiuntivo |
| 103 | 5.3. | “Cambio di logica, cambio di argomento” |
| 106 | 5.4. | Il paradosso di Curry |
| 107 | 5.5. | La classical recapture |
| 109 | 5.6. | Paraconsistenza e dialeteismo |
| 114 | 6. | Approcci non aggiuntivi |
| 114 | 6.1. | La logica discussiva |
| 116 | 6.2. | La logica dell'inconsistenza di Rescher e Brandon |
| 119 | 6.3. | Problemi degli approcci non aggiuntivi |
| 120 | 6.4. | Vero-funzionalità, subvalutazioni e argomento da lettere maiuscole |
| 122 | 6.5. | Ma in che mondo vivi?, I |
| 125 | 6.6. | La strategia a frammentazione di David Lewis |
| 129 | 7. | Sistemi positive-plus |
| 129 | 7.1. | Logiche dell'inconsistenza formale |
| 132 | 7.2. | La negazione dacostiana e i suoi guai |
| 135 | 7.3. | ...Altrimenti ci adattiamo |
| 139 | 8. | La logica del paradosso |
| 139 | 8.1. | Prospetto |
| 139 | 8.2. | Vero, falso, vero e falso |
| 145 | 8.3. | La classical recapture nell'approccio di Priest |
| 148 | 8.4. | La consistenza del linguaggio semantico |
| 153 | 9. | La logica della rilevanza |
| 153 | 9.1. | Prospetto |
| 154 | 9.2. | Implicazione rilevante |
| 157 | 9.3. | Rilevanza e contraddizione |
| 160 | 9.4. | Pillole di sintassi rilevante |
| 164 | 9.5. | Semantiche rilevanti |
| 169 | 9.6. | Ultralogiche |
| 171 | 9.7. | Problemi rilevanti |
| 177 | 9.8. | La logica dell'implicazione di Brady, DJdQ |
| 184 | Parte terza. | Applicazioni |
| 186 | 10. | Semantica paraconsistente |
| 185 | 10.1. | Applicazioni varie ed eventuali |
| 186 | 10.2. | Desiderata |
| 186 | 10.3. | La semantica di Priest |
| 190 | 10.4. | ...Funziona? |
| 193 | 11. | Insiemistica e metalogica paraconsistenti |
| 193 | 11.1. | Desiderata |
| 193 | 11.2. | Gödel, secondo tempo |
| 196 | 11.3. | Variazioni sul Quine |
| 197 | 11.4. | La teoria paraconsistente degli insiemi di Routley, DST |
| 200 | 11.5. | La teoria paraconsistente delle classi di Brady |
| 201 | 11.6. | Lo Schema di Inclusione |
| 205 | 12. | Aritmetiche contraddittorie |
| 205 | 12.1. | Aritmetiche paraconsistenti di Meyer e Routley, R# e DKA |
| 206 | 12.2. | n = n + 1 |
| 214 | Parte quarta. | Problemi |
| 216 | 13. | Ipercontraddizioni |
| 221 | 14. | Esclusione, o la rivincita del Principio |
| 221 | 14.1. | Prospetto |
| 216 | 13.1. | “Questo enunciato è vero e falso, né vero né flaso, vero e falso e né vero né falso...” |
| 216 | 13.2. | Il supermentitore |
| 222 | 14.2. | ε’′λεγχος |
| 218 | 13.3. | Semantica relazionale e problema dell'esclusione |
| 224 | 14.3. | Esprimere l'esclusione |
| 231 | 14.4. | La nozione di incompatibilità naturale |
| 239 | | Bibliografia |
| 254 | | _ |
| 256 | | ___ |