Il Primo Libro di Logica - Introduzione ai Metodi della Logica Contemporanea

Questo libro è un'introduzione alla logica. In quanto "introduzione", intende essere chiaro e autosufficiente. In quanto introduzione "alla logica", intende presentare questa disciplina come disciplina autonoma, che si avvale certo di strumenti matematici e solleva delicati e interessanti problemi filosofici, ma non per questo si riduce a una parte della matematica o della filosofia. Scopo della logica è l'analisi e la valutazione del ragionamento. L'analisi può essere condotta a livelli crescenti di profondità, che trovano espressione in linguaggi artificiali di complessità crescente. Il libro ne esamina sei: il linguaggio delle funzioni di verità, il linguaggio dei quantificatori, il linguaggio modale proposizionale e quantificato, e infine linguaggi con identità e descrizioni. L'ultimo capitolo tratta di metalogica e introduce  strumenti che permettono di provare la correttezza e l'adeguatezza dei vari sistemi considerati.
L'opera è scritta con chiarezza e sapienza didattica, e il lettore si avvicina per gradi alla logica, condotto dalla mano ferma dell'autore attraverso spiegazioni, esercizi, soluzioni degli esercizi e riepiloghi dei concetti principali.
Il libro si rivolge primariamente agli studenti universitari e medie e ai loro insegnanti, ma si propone anche di soddisfare la semplice e legittima curiosità culturale di quanti non sono specialisti né aspirano a diventarlo.

Ermanno Bencivenga è professore associato di filosofia presso l'Università della California a Irvine. Nato nel 1950 a Reggio Calabria e laureatosi in filosofia nel 1972 a Milano, nel 1976 ha conseguito, sempre a Milano, il titolo di specialista in filosofia e nel 1977 a Toronto (Canada) il dottorato di ricerca; ha insegnato all'Università di Pittsburgh e alla Rice University a Houston. Per questa collana ha scritto Una logica dei termini singolari e ha curato l'antologia Le logiche libere.