| XIX | | Nota introduttiva [ di Alberto Conte ] |
| XXV | | Prefazione dell'autore alla prima edizione tedesca |
| 1 | Volume I | Dai Presocratici a Leibniz |
| | | Abelardo |
| 11 | Parte Prima | Introduzione |
| 13 | 1. | Il concetto di logica formale |
| 15 | 2. | Sulla storia della storia della logica |
| 15 | A. | Gli inizi |
| 16 | B. | I pregiudizi |
| 21 | C. | La ricerca del XX secolo |
| 23 | 3. | L'evoluzione della logica formale |
| 24 | A. | Sulla geografia e sulla cronologia della logica |
| 25 | B. | Il modo di evolversi della logica |
| 26 | C. | Le forme di logica |
| 28 | D. | L'unità della problematica logica |
| 30 | E. | Il problema del progresso |
| 32 | 4. | Metodo e piano |
| 32 | A. | Storia dei problemi e documentazione |
| 33 | B. | Piano dell'opera |
| 34 | C. | Carattere dei contenuti |
| 35 | 5. | La terminologia |
| 35 | A. | Le espressioni tecniche |
| 37 | B. | Del simbolismo logico-matematico |
| 38 | C. | Convenzioni tipografiche |
| 41 | Parte seconda | La forma greca di logica |
| 43 | 6. | Introduzione alla logica greca |
| 43 | A. | Cronologia dei logici |
| 44 | B. | I periodi |
| 45 | C. | Stato della ricerca |
| 47 | I. | I precursori |
| 47 | 7. | Le origini |
| 47 | A. | I testi |
| 50 | B. | Interpretazione |
| 52 | 8. | Platone |
| 52 | A. | Il concetto di logica |
| 53 | B. | L'avvicinamento alle formule logiche |
| 55 | C. | La divisione |
| 60 | II. | Aristotele |
| 60 | 9. | L'opera di Aristotele e i suoi problemi storico-letterari |
| 60 | A. | Le opere |
| 61 | B. | I problemi |
| 65 | 10. | Il concetto di logica. La semiotica |
| 65 | A. | Nome e ruolo della logica |
| 66 | B. | L'oggetto della logica |
| 67 | C. | La sintassi |
| 69 | D. | La semantica |
| 71 | 11. | I Topici |
| 71 | A. | Oggetto e scopo |
| 74 | B. | I predicabili |
| 75 | C. | Le ‘categorie’ |
| 78 | D. | La sofistica |
| 81 | 12. | La teoria dell'opposizione, il principio di contraddizione, il principio del terzo escluso |
| 81 | A. | La teoria dell'opposizione |
| 84 | B. | L'obversione |
| 86 | C. | Il principo di contraddizione |
| 89 | D. | Il principio del terzo escluso |
| 90 | 13. | La sillogistica assertoria |
| 90 | A. | Il testo |
| 94 | B. | Interpretazione |
| 98 | C. | Struttura del sillogismo |
| 100 | D. | Le figure e gli ulteriori sillogismi |
| 103 | 14. | L'assiomatizzazione della sillogistica. Ulteriori leggi |
| 103 | A. | La teoria del sistema assiomatico |
| 106 | B. | I sistemi di sillogistica |
| 107 | C. | La dimostrazione diretta |
| 109 | D. | La dimostrazione indiretta |
| 109 | | Primo procedimento |
| 110 | | Secondo procedimento |
| 111 | | Applicazioni |
| 112 | E. | Il dictu de omni et nullo |
| 113 | F. | I preliminari di un sistema metalogico |
| 114 | G. | L'inventio medii |
| 115 | 15. | La logica modale |
| 115 | A. | Le modalità |
| 117 | B. | La struttura degli enunciati modali |
| 118 | C. | La negazione e la conversione |
| 120 | D. | I sillogismi |
| 123 | 16. | Leggi e regole non analitiche |
| 124 | A. | I due tipi di inferenza |
| 128 | B. | Le leggi della logica delle classi e della logica dei predicati |
| 129 | C. | La teoria dell'identità |
| 131 | D. | I sillogismi che si fondano su di un'ipotesi |
| 133 | E. | Leggi della logica delle relazioni |
| 136 | F. | Regole e leggi proposizionali |
| 137 | | Sommario |
| 138 | 17. | Teofrasto |
| 138 | A. | Sviluppo e alterazione di varie dottrine |
| 141 | B. | La logica modale |
| 143 | C. | I sillogismi ipotetici |
| 145 | III. | La scuola megarico-stoica |
| 145 | 18. | Esame storico |
| 145 | A. | Pensatori e scuole |
| 148 | B. | I problemi storico-letterari |
| 148 | C. | Origine e natura |
| 150 | 19. | Il concetto di logica. La semiotica. Le modalità |
| 150 | A. | La logica |
| 151 | B. | I lecta |
| 152 | C. | La sintassi |
| 155 | D. | La dottrina delle categorie |
| 156 | E. | La verità |
| 156 | F. | Le modalità |
| 158 | 20. | I funtori proposizionali |
| 158 | A. | La negazione |
| 159 | B. | L'implicazione |
| 159 | 1. | L'implicazione filoniana |
| 160 | 2. | L'implicazione diodorea |
| 161 | 3. | L'implicazione ‘connessiva’ |
| 162 | 4. | L'implicazione ‘inclusiva’ |
| 162 | C. | La disgiunzione |
| 162 | 1. | La disgiunzione completa |
| 163 | 2. | La disgiunzione incompleta |
| 164 | D. | La congiunzione |
| 165 | E. | 'equivalenza |
| 165 | F. | Altri funtori |
| 166 | 21. | Argomenti e schemi di inferenza |
| 166 | A. | Argomenti conclusivi, veri e dimostrativi |
| 168 | B. | Argomenti non sillogistici |
| 169 | C. | Uteriori tipi di argomento |
| 170 | D. | Schemi di inferenza |
| 171 | 22. | Assiomatizzazione. Argomenti composti |
| 171 | A. | Gli indimostrabili |
| 172 | B. | I metateoremi |
| 174 | C. | Derivazione di argmenti composti |
| 175 | D. | Ulteriori argomenti derivati |
| 176 | 23. | Il Mentitore |
| 177 | A. | Storia |
| 177 | B. | Formulazione |
| 178 | C. | Tentativi di soluzione |
| 181 | IV. | La fine dell'antichità |
| 181 | 24. | Il periodo dei commentari e dei manuali |
| 181 | A. | Caratteristiche ed esame storico |
| 182 | B. | L'albero di Porfirio |
| 182 | C. | Il perfezionamento della tecnica logica |
| 184 | 1. | Alessandro di Afrodisia |
| 185 | 2. | Boezio |
| 185 | D. | Nuova divisione dell'implicazione |
| 187 | E. | I sillogismi ipotetici di Boezio |
| 188 | F. | Alterazioni e sviluppo della sillogistica categorica |
| 190 | G. | La presunta quarta figura |
| 191 | H. | Il Pons asinorum |
| 193 | 1. | Anticipazione della logica delle relazioni |
| 194 | | Sommario |
| 197 | Parte terza | La forma scolastica di logica |
| 199 | 25. | Introduzione alla logica scolastica |
| 199 | A. | Stato della ricerca |
| 200 | B. | Periodi provvisori |
| 201 | C. | Il problema delle fonti |
| 202 | D. | La logiica e le scuole |
| 203 | E. | Il metodo |
| 204 | F. | Le caratteristiche |
| 205 | I. | I fondamenti semiotici |
| 205 | 26. | L'oggetto della logica |
| 205 | A. | I concetti fondamentalii della semiotica |
| 207 | B. | La logica come teoriaa delle seconde intenzioni |
| 210 | C. | La logica formale come teoria delle espressioni sincategorematiche |
| 213 | D. | Il contenuto delle opere |
| 217 | 27. | La supposizione |
| 217 | A. | Il concetto di supposizione |
| 219 | B. | Supposizione materiale e suposizione formale |
| 224 | C. | La supposizione semplice |
| 227 | D. | La supposizione personale |
| 229 | E. | Interpretazione in termini moderni |
| 230 | 28. | Ampliamento, appellazione e analogia |
| 230 | A. | L'ampliamento |
| 233 | B. | L'appellazione |
| 236 | C. | L'analogia |
| 238 | 29. | Struttura e senso delle proposizioni |
| 238 | A. | Divisione delle proposizioni |
| 239 | B. | L'analisi delle proposizioni |
| 241 | C. | Analisi delle proposizioni modali: dictum e modus |
| 244 | D. | Senso composto e senso diviso |
| 247 | E. | Significato delle proposizioni |
| 250 | II. | la logica proposizionale |
| 250 | 30. | Concetto e divisione delle conseguenze |
| 250 | A. | Esame storico |
| 252 | B. | La definizione di conseguenza |
| 253 | C. | Divisione delle conseguenze |
| 257 | D. | Il significato dell'implicazione |
| 260 | E. | La disgiunzione |
| 261 | 31. | Le conseguenze proposizionali |
| 261 | A. | Le proposizoni ipotetiche |
| 262 | B. | Kilwardby |
| 263 | C. | Alberto di Sassonia |
| 270 | D. | Paolo Veneto |
| 273 | E. | Regole delle conseguenze ut nunc |
| 276 | III. | La logica dei termini |
| 276 | 32. | La sillogistica assertoria |
| 276 | A. | Le prime espressioni mnemoniche |
| 278 | B. | Barbara-Celarent |
| 282 | C. | Barbari-Celaront |
| 283 | D. | La quarta figura |
| 283 | 1. | Vincenzo Ferreri |
| 284 | 2. | In Albalag |
| 287 | E. | Il metodo combinatorio |
| 287 | F. | Inventio medii, pons asinorum |
| 290 | G. | I problema della classe vuota |
| 291 | 1. | Vincenzo Ferreri |
| 292 | 2. | Paolo Veneto |
| 293 | 3. | Giovanni da San Tommaso |
| 294 | 33. | La sillogistica modale |
| 294 | A. | Alberto Magno |
| 295 | B. | Lo Pseudo-Scoto |
| 298 | C. | Guglielmo di Ockham |
| 301 | D. | La logica delle proposizioni al futuro e al passato |
| 303 | 34. | Altre formule |
| 304 | A. | I sillogismi con termini singolari |
| 306 | B. | Analisi di ‘ogni&rs1uo; e di ‘qualche’ |
| 308 | C. | Le proposizioni esponibili |
| 310 | D. | I sillogismi obliqui |
| 311 | 35. | Le antinomie |
| 311 | A. | Sviluppo |
| 313 | B. | Formuazione delle antinomie |
| 313 | 1. | Il Mentitore |
| 314 | 2. | Altre antinomie |
| 316 | C. | Le soluzioni |
| 316 | 1. | Le prime dodici soluzioni |
| 320 | 2. | La tredicesima soluzione |
| 322 | 3. | La quattordicesima soluzione |
| 323 | 4. | Preliminari alla soluzione di Paolo Veneto |
| 326 | 5. | La soluzione di Paolo Veneto |
| 328 | | Sommario |
| 331 | Parte quarta | Il periodo di transizione |
| 333 | 36. | La logica ‘classica’ |
| 333 | A. | L'umanesimo |
| 336 | B. | Il contenuto |
| 337 | C. | Lo psiicologismo |
| 338 | D. | Leibniz |
| 338 | E. | Comprensione ed estensione |
| 339 | F. | La quarta figura e i modi subalterni |
| 341 | G. | I diagrammi sillogistici |
| 341 | H. | a quantificazione del predicato |
| | Volume II | La logica matematica |
| 331 | Parte quinta | La forma matematica di logica |
| 347 | I. | Fondamenti generali |
| 347 | 37. | Introduzione alla logica matematica |
| 347 | A. | Caratteristiche |
| 348 | B. | Cronologia |
| 349 | C. | Frege |
| 350 | D. | I periodi |
| 352 | E. | Stato della ricerca |
| 353 | F. | Il metodo |
| 354 | 38. | I metodi della logica matematica |
| 354 | A. | Il calcolo logico |
| 354 | 1. | Lullo |
| 356 | 2. | Hobbes |
| 356 | 3. | Leibniz |
| 359 | 4. | Lambert |
| 360 | 5. | Gergonne |
| 361 | 6. | Boole |
| 363 | 7. | Peirce |
| 364 | B. | La teoria della dimostrazione |
| 364 | 1. | Bolzano |
| 366 | 2. | Frege |
| 369 | C. | La metalogica |
| 372 | 39. | Il concetto di logica |
| 372 | A. | La posizione logicistica |
| 373 | 1. | Frege: la semantica |
| 375 | 2. | Frege: logica e matematica |
| 377 | 3. | Russell |
| 378 | 4. | Frege: il numero |
| 380 | B. | Il formalismo |
| 381 | C. | L'intuizionismo |
| 385 | II. | Il primo periodo |
| 385 | 40. | Il calcolo booleano |
| 385 | A. | De Morgan |
| 387 | B. | Boole |
| 388 | 1. | Il simbolismo e i concetti fondamentali |
| 391 | 2. | Applicazioni |
| 393 | C. | La somma logica |
| 395 | D. | L'inclusione |
| 398 | E. | Peano |
| 399 | III. | La logica proposizionale |
| 399 | 41. | La logica proposizionale: concetti fondamentali e simbolismo |
| 399 | A. | Boole |
| 402 | B. | McColl |
| 403 | C. | Frege |
| 403 | 1. | Contenuto e giudizio |
| 404 | 2. | L'implicazione |
| 406 | D. | Peirce |
| 408 | E. | Applicazioni del proprio simbolismo da parte di Frege |
| 409 | F. | Negazione e somma di Frege |
| 411 | G. | Il simbolismo logico-proposizionale di Peano |
| 413 | H. | Sviluppi posteriori del simbolismo logico-proposizionale |
| 414 | 42. | Funzioni, variabili, valori di verità |
| 415 | A. | La forma logica |
| 416 | B. | Il concetto di funzione: Frege |
| 418 | C. | Le funzioni proposizionali: Russell |
| 420 | D. | Funzioni di più argomenti |
| 422 | E. | La variabile |
| 422 | 1. | Frege |
| 423 | 2. | Russell |
| 424 | F. | I valori di verità |
| 428 | G. | Le matrici di verità |
| 428 | 1. | Peirce |
| 430 | 2. | Wittgenstein |
| 432 | H. | La procedura di decisione di Łukasiewicz |
| 434 | 43. | La logica proposizionale come sistema |
| 435 | A. | McColl |
| 437 | B. | Le regole d'inferenza di Frege |
| 439 | C. | Leggi proposizionali tratte dal Begriffsschrift |
| 442 | D. | Whitehead e Russell |
| 442 | 1. | Simboli primitivi e definizioni |
| 443 | 2. | Assiomi (proposizioni primitive) |
| 444 | 3. | Formulazione delle dimostrazioni |
| 445 | 4. | Leggi |
| 448 | E. | Il funtore di Sheffer |
| 450 | F. | La formulazione delle dimostrazioni in Łukasiewicz |
| 451 | IV. | La logica dei termini |
| 451 | 44. | La logica dei predicati |
| 452 | A. | I quantificatori |
| 452 | 1. | Mitchell |
| 453 | 2. | Peirce |
| 454 | 3. | Peano |
| 455 | 4. | Frege |
| 459 | B. | Le variabili apparenti |
| 459 | 1. | Peano |
| 460 | 2. | Whitehead e Russell |
| 461 | C. | L'implicazione formale |
| 462 | D. | Leggi dei predicati con un argomento |
| 464 | E. | Leggi dei predicati con piú argomenti |
| 465 | F. | L'identità |
| 468 | 45. | La logica delle classi |
| 468 | A. | Individuo e classe. Il concetto di apparenza |
| 469 | B. | Intensione ed estensione |
| 472 | C. | L'articolo plurale |
| 473 | D. | Definizioni di classi mediante funzioni |
| 474 | E. | Prodotto e inclusione di classi |
| 475 | 46. | L'esistenza |
| 475 | A. | La classe vuota |
| 476 | B. | La classe vuota sillogistica assertoria |
| 478 | C. | Le descrizioni |
| 478 | 1. | L'articolo definito: Frege |
| 480 | 2. | L'esistenza logica |
| 482 | 3. | Le descrizioni di Russell |
| 485 | 4. | Il simbolismo |
| 487 | V. | Altre dottrine |
| 487 | 47. | La logica delle relazioni |
| 487 | A. | I fondamenti |
| 487 | 1. | De Morgan |
| 490 | 2. | Peirce |
| 493 | 3. | Russell |
| 493 | 4. | Principia |
| 499 | B. | Le successioni |
| 500 | 1. | Frege |
| 501 | 2. | Principia |
| 502 | C. | L'isomorfia |
| 503 | 48. | Antinomie e teorie dei tipi |
| 503 | A. | Esame storico |
| 504 | B. | Le antinomie |
| 507 | C. | Anticipazione della teoria dei tipi |
| 510 | D. | La teoria ramificata dei tipi |
| 514 | E. | L'ambiguità sistematica |
| 516 | F. | L'assioma di riducibilità |
| 518 | G. | La teoria dei tipi semplici |
| 518 | 1. | Chwistek |
| 519 | 2. | Ramsey |
| 522 | 49. | Alcune dottrine recenti |
| 522 | A. | L'implicazione rigida: Lewis |
| 526 | B. | Le logiche a più valori: Łukasiewicz |
| 528 | C. | Il teorema di Gödel |
| 533 | | Sommario |
| 535 | Parte sesta | La forma indiana di logica |
| 537 | 50. | Introduzione alla logica indiana |
| 537 | A. | Esame storico |
| 539 | B. | L'evoluzione della logica formale |
| 540 | C. | Stato della ricerca |
| 542 | D. | Il metodo |
| 543 | 51. | I precursori |
| 543 | A. | Il Milinda-pañha |
| 543 | B. | Il Kathāvatthu |
| 546 | C. | La formula dai dieci membri |
| 548 | 52. | Il Vaiśeṣika-sūtra e il Nyāya-sūtra |
| 548 | A. | Il Vaiśeṣika-sūtra |
| 548 | 1. | La dottrina delle categorie |
| 549 | 2. | L'inferenza |
| 550 | B. | Il Nyāya-sūtra |
| 550 | 1. | Il testo |
| 552 | 2. | Il commentario di Vātsyāyana |
| 554 | 3. | Interpretazione |
| 556 | 53. | La nascita della logica formale |
| 556 | A. | Le principali tappe di sviluppo |
| 557 | B. | La terminologia |
| 557 | C. | Il sillogismo dai tre membri |
| 560 | D. | La regola dai tre membri: trairūpya |
| 561 | E. | La ruota delle ragioni: hetu-cakra |
| 563 | F. | ‘Eva’ |
| 563 | G. | la connessione universale |
| 565 | H. | La forma finale della dottrina |
| 565 | 1. | Il testo |
| 566 | 2. | Interpretazione |
| 567 | 54. | Alcune dottrine logiche |
| 567 | A. | L'apoha |
| 568 | B. | Definizioni della vyāpti |
| 570 | C. | Alcuni concetti fondamentali |
| 572 | D. | LA legge della doppia negazione |
| 573 | E. | Logica delle relazioni, definizione di numero |
| 577 | | Riferimenti bibliografici |
| 595 | | Bibliografia |
| 599 | 1. | Problemi generali |
| 605 | 2. | La forma greca di logica |
| 624 | 3. | La forma scolastica di logica |
| 653 | 4. | I periodo di transizione |
| 661 | 5. | La forma matematica di logica |
| 704 | 6. | la forma indiana di logica |
| 717 | | Indice dei nomi |
| 723 | | Indice dei simboli logici |
| 725 | | Indice delle parole e delle lettere mnemoniche |
| 727 | | Indice analitico |
| | | _ |