Ateneo - UPO

Introduzione alla logica e alle sue applicazioni in teoria dell’argomentazione.

I testi di riferimento sono gli stessi sia per i frequentanti che per i non-frequentanti:

Palladino D. 2021. Corso di Logica. Introduzione Elementare al Calcolo dei Predicati. A cura di M. Frixione. Carocci (nota bene: edizione 2021).

Ad un livello base, l’obiettivo formativo è conoscere le nozioni chiave della logica proposizionale e del primo ordine, sapendone illustrare l’utilità a fini argomentativi.

Ad un livello avanzato, l’obiettivo formativo è utilizzare le nozioni tecniche della logica proposizionale e del primo ordine nell'analisi di argomentazioni complesse.

Non sono richieste conoscenze pregresse in logica.

Didattica frontale ed esercitazioni in classe.

Il corso integra "Argomentazione e Comunicazione". Per avvisi e aggiornamenti, iscriversi alla pagina DIR del corso.

Esame scritto, della durata di 90 minuti, volto a verificare il raggiungimento degli Obiettivi Formativi e dei Risultati di Apprendimento Attesi. L’esame consiste in tre domande a risposta aperta (max 6 punti a domanda) e sei esercizi (max 2 punti a esercizio). Nel valutare le risposte aperte, la formulazione del punteggio si baserà al 70% sull’apprendimento delle nozioni oggetto del corso e al 30% sulla chiarezza espositiva. Per la lode è richiesta totale padronanza della terminologia scientifica.

1. Inferenze e ragionamenti. 2. Proposizioni semplici e composte. 3. Logica proposizionale: tautologie, equivalenza, conseguenza logica e regole corrette. 4. Alberi semantici per la logica proposizionale. 5. Logica predicativa: linguaggio e regole.

Ad un livello base, i risultati di apprendimento attesi sono:
(1. Conoscenza e capacità di comprensione) conoscere le principali nozioni della logica proposizionale e del primo ordine;
(2. Conoscenza e capacità di comprensione applicate) formalizzare semplici argomenti dal linguaggio ordinario;
(3. Autonomia di giudizio) identificare le principali fallacie di ragionamento;
(4. Abilità comunicative) spiegare in modo chiaro e conciso le applicazioni della logica in teoria dell’argomentazione;
(5. Capacità di apprendimento) utilizzare la logica proposizionale nello sviluppo di nuovi argomenti.

Ad un livello avanzato, i risultati di apprendimento attesi sono:
(1. Conoscenza e capacità di comprensione) comprendere i dettagli tecnici della logica proposizionale e del primo ordine;
(2. Conoscenza e capacità di comprensione applicate) formalizzare argomenti complessi dal linguaggio ordinario;
(3. Autonomia di giudizio) identificare svariate fallacie di ragionamento;
(4. Abilità comunicative) fare esempi concreti di applicazioni della logica del primo ordine alla teoria dell’argomentazione;
(5. Capacità di apprendimento) utilizzare la logica del primo ordine nello sviluppo di nuovi argomenti.