Mathematical logic (LM) (2010/2011)

Course code
4S02805
Name of lecturer
Ruggero Ferro
Coordinator
Ruggero Ferro
Number of ECTS credits allocated
6
Academic sector
MAT/01 - MATHEMATICAL LOGIC
Language of instruction
Italian
Location
VERONA
Period
II semestre dal Mar 1, 2011 al Jun 15, 2011.

Lesson timetable

II semestre
Day Time Type Place Note
Tuesday 8:30 AM - 10:30 AM lesson Lecture Hall M  
Friday 4:30 PM - 6:30 PM lesson Lecture Hall M  

Learning outcomes

The computation and the working out of the knowledge rely on the distinction between syntax and semantic. The goal of this course is to study the relationship between syntax and semantic, by showing the potentialities and the limits of formal languages.

Syllabus

First order languages, validity and completeness. Compactness theorem and the strengthening of the completeness theorem. The problem of the decidability of the syntactic check of validity. Lowenheim and Skolem theorems and non categorical theories. Skolem paradox. Categoricity of the theory of a finite structure. Confutation trees for denumerable languages. Sequents, natural deduction, and the syntactic analysis of validity. Hilbert style deduction and the relative theorems of validity and completeness. Propositional calculus. Higher order logics. Hint to non classical logics. An overview to Gödel’s incompleteness theorems.

Assessment methods and criteria

Open questions written test, and possible oral integration.