Sergio Galvan, Introduzione alle logiche filosofiche I: Estensioni della logica proposizionale classica, Pubblicazioni dell’I.S.U. - Università Cattolica, Milano 1985. Un volume di pp. 257

L’analisi dell’opera di Sergio Galvan delinea, distingue e correla i contenuti delle tre parti in cui il volume è suddiviso: logica proposizionale classica; logiche modali e deontiche; logiche epistemiche. Di queste logiche presenta sinteticamente la sintassi e la semantica, evidenziando in particolare come la semantica della logica proposizionale classica si appoggi su presupposti realistici, mentre quella delle altre logiche considerate risulti più articolata e complessa, essendo relazionale. Sottolinea inoltre il significato e l’importanza dei teoremi di correttezza e di completezza, di cui viene fatto rimarcare il carattere metateorico. Infine mette in risalto i frequenti argomenti e riferimenti di carattere filosofico, che chiariscono, completano e approfondiscono i temi trattati.