Advanced logic
A.A. 2026/2027
Obiettivi formativi
Students will acquire in-depth knowledge and skills on advanced logic.
Risultati apprendimento attesi
Students will acquire the ability to:
- critically evaluate the source of information and the reliability of data in advanced logic;
- apply reasoning skills to studies on advanced logic;
- engage in dialogue with experts in advanced logic and put into practice the cross-disciplinary nature of philosophy, with the aim of identifying and managing complex issues in a flexible and critical manner in rapidly changing social contexts;
- use interpersonal, communication and organisational skills even in highly complex contexts and in managing group work;
- transfer the skills acquired even in non-specialist contexts;
- reflect on their own abilities and the assessments obtained;
- independently explore a theoretical thesis in depth.
- critically evaluate the source of information and the reliability of data in advanced logic;
- apply reasoning skills to studies on advanced logic;
- engage in dialogue with experts in advanced logic and put into practice the cross-disciplinary nature of philosophy, with the aim of identifying and managing complex issues in a flexible and critical manner in rapidly changing social contexts;
- use interpersonal, communication and organisational skills even in highly complex contexts and in managing group work;
- transfer the skills acquired even in non-specialist contexts;
- reflect on their own abilities and the assessments obtained;
- independently explore a theoretical thesis in depth.
Periodo: Secondo semestre
Modalità di valutazione: Esame
Giudizio di valutazione: voto verbalizzato in trentesimi
Corso singolo
Questo insegnamento non può essere seguito come corso singolo. Puoi trovare gli insegnamenti disponibili consultando il catalogo corsi singoli.
Programma e organizzazione didattica
Edizione unica
Responsabile
Periodo
Secondo semestre
Programma
1. Classical logic
- revision of classical semantics and syntax
- elementary methods in algebraic logic
- key properties of classical consequence relations
2. Using classical tools for practical reasoning
- solving problems with interpreted languages
- constructing arguments for non-mathematical reasoning
- logic and decision-making
3. Non-monotonic logics
- the intended semantics for nonmonotonic consequence relations
- axioms for nonmonotonic consequence relations
- formal semantics for nonmonotonic consequence relations
- revision of classical semantics and syntax
- elementary methods in algebraic logic
- key properties of classical consequence relations
2. Using classical tools for practical reasoning
- solving problems with interpreted languages
- constructing arguments for non-mathematical reasoning
- logic and decision-making
3. Non-monotonic logics
- the intended semantics for nonmonotonic consequence relations
- axioms for nonmonotonic consequence relations
- formal semantics for nonmonotonic consequence relations
Prerequisiti
Logical Methods
Metodi didattici
Frontal and flipped lectures and assignments. Students will be trained to learn by solving problems.
Materiale di riferimento
Modalità di verifica dell’apprendimento e criteri di valutazione
- End of course project: 50% of the final grade
- Exam (problem-based): 50% of the final grade.
Attending students will have an option to obtain 100% of the final grade through in-class activities.
- Exam (problem-based): 50% of the final grade.
Attending students will have an option to obtain 100% of the final grade through in-class activities.
Moduli o unità didattiche
Parte A e B
MATH-01/A - Logica matematica - CFU: 6
Lezioni: 40 ore
Parte C
MATH-01/A - Logica matematica - CFU: 3
Lezioni: 20 ore
Docente/i
Ricevimento:
Venerdì 8:30-11:30 (SOSPESO FINO AL 9 GENNAIO 2026)
Secondo Piano, Cortile Ghiacciaia. Affinché possa garantirvi il colloquio, vi prego di prenotarvi per email