Carocci editore - Argomentare, dimostrare, confutare

Password dimenticata?

Registrazione

Argomentare, dimostrare, confutare

Francesco F. Calemi

Argomentare, dimostrare, confutare

Un’introduzione alla logica

Edizione: 2022

Collana: Studi Superiori

ISBN: 9788829013616

  • Pagine: 220
  • Prezzo:19,00 18,05
  • Acquista

In breve

Come valutare un’argomentazione? Come costruire dimostrazioni? Che cosa significa confutare una tesi? Prendendo le mosse da tali interrogativi, il libro propone un itinerario che conduce dall’analisi dei ragionamenti svolti entro il linguaggio ordinario alla logica formale, trattando dei principali temi della teoria dell’argomentazione, della logica proposizionale e della logica dei predicati del primo ordine, e fornendo inoltre elementi di metalogica e di argomentazione computazionale. Per la sua chiarezza espositiva, il suo rigore scientifico e la ricchezza degli esercizi guidati, il testo si rivolge a studenti di materie umanistiche e scientifiche che vogliano apprendere le tecniche e le metodologie di base per testare la bontà dei ragionamenti, la validità delle forme argomentative e l’accettabilità dei sistemi di argomentazioni.

Indice

Introduzione
Parte prima
Argomentare. Teorie dell’argomentazione
1. Cosa è un’argomentazione
Perché argomentiamo?/L’argomentazione come pratica sociale/Le parti di un’argomentazione/Argomentare e spiegare/Serialità e convergenza/La fondatezza/Certo e incerto, oggettivo e soggettivo/Il tribunale della verità
2. Argomentare: tra logica e psicologia
Semantica del non-detto/Argomentazioni e immagini/Pertinenza e altre presunzioni/La forza delle argomentazioni/Emotività e persuasione
Parte seconda
Dimostrare. Dalla logica proposizionale (LP) alla logica del primo ordine (FOL)
3. La logica proposizionale (LP)
Introduzione ai linguaggi formali/Tavole di verità/ Interpretazione e valutazione
4. Il calcolo proposizionale
Dalle dimostrazioni informali alle dimostrazioni formali/Regole di derivazione/Strategie risolutive e problem solving/Teoremi/Regole derivate
5. Teoremi metalogici
Dimostrazioni sulle dimostrazioni/Il teorema di correttezza di LP/Il teorema di completezza di LP
6. La logica del primo ordine (FOL)
Oltre la logica proposizionale/Vocabolario di FOL/Regole di formazione di FOL/Teoria dei modelli/Il calcolo dei predicati/Identità e simboli funzionali
Parte terza
Confutare. Principi di argomentazione computazionale

7. La confutazione
Dispute e sistemi di argomentazioni/Refutare, obiettare, invalidare/Le proprietà formali della confutazione
8. Confutazioni di confutazioni: alcuni esempi
Attacco e difesa/Fede e ragione/Il paradosso dell’onnipotenza/Il libero arbitrio/Il dilemma di Protagora/Il dibattito sugli universali
Conclusione
Bibliografia
Indice analitico