Libreria Editrice OssidianeLibreria Editrice Ossidiane

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

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

Vai alla scheda libro e aggiungi al carrello Modalità di acquisto

Commenti

Comments are closed.