Logic (p) (2016/2017)

Course code
4S02145
Name of lecturer
Ivan Valbusa
Coordinator
Ivan Valbusa
Number of ECTS credits allocated
6
Academic sector
M-FIL/02 - LOGIC AND PHILOSOPHY OF SCIENCE
Language of instruction
Italian
Period
Sem. IIA dal Feb 27, 2017 al Apr 22, 2017.

Lesson timetable

Sem. IIA
Day Time Type Place Note
Monday 3:10 PM - 4:50 PM lesson Lecture Hall 2.2  
Tuesday 3:10 PM - 4:50 PM lesson Lecture Hall 2.2  
Wednesday 3:10 PM - 4:50 PM lesson Lecture Hall 2.2  

Learning outcomes

The course is an introduction to the the main topics of modern logic. Its aim is to clarify some of the basic notions of logic, such as logical form, argument, validity, truth, model, interpretation, soundness, completeness, decidability.

Syllabus

1) Languages, statements, arguments.
Non-extensional contexts. The problem of meaning.
Formalization, logical connectives, truth tables. Quantification.

2) Formal theories. The calculus of natural deduction.
Propositional logic and first order logic. Proofs.

3) Semantics.
Elements of set theory. Semantic theory of truth.
Models, interpretations, validity, logical consequence.
Paradoxes.

4) Elements of metalogic.
Completeness theorems. Gödel's incompleteness theorems.
Decidability.

Reference books
Author Title Publisher Year ISBN Note
Francesco Berto Logica da zero a Gödel (Edizione 5) Laterza 2013

Assessment methods and criteria

Oral exam

STUDENT MODULE EVALUATION - 2016/2017