Letture al sole: -5% su tutti i libri, spese di spedizione ribassate e invio gratuito oltre € 39 fino al 25 agosto >>> SCOPRI

Copertina Introduzione alla logica

Acquista:

prezzo di copertina € 23,00
a stampa € 21,85
disponibile in 10-15 giorni
collana "Itinerari"
pp. 264, Brossura, 978-88-15-24828-2
anno di pubblicazione 2014

PASQUALE FRASCOLLA

Introduzione alla logica

Dalla teoria dell'argomentazione alla logica formale

Partendo dalla teoria dell’argomentazione, il libro offre un quadro chiaro e accessibile dei concetti e dei metodi della logica elementare, intesa come la disciplina in cui si studiano le condizioni di validità degli argomenti e si costruiscono i linguaggi artificiali indispensabili per rappresentarne adeguatamente le caratteristiche formali da cui tale validità dipende. Nel contempo, si mette a disposizione del lettore un repertorio di tecniche di calcolo per stabilire se un argomento sia valido oppure no, se soddisfi, cioè, quel requisito che, assieme alla verità delle premesse, rende un argomento deduttivo un buon argomento.

INDICE DEL VOLUME: Prefazione. - Introduzione. - I. Argomentare, inferire, dimostrare. - II. La logica enunciativa: «calculemus». - III. Il sillogismo e l’algebra delle classi. - IV. La logica predicativa: i limiti del calcolo. - Riferimenti bibliografici. - Chiave degli esercizi. - Indice analitico.

Pasquale Frascolla è professore ordinario di Filosofia e teoria dei linguaggi presso il Dipartimento di Scienze Umane dell’Università della Basilicata. Tra i suoi libri segnaliamo: «Wittgenstein’s Philosophy of Mathematics» (Routledge, 1994), «Il Tractatus logico-philosophicus di Wittgenstein. Introduzione alla lettura» (Carocci, 2000) e «Understanding Wittgenstein’s Tractatus» (Routledge, 2007).

Prefazione
Introduzione
I. Argomentare, inferire, dimostrare
1. Dare e chiedere ragioni
2. Verità, validità, forza
3. Errori ingannevoli: le fallacie
4. Argomenti complessi: verso la logica formale
II. La logica enunciativa: «calculemus»
1. Forma logica: le funzioni di verità
2. Il linguaggio della logica enunciative LLE: sintassi e semantica
3. Proprietà di ffbf e relazioni tra ffbf
4. Sostituzione e rimpiazzamento
5. Il controllo della validità degli schemi vero-funzionali: tavole di verità e alberi di refutazione
III. Il sillogismo e l'algebra delle classi
1. Proposizioni categoriche
2. Il sillogismo: metodi di validazione
3. L'algebra delle classi e la validazione degli schemi sillogistici
IV. La logica predicativa: i limiti del calcolo
1. Forma logica: la quantificazione
2. Il linguaggio della logica predicaiva LLP: sintassi e semantica
3. Identità e descrizioni definite
4. Il controllo della validità degli schemi quantificazionali: alberi di refutazione
5. I limiti del calcolo
Riferimenti bibliografici
Chiave degli esercizi
Indice analitico

Leggi anche

copertina Introduzione alla logica
copertina Storia dell'antropologia
copertina Perché ridiamo
copertina Quando l'importante è vincere