Lineamenti di logica matematica

Description

Logico e filosofo della matematica italiano (Smarano 1933 - Firenze 2019); prof. di filosofia della scienza presso l'Università di Firenze dal 1967, dal 1998 al 2006 ha insegnato presso la Scuola normale superiore di Pisa, dove successivamente è stato professore emerito. Indirizzato agli studi logici da L. Geymonat, completò la sua formazione logica e filosofico-matematica presso l'Università di Münster. C. ha ricoperto un ruolo di rilievo nella rinascita della logica matematica in Italia (poco coltivata dopo la morte di G. Peano), contribuendo a introdurre gli sviluppi e i risultati più importanti della disciplina. Autore di numerosi articoli su riviste italiane e straniere (da segnalare in partic. quelli dedicati alla logica dei comparativi e alle teorie logiche di B. Bolzano), ha inoltre pubblicato: Logica dei predicati (1957); Lineamenti di logica matematica (1959); Questioni di filosofia della matematica (1964); Introduzione alla logica (1997); La matematica della verità. Strumenti matematici della semantica logica (2006); Bolzano’s logical system (2016). eC001 eC003_1L eC003_2R eC004_1L eC004_2R eC005_1L eC005_2R eC006_1L eC006_2R eC007_1L eC007_2R eC008_1L eC008_2R eC009_1L eC009_2R eC010_1L eC010_2R eC011_1L eC011_2R eC012_1L eC012_2R eC013_1L eC013_2R eC014_1L eC014_2R eC015_1L eC015_2R eC016_1L eC016_2R eC017_1L eC017_2R eC018_1L eC018_2R eC019_1L eC019_2R eC020_1L eC020_2R eC021_1L eC021_2R eC022_1L eC022_2R eC023_1L eC023_2R eC024_1L eC024_2R eC025_1L eC025_2R eC026_1L eC026_2R eC027_1L eC027_2R eC028_1L eC028_2R eC029_1L eC029_2R eC030_1L eC030_2R eC031_1L eC031_2R eC032_1L eC032_2R eC033_1L eC033_2R eC034_1L eC034_2R eC035_1L eC035_2R eC036_1L eC036_2R eC037_1L eC037_2R eC038_1L eC038_2R eC039_1L eC039_2R eC040_1L eC040_2R eC041_1L eC041_2R eC042_1L eC042_2R eC043_1L eC043_2R eC044_1L eC044_2R eC045_1L eC045_2R eC046_1L eC046_2R eC047_1L eC047_2R eC048_1L eC048_2R eC049_1L eC049_2R eC050_1L eC050_2R eC051_1L eC051_2R eC052_1L eC052_2R eC053_1L eC053_2R eC054_1L eC054_2R eC055_1L eC055_2R eC056_1L eC056_2R eC057_1L eC057_2R eC058_1L eC058_2R eC059_1L eC059_2R eC060_1L eC060_2R eC061_1L eC061_2R eC062_1L eC062_2R eC063_1L eC063_2R eC064_1L eC064_2R eC065_1L eC065_2R eC066_1L eC066_2R eC067_1L eC067_2R eC068_1L eC068_2R eC069_1L eC069_2R eC070_1L eC070_2R eC071_1L eC071_2R eC072_1L eC072_2R eC073_1L eC073_2R eC074_1L eC074_2R eC075_1L eC075_2R eC076_1L eC076_2R eC077_1L eC077_2R eC078_1L eC078_2R eC079_1L eC079_2R eC080_1L eC080_2R eC081_1L eC081_2R eC082_1L eC082_2R eC083_1L eC083_2R eC084_1L eC084_2R eC085_1L eC085_2R eC086_1L eC086_2R eC087_1L eC087_2R eC088_1L eC088_2R eC089_1L eC089_2R eC090_1L eC090_2R eC091_1L eC091_2R eC092_1L eC092_2R eC093_1L eC093_2R eC094_1L eC094_2R eC095_1L eC095_2R eC096_1L eC096_2R eC097_1L eC097_2R eC098_1L eC098_2R eC099_1L eC099_2R eC100_1L eC100_2R eC101_1L eC101_2R eC102_1L eC102_2R eC103_1L eC103_2R eC104_1L eC104_2R eC105_1L eC105_2R eC106_1L eC106_2R eC107_1L eC107_2R eC108_1L eC108_2R eC109_1L eC109_2R eC110_1L eC110_2R eC111_1L eC111_2R eC112_1L eC112_2R eC113_1L eC113_2R eC114_1L eC114_2R eC115_1L eC115_2R eC116_1L eC116_2R eC117_1L eC117_2R eC118_1L eC118_2R eC119_1L eC119_2R eC120_1L eC120_2R eC121_1L eC121_2R eC122_1L eC122_2R eC123_1L eC123_2R eC124_1L eC124_2R eC125_1L eC125_2R eC126_1L eC126_2R eC127_1L eC127_2R eC128_1L eC128_2R eC129_1L eC129_2R eC130_1L eC130_2R eC131_1L eC131_2R eC132_1L eC132_2R eC133_1L eC133_2R eC134_1L eC134_2R eC135_1L eC135_2R eC136_1L eC136_2R eC137_1L eC137_2R eC138_1L eC138_2R eC139_1L eC139_2R eC140_1L eC140_2R eC141_1L eC141_2R eC142_1L eC142_2R eC143_1L eC143_2R eC144_1L eC144_2R eC145_1L eC145_2R eC146_1L eC146_2R eC147_1L eC147_2R eC148_1L eC148_2R eC149_1L eC149_2R eC150_1L eC150_2R eC151_1L eC151_2R eC152_1L eC152_2R eC153_1L eC153_2R eC154_1L eC154_2R eC155_1L eC155_2R eC156_1L eC156_2R eC157_1L eC157_2R eC158_1L eC158_2R eC159_1L eC159_2R eC160_1L eC160_2R eC161_1L eC161_2R eC162_1L eC162_2R eC163