Mathematical logic (LM) (2009/2010)

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
1st Semester dal Oct 1, 2009 al Jan 31, 2010.

Lesson timetable

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.