Il Primo Libro di Logica – Introduzione ai Metodi della Logica Contemporanea
Autore/i: Bencivenga Ermanno
Editore: Bollati Boringhieri Editore
prefazione dell’autore.
pp. 232, Torino
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.
Visualizza indice
Prefazione
Concetti fondamentali
1. Argomentazioni 2. Mondi possibili 3. Verità logica ecc. Riepilogo dei concetti principali
Identificazione e chiarimento delle argomentazioni
1. Teoria e applicazioni 2. La forma normale delle argomentazioni
Riepilogo dei concetti principali Esercizi
Proposizioni: funzioni di verità
1. Considerazioni introduttive 2. Il linguaggio artificiale L, 3. Traduzione 4. Tavole di verità 5. Derivazioni Riepilogo dei concetti principali Esercizi
Proposizioni: modalità logiche
1. Logica modale primaria 2. Logica modale secondaria 3. Derivazioni Riepilogo dei concetti principali Esercizi
Termini: quantificatori
1. Considerazioni introduttive 2. Il linguaggio artificiale L, 3. Derivazioni Riepilogo dei concetti principali Esercizi
Termini: modalità logiche
1. Logica modale (secondaria) quantificata 2. Derivazioni Riepilogo dei concetti principali Esercizi
Identità e descrizioni
1. Identità 2. Descrizioni Riepilogo dei concetti principali Esercizi
Elementi di metalogica
1. Logica e metalogica 2. Insiemi, funzioni ecc. 3. Induzione 4. Correttezza 5. Adeguatezza 6. Decidibilità Riepilogo dei concetti principali Esercizi
Appendice 1. Sistemi assiomatici
Appendice 2. La formalizzazione delle teorie
Appendice 3. Ulteriori approfondimenti dell’analisi logica
Soluzioni degli esercizi
Suggerimenti per ulteriori letture