Carruccio, Ettore
Mondi della logica
Zanichelli Editore
[Matematica Moderna 9]
Bologna 1980.01
Cover

#matematica #logica
ig01#matematica
ig02#matematica ig02#logica


INDICE:
1[collana]
3[frontespizio]
4[copyright]
5Indice
7Introduzione
131Aspetti 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.
192Il 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.
583Il 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.
874Logica 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.
965Calcolo 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.
1206Antiche 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.
1367Linguaggi 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.
142Suggerimenti riguardanti problemi proposti
147Bibliografia
151Indice analitico
152[tipografia]
152_
152___


CRONOLOGIA:
1200 1200 1300 1300 1400 1400 1500 1500 1600 1600 1700 1700 1800 1800 1900 1900 2000 2000 1250 1350 1450 1550 1650 1750 1850 1950 2050 Carruccio, Ettore ( 1908.0603 - 1980.0705 ) opera Sala, Paolo ( - ) opera Felici, Laura ( - ) opera Stamperia Artistica Nazionale, ( - ) Descartes, Renè ( 1596.0331 - 1650.0211 ) Bacone, Francesco ( 1561.10122 - 1626.0409 ) Galilei, Galileo ( 1564.0215 - 1642.0108 ) von Leibniz, Gottfried Wilhelm ( 1646.0601 - 1716.1114 ) Hilbert, David ( 1862.0123 - 1943.0214 ) Giovanni Duns Scoto, ( 1265 - 1308 ) Boole, George ( 1815.1102 - 1864.1208 ) 1165 3817 1980.01 opera opera https://it.wikipedia.org/wiki/Ettore_Carruccio https://en.wikipedia.org/wiki/Ren%C3%A9_Descartes https://en.wikipedia.org/wiki/Francis_Bacon https://it.wikipedia.org/wiki/Galileo_Galilei https://en.wikipedia.org/wiki/Gottfried_Wilhelm_Leibniz https://en.wikipedia.org/wiki/David_Hilbert https://it.wikipedia.org/wiki/Duns_Scoto https://it.wikipedia.org/wiki/George_Boole


Generato il giorno: 2017-11-25T15:16:47+01:00 (Unix Time: 1511619407)
Precedente aggiornamento il giorno:2017.1125
Prima registrazione il giorno: 2017,0208
Aggiornato 14 volte


Dimensione approssimata della pagina: 19330 caratteri (body: 18201)


Versione: 1.0.22