Advanced logic

A.A. 2026/2027
9
Crediti massimi
60
Ore totali
SSD
MATH-01/A
Lingua
Italiano
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.
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
Prerequisiti
Logical Methods
Metodi didattici
Frontal and flipped lectures and assignments. Students will be trained to learn by solving problems.
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.
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