Il primo libro di logica

(scheda pubblicata per l'edizione del 1984)
scheda di Antonelli, G.A., L'Indice 1984, n. 2

Il libro di E. Bencivenga introduce il lettore alla logica presentando questa disciplina come teoria normativa del ragionamento corretto senza trascurare tuttavia strumenti e risultati della logica moderna in quanto teoria matematica dei linguaggi formalizzati. Discende da quest'impostazione l'attenzione alla traduzione di enunciati del linguaggio naturale in enunciati del linguaggio formalizzato, traduzione che, unita al metodo di deduzione naturale di F. Fitch, costituisce un "test" di correttezza per ragionamenti e argomentazioni informali. "Il primo libro di logica" prende per mano il lettore guidandolo con solide giustificazioni intuitive lungo il percorso che va dal linguaggio enunciativo a quello predicativo, dalla logica modale ai problemi connessi con identità e descrizioni, non dando "un catalogo di "risultati", ma un'introduzione a "metodi" di ricerca e dimostrazione.