[i][c]
Agazzi, Evandro
La logica simbolica
Editrice La Scuola
[Analisi e Sintesi 7]
Brescia 1964
Cover
#logica #logica:simbolica
ig01#logica
ig02#logica



  [i][c] INDICE:
5[collana]
7[frontespizio]
8[colophon]
9[dedica]
11Indici
15Prefazione
Parte primaAmbito e caratteri della ricerca logica
            Ⅰ.Il problema della conoscenza mediata
27                  1.La logica come esplicitazione e fissazione dei modi del ragionare corretto
36                  2.Punto di vista della correttezza e punto di vista della verità in un discorso dimostrativo
41            Ⅱ.Le struttura formali della deduzione
41                  3.L'emergere del passo di vista formale e di quello simbolico
48                  4.Il posso di vista formale come anima costante della logica
      Parte secondaMomenti di storia della logica
57            Ⅲ.Dalla logica formale alla logica matematica
57                  5.Questioni preliminari alla storia della logica
71                  6.La logica aristotelica
85            Ⅳ.Gli sviluppi dell'impostazione simbolica
85                  7.L'opera di Leibniz e la nascita della logica matematica
97                  8.La ripresa ottocentesca della logica matematica e l'opera di Boole
108                  9.Sviluppi della logica matematica ottocentesca dopo Boole
115                  10.Il nuovo indirizzo della logica matematica: Frege, Peano, Russell
135            Ⅴ.Lo stato attuale delle ricerche logiche
135                  11.Il problema dei «fondamenti della matematica»
151                  12.La moderna assiomatica e i suoi problemi
157                  13.Le ricerche metalogiche
161                  14.Gli indirizzi recentissimi della ricerca logico-matematica
170                  15.Conclusioni
      Parte terzaPresentazione di sistemi simbolici
177            Ⅵ.Introduzione ai calcoli logici
177                  16.Alcune nozioni preliminari
183                  17.Il problema della assiomatizzazione della logica
193            Ⅶ.Il calcolo proposizionale
193                  18.Elementi costitutivi della logica proposizionale
198                  19.Le funzioni di verità
205                  20.Definizioni di altre costanti logiche
215                  21.L'analisi delle proposizioni mediante i valori di verità
225                  22.Il problema della decisione
228                  23.La deduzione al livello logico proposizionale
242                  24.Il calcolo proposizionale esposto in forma assiomatica pura
255            Ⅷ.Il calcolo dei predicati del primo ordine
255                  25.Nuovi elementi della teoria logica
260                  26.Esposizione assiomatica del calcolo dei predicati
268                  27.Un primo abbozzo di interpretazione del calcolo dei predicati
      Parte quartaQuestioni metateoriche
279            Ⅸ.Coerenza, completezza eindipendenza di un sistema assiomatico
279                  28.I fondamenti problemi metateorici per un sistema assiomatico
285                  29.Prova sintattica di coerenza del calcolo proposizionale
289                  30.Prova dell'indipendenza degli assiomi del calcolo proposizionale
291                  31.Prova di completezza sintattica degli assiomi del calcolo proposizionale
297                  32.Inizio di un ampliamento del discorso
299            Ⅹ.La logica e la verità
299                  33.Il problema dei nessi fra sintassi e semantica
304                  34.I teoremi di validità e completezza semantica
315                  35.Il problema della decisione
      Parte quintaComplementi
321            ⅩⅠ.La deduzione ipotetica e il teorema di deduzione
321                  36.La deduzione ipotetica
325                  37.Il teorema di deduzione
331            ⅩⅡ.Acceenni ad altri calcoli logici
331                  38.La deduzione naturale
336                  39.Il calcolo dei predicati del secondo ordine
338                  40.Altri sistemi logici
      Conclusioni
343            ⅩⅢ.Ripresa sintetica dei punti di vista raggiunti
343                  41.La logica come scienza
357                  42.Valutazione dei fondamentali risultati metateorici
368                  43.Significato dei teoremi di limitazione relativi ai formalismi
378                  44.Valutazioni conclusive sulla logica simbolica
387Bibliografia
393Indice analitico
395Indice dei nomi
396_
398___

 
 [i][c] CRONOLOGIA:
 
 
1600 1600 1700 1700 1800 1800 1900 1900 2000 2000 1650 1750 1850 1950 2050 Agazzi, Evandro ( 1934.1023 - ) http://www.dif.unige.it/epi/hp/agazzi/ Agazzi, Evandro Bontadini, Gustavo ( 1903.0327 - 1990.0412 ) https://it.wikipedia.org/wiki/Gustavo_Bontadini Bontadini, Gustavo Manara, Carlo Felice ( 1916.0331 - 2011.0504 ) https://it.wikipedia.org/wiki/Carlo_Felice_Manara Manara, Carlo Felice von Leibniz, Gottfried Wilhelm ( 1646.0601 - 1716.1114 ) https://en.wikipedia.org/wiki/Gottfried_Wilhelm_Leibniz von Leibniz, Gottfried Wilhelm Boole, George ( 1815.1102 - 1864.1208 ) https://it.wikipedia.org/wiki/George_Boole Boole, George Frege, Friedrich Ludwig Gottlob ( 1848.1108 - 1925.0726 ) https://it.wikipedia.org/wiki/Gottlob_Frege Frege, Friedrich Ludwig Gottlob Peano, Giuseppe ( 1858.0827 - 1932.042 ) https://en.wikipedia.org/wiki/Giuseppe_Peano Peano, Giuseppe Russell, Bertrand Arthur William (Earl Russell, 3rd) ( 1872.0518 - 1970.0202 ) https://en.wikipedia.org/wiki/Bertrand_Russell Russell, Bertrand Arthur William (Earl Russell, 3rd) 1546.0601 4219.0224 1964



Generato il giorno: 2019-02-24T01:44:30+01:00 (Unix Time: 1550969070)
Precedente aggiornamento il giorno:0
Prima registrazione il giorno: 2019.0224
Aggiornato una volta


Dimensione approssimata della pagina: 33001 caratteri (body: 31590)


Versione: 1.0.35