S. Galvan, Logica, La Scuola, Brescia 2012. Un volume di pp. 308

[Ita:]L’analisi dell’opera di Sergio Galvan sintetizza i principali temi di logica contemporanea ivi trattati, mostrandone la lineare correlazione e i progressivi approfondimenti. Evidenzia come la parte introduttiva, dopo un inquadramento storico esauriente, illustri il significato e la portata degli sviluppi logici più recenti. Mette a fuoco la struttura dimostrativa e le conseguenze dei principali metateoremi semantici, i rapporti tra formalità e finitarietà e i limiti dell’assiomatizzabilità delle teorie. Sottolinea, infine, la ricorrente presenza di osservazioni filosofiche, che arricchiscono l’opera di contributi originali.