Obiettivi formativi
Il corso si propone di fornire le competenze necessarie per analizzare la struttura logica degli enunciati nel linguaggio naturale; tradurre enunciati tra linguaggio naturale e linguaggio simbolico; determinare la validità per mezzo di metodi semantici e sintattici; fornire controesempi ad argomenti invalidi; comprendere alcune nozioni metalogiche chiave (coerenza, adeguatezza espressiva, correttezza, completezza).
Prerequisiti
Non ci sono prerequisiti
Contenuti dell'insegnamento
Il corso offre un’introduzione alla logica classica degli enunciati e dei predicati che unisce il rigore della presentazione matematica a una discussione delle motivazioni concettuali e filosofiche.
Programma esteso
1. La natura della logica. Alcune nozioni metateoriche.
2. Logica informale e logica formale.
3. Sintassi e semantica del calcolo degli enunciati.
4. Deduzione naturale per la logica dei predicati.
5. Sintassi e semantica del calcolo dei predicati.
6. Formalizzazione.
7. Deduzione naturale per il calcolo dei predicati.
8. Identità.
Bibliografia
Smith, P. (2020). An introduction to formal logic, 2nd edition. Cambridge University Press.
Disponibile gratuitamente al seguente indirizzo:
https://www.logicmatters.net/resources/pdfs/IFL2_LM.pdf
Ulteriori riferimenti bibliografici saranno forniti durante il corso.
Metodi didattici
Lezioni frontali.
Modalità verifica apprendimento
Durante il corso gli studenti dovranno svolgere esercizi selezionati dal libro di testo. È previsto un esame scritto di fine corso per valutare le competenze degli studenti in relazione ai succitati obiettivi formativi.
Altre informazioni
Gli studenti non frequentanti sono tenuti a conoscere il manuale e risolvere tutti gli esercizi nel libro di testo.
