LOGIC

Academic year
2019/2020 Syllabus of previous years
Official course title
LOGICA
Course code
FT0134 (AF:315157 AR:168903)
Modality
On campus classes
ECTS credits
6
Degree level
Bachelor's Degree Programme
Educational sector code
M-FIL/02
Period
4th Term
Course year
3
This course is an introduction to logic for students of philosophy.
It covers (i) basic approaches to logic, including proof theory and especially
model theory, (ii) some elementary philosophy of logic.
It prepares students to read the logically sophisticated articles philosophy journals.
In short, it teaches some of the logic indispensable for every philosophical scholar.
A basic knowledge of formal logic and set theory.
This course does not require prerequisites.
Elements of set theory.
Paradoxes.
Propositional logic.
Tables of truth.
Axiomatizations and theorems of completeness.
Natural deduction.
Model Theory.
A brief history of logic.
Berto F. "Logica da zero a Gödel" ed. Laterza
M.L. Dalla Chiara & al. "Sperimentare la logica" ed. Liguori.
The students will by evaluated on the basis of their participation to the discussions in classroom. They will write papers.
The final exam consists of an interview.
Lectures and tutorials.

Italian
oral
This programme is provisional and there could still be changes in its contents.
Last update of the programme: 25/03/2019