INDICE: |
| 1 | | [collana] |
| 3 | | [frontespizio] |
| 4 | | [copyright] |
| 5 | | Indice |
| 7 | | Introduzione |
| 13 | 1 | Aspetti dello sviluppo storico della logica |
| | 1.1 | Logica antica. |
| | 1.2 | Logica medioevale. |
| | 1.3 | Umanesimo e Rinascimento scientifico. La logica secondo Cartesio, Bacone, Galileo. |
| | 1.4 | La «characteristica universalis» di Leibniz e logica matematica. |
| 19 | 2 | Il calcolo delle proposizioni |
| | 2.1 | Le proposizioni nella logica bivalente. |
| | 2.2 | Operazioni sulle proposizioni e loro proprietà. |
| | 2.3 | Regole di deduzione. |
| | 2.4 | Legge delle inverse. Considerazioni sulle condizioni necessarie e sufficienti. Dimostrazioni per assurdo. |
| | 2.5 | Forme normali. |
| | 2.6 | Principio di dualità. |
| | 2.7 | «Entscheidungsproblem» secondo Hilbert. |
| | 2.8 | Teorema dello Pseudo Scoto ed applicazioni relative. |
| | 2.9 | Risoluzione del problema di Leibniz nel calcolo delle proposizioni. |
| | 2.10 | Equazioni logiche. |
| | 2.11 | Cenni sulla sistemazione assiomatica del calcolo delle proposizioni. |
| 58 | 3 | Il calcolo delle classi e la sillogistica |
| | 3.1 | Preliminari sulle classi. |
| | 3.2 | Operazioni sulle classi e loro proprietà. |
| | 3.3 | Forme tipiche dei giudizi nella logica aristotelica. Regole della conversione. |
| | 3.4 | Sillogismi. |
| | 3.5 | Equazioni logiche. |
| 87 | 4 | Logica matematica ed algebra astratta |
| | 4.1 | Due aspetti della logica matematica. |
| | 4.2 | Reticoli, proposizioni e classi, algebra di Boole. |
| | 4.3 | Il problema delle relazioni fra logica matematica ed algebra astratta. |
| 96 | 5 | Calcolo dei predicati o delle relazioni |
| | 5.1 | Preliminari. |
| | 5.2 | Calcolo dei predicati del primo ordine, con riferimento ad un certo universo. |
| | 5.3 | Modello in un universo finito. |
| | 5.4 | Equazioni logiche con particolare riferimento al calcolo dei predicati del primo ordine in un universo finito. |
| | 5.5 | Quantificazione uniforme. |
| | 5.6 | Cenni sulla sistemazione assiomatica del calcolo dei predicati del primo ordine e sui relativi risultati metateorici. |
| | 5.7 | Cenni sul calcolo dei predicati del secondo ordine e di ordine superiore. |
| 120 | 6 | Antiche e nuove logiche |
| | 6.1 | Preliminari. |
| | 6.2 | Diverse logiche nel pensiero antico. |
| | 6.3 | La logica trivalente nella filosofia medioevale. |
| | 6.4 | Nuove logiche nel pensiero moderno. |
| | 6.5 | Logica trivalente. |
| | 6.6 | Altre logiche polivalenti. |
| | 6.7 | Considerazioni sul significato filosofico delle nuove logiche. |
| 136 | 7 | Linguaggi ideografici della logica |
| | 7.1 | I simboli nel progresso della scienza. |
| | 7.2 | Sguardo panoramico ai simbolismi logici ora in uso, e problema della loro unificazione. |
| | 7.3 | Linguaggi, metalinguaggi e pensiero razionale. |
| 142 | | Suggerimenti riguardanti problemi proposti |
| 147 | | Bibliografia |
| 151 | | Indice analitico |
| 152 | | [tipografia] |
| 152 | | _ |
| 152 | | ___ |