Logic (p) (2015/2016)

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 22, 2016 al Apr 24, 2016.

Lesson timetable

Sem. IIA
Day Time Type Place Note
Monday 5:20 PM - 7:00 PM lesson Lecture Hall 2.2  
Tuesday 5:20 PM - 7:00 PM lesson Lecture Hall 2.2  
Wednesday 5:20 PM - 7:00 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.

*****
See the file "Diario delle lezioni.pdf" for details.

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

Assessment methods and criteria

Written exam

Teaching aids

Documents

STUDENT MODULE EVALUATION - 2015/2016