FP1002  LOGICA (A.Y. 2024/2025)

• Accademic Unit

  Faculty of Philosphy

• Course

  Baccalaureate in Philosophy

Obiettivi: Il corso si propone di introdurre lo studente ai concetti e metodi della logica contemporanea.

Risultati di apprendimento: Al termine del corso lo studente sarà in grado di: presentare i concetti e i metodi principali della moderna logica formale; dimostrare padronanza della logica deduttiva; descrivere i risultati fondamentali relativi alla logica proposizionale e alla logica della quantificazione.

Contenuti: Il corso prevede lo studio dei linguaggi formalizzati, l’esposizione della sintassi e della semantica per il calcolo degli enunciati e il calcolo dei predicati. Calcolo degli enunciati: Formule proposizionali. Interpretazione vero-funzionale. Tavole di verità. Equivalenza logica. Soddisfacibilità. Validità. Tautologie. Conseguenza logica. Tableaux semantici enunciativi. Teoremi di correttezza e completezza (decidibilità).
Calcolo predicativo: Relazioni e predicati. Formule predicative. Interpretazioni. Soddisfacibilità. Validità. Tableaux semantici predicativi. Correttezza e completezza (indecidibilità).

Metodologia: La didattica è erogata attraverso lezioni frontali ed esercitazioni pratiche condotte in interazione con gli studenti, dedicate all’esposizione degli elementi teorici e alla loro applicazione. Per la natura introduttiva dell’insegnamento non sono presupposte competenze propedeutiche.

Modalità di valutazione: La verifica finale degli apprendimenti attesi è effettuata con esame orale ed esecuzione contestuale di esercizi scritti secondo le linee fornite a lezione, nelle dispense e nei capitoli dei volumi indicati in bibliografia. I criteri di valutazione sono ispirati al soddisfacimento dei Descrittori di Dublino.

• Information
• Teachers
• Lesson schedule/Room
• Bibliography

Information

• Semestre: 1° Semestre
• ECTS: 5

Teachers

Massimo GIRONDINO

Lesson schedule/Room

Semester	Day	From	To	Room	Floor	Building	Notes
1° Semestre	Lunedì	10.30	11.15	TBD	0
1° Semestre	Lunedì	11.30	12.15	TBD	0
1° Semestre	Martedì	10.30	11.15	TBD	0

Bibliography

• D. PALLADINO, Corso di Logica. Introduzione elementare al calcolo dei predicati. Roma, Carocci, 2010; A. VARZI – J. NOLT – D. ROHATYN, Logica. Milano, McGraw-Hill, 20072; P. FRASCOLLA, Introduzione alla logica. Dalla teoria dell’argomentazione alla logica formale. Bologna, Il Mulino, 2014; C. MARLETTI – E. MORICONI – M. MARIANI, Argomenti di logica. Pisa, Pisa University Press, 2016.