Logica. Una guida alla logica simbolica pensata e scritta veramente per tutti

Dettagli prodotto :

• EDITORE: Garzanti
• AUTORE: Wilfrid Hodges
• ANNO DI PUBBLICAZIONE: 1986
• COLLANA: Strumenti di studio

Presentazione di Corrado Mangione.
Pagine 380 - copertina morbida.
Libro in buone condizioni.

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 è 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 proposizionale 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 per la 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.