| 0.03 | | [collana] |
| 0.04 | | [esergo] |
| 0.05 | | [frontespizio] |
| 0.07 | | Indice |
5547;1963 | 0.11 | | Premessa del curatore [ di Amedeo Giovanni Conte ] |
| 0.13 | 0. | Introduzione. |
| 0.16 | 1. | Il libro tradotto |
| 0.16 | 1.1. | Il libro. |
| 0.19 | | Integrazione bibliografia |
| 0.19 | I. | Integrazione della metabibliografia. |
| 0.19 | II. | Integrazione della bibliografia. |
| 0.22 | 1.2. | Gli autori. |
| 0.23 | 1.2.1. | William Calvert Kneale. |
| 0.27 | 1.2.2. | Marth Kneale. |
| 0.28 | 2. | La traduzione. |
| 0.29 | 2.1. | Il rapporto tra originale inglese e traduzione italiana. |
| 0.29 | | Modificazioni nelle note. |
| 0.29 | | Modificazioni nel testo. |
| 0.30 | | Integrazioni. |
| 0.30 | | Omissioni. |
| 0.30 | 2.2. | I criteri della traduzione. |
| 0.30 | 2.2.1. | La tradizione delle traduzioni. |
| 0.33 | 2.2.2. | Avvertenza terminologica. |
| 0.39 | | Prefazioni di William Calvert Kneale alle edizioni originali |
;1962 | 0.41 | | Prefazione alla prima edizione inglese |
;1966 | 0.43 | | Prefazione alla terza edizione inglese |
;1968 | 0.44 | | Prefazione alla quarta edizione inglese (1968) |
;1972 | 0.45 | | Prefazione alla quinta edizione inglese (1972) |
| 0.46 | | ___ |
| 3 | Capitolo primo. | Gli inizi |
| 1 | | [titolo] |
| 5 | 1. | Il concetto di validità |
| 8 | 2. | La dimostrazione in geometria |
| 13 | 3. | La dialettica ed il ragionamento metafisico |
| 19 | 4. | Eristica e sofistica |
| 25 | 5. | Platone e la filosofia della logica |
| 31 | Capitolo secondo. | L'Organon di Aristotele |
| 33 | 1. | Il contenuto dell'Organon |
| 36 | 2. | La dottrina delle Categoriae e le sue conseguenze logiche |
| 45 | 3. | I Topica |
| 58 | 4. | La teoria aristotelica del significato e della verità |
| 69 | 5. | Le quattro forme d'asserto generale |
| 83 | 6. | La dottrina del sillogismo |
| 100 | 7. | La logica modale di Aristotele |
| 116 | 8. | Logica non-sillogistica negli Analytica |
| 121 | 9. | La scuola di Aristotele: Teofrasto |
| 129 | Capitolo terzo. | I megarici e gli stoici |
| 131 | 1. | La filosofia megarica e le origini della logica stoica |
| 142 | 2. | Teorie megariche e teorie stoiche della modalità |
| 154 | 3. | Il dibattito sulla natura dei condizionali |
| 166 | 4. | La teoria stoica del significato e della verita |
| 189 | 5. | Il sistema stoico degli schemi d'inferenza |
| 209 | Capitolo quarto. | Logica romana e logica medioevale |
| 211 | 1. | Da Cicerone a Boezio |
| 234 | 2. | Da Alcuino ad Abelardo |
| 263 | 3. | La logica delle università |
| 286 | 4. | Le proprietates terminorum |
| 317 | 5. | Le consequentiae |
| 341 | Capitolo quinto. | La logica dopo il Rinascimento |
| 343 | 1. | L'Umanesimo e la nascita della scienza naturalee |
| 367 | 2. | Gli interessi di Leibniz |
| 384 | 3. | Il Calculus de continentibus et contentis di Leibniz |
| 394 | 4. | Da Saccheri a Hamilton |
| 409 | 5. | Bolzano e Mill |
| 431 | Capitolo sesto. | L'astrazione matematica |
| 433 | 1. | Geometria e assiomatica |
| 445 | 2. | Numeri e funzioni |
| 460 | 3. | Boole e l'algebra della logica |
| 478 | 4. | Ulteriori sviluppi dell'algebra di Boole |
| 486 | 5. | La teoria delle relazioni: De Morgan e Peirce |
| 495 | Capitolo settimo. | Numeri, insiemi, serie |
| 497 | 1. | Frege ed i suoi contemporanei |
| 501 | 2. | La teoria cantoriana degli insiemi |
| 507 | 3. | L'atteggiamento di Frege nei confronti dei suoi predecessori |
| 521 | 4. | Le definizioni fregeane dei numeri naturali |
| 534 | 5. | La serie dei numeri: dedekind e Peano |
| 545 | Capitolo ottavo. | La logica generale di Frege |
| 547 | 1. | La Begriffsschrift |
| 564 | 2. | Senso e referenza: oggetti e funzioni |
| 575 | 3. | La logica dei Grundgesetze |
| 583 | 4. | Le conquiste di Frege |
| 587 | Capitolo nono. | Sviluppi formali dopo Frege |
| 589 | 1. | Varietà dei simbolismi |
| 602 | 2. | Metodi di presentazione: assiomi e regole |
| 618 | 3. | Deduzione naturale e sviluppo |
| 630 | 4. | La logica modale |
| 652 | 5. | Proposte di logiche alternative |
| 661 | Capitolo decimo. | La filosofia della logica dopo Frege |
| 663 | 1. | Espressione, designazione, verità |
| 682 | 2. | La teoria delle descrizioni e la varietà delle designazioni |
| 691 | 3. | I problemi dell'intensionalità |
| 709 | 4. | Identità, funzioni, classi |
| 720 | 5. | Necessità e linguaggio |
| 745 | Capitolo undicesimo. | La filosofia della matematica dopo Frege |
| 747 | 1. | I paradossi della teoria degli insiemi |
| 753 | 2. | La teoria russelliana dei tipi logici |
| 770 | 3. | L'intuizionismo brouweriano |
| 780 | 4. | Il programma hilbertiano della metamatematica |
| 789 | Capitolo dodicesimo. | La teoria dei sistemi deduttivi |
| 791 | 1. | La metateoria della logica primaria |
| 805 | 2. | La metateoria della logica generale |
| 817 | 3. | L'incompletabilità dell'aritmetica formale |
| 830 | 4. | Il problema della decisione |
| 844 | 5. | Il posto della logica fra le scienze |
| 851 | | Bibliografia selettiva |
| 865 | | Indice analitico |
| 873 | | Indice dei nomi |
| 880 | | _ |
| 882 | | [tipografia] |
| 883 | | [collana.lista] |
| 886 | | ___ |