LOGICA
cod. 1005446

Anno accademico 2023/24
1° anno di corso - Secondo semestre
Docente
Alessandro TORZA
Settore scientifico disciplinare
Logica e filosofia della scienza (M-FIL/02)
Ambito
Storia della filosofia e istituzioni di filosofia
Tipologia attività formativa
Base
60 ore
di attività frontali
12 crediti
sede: PARMA
insegnamento
in ITALIANO

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.