Logica - Una Guida alla Logica Simbolica Pensata e Scritta Veramente per Tutti

Esistono già ottimi manuali introduttivi alla logica, ma tutti, anche i più elementari, presuppongono nozioni matematiche, o almeno una mentalità matematica. Hodges parte invece dall'analisi logica del linguaggio quotidiano e inizia gradualmente il lettore all'arte sottile della traduzione di enunciati italiani in formule simboliche.
La tecnica dei tableaux, che permette di visualizzare la struttura degli enunciati, fornisce il criterio per stabilire se un insieme di enunciati e consistente e se un'argomentazione è valida e introduce agevolmente a connettivi e quantificatori.
Il passo successivo è la formalizzazione, che costituisce il decisivo progresso compiuto dalla logica del Novecento rispetto a quella tradizionale in quanto consente di concepire la logica come una teoria matematica e di indagarne le proprietà astratte. In questo contesto vengono trattati i due calcoli logici fondamentali, quello preposizionale e quello predicativo, e ne vengono illustrate alcune caratteristiche metamatematiche.
infine l'autore considera la possibilità di estendere l'analisi logica a nozioni come quelle di probabilità, necessità, credenza ecc., lasciando intravedere il potenziale di chiarificazione filosofica che gli strumenti logici sono in grado di offrire.
Conclude l'edizione italiana un'appendice (ancora inedita in inglese) sui fondamenti logici del PROLOG, uno dei più recenti e sofisticati linguaggi di programmazione: si sottolinea così la centralità della logica anche perla comprensione dell'informatica.
Strumento prezioso per insegnanti di matematica e di italiano, oltre che naturalmente di filosofia, il libro di Hodges è utilissimo a tutti: da studiare con accanto carta e penna (vi sono anche numerosi esercizi, con relative soluzioni) o da leggere per immergersi in un'esperienza intellettuale vivace e insieme ricca di implicazioni.

Wilfrid Hodges (1941), laureato a Oxford in Litterae humaniores e teologia, e libero docente di logica. Junior Professor al Dipartimento di filosofia dell'Università della California nei 1987 e nei 1968, insegna attualmente filosofia e matematica al Bedford College dell'Università di Londra. È collaboratore del «Journal ci Symbolic Logic» e di «Fondamenta Mathematicae» e membro del comitato editoriale del «Journal of Philosopical Logic».

Corrado Mangione (Bagnara Calabra, 1930), laureato in matematica, è ordinario di logica al Dipartimento di filosofia dell'Università di Milano. Oltre a molti articoli scientifici ha scritto Elementi di logica matematica (Boringhieri, 1964) e ha collaborato alla garzantiana Storia del pensiero filosofico scientifico.