Back

Metalogic

Jan Wolenski
Section: Logic
Level: Introductory

Description

The course is intended to provide the basic information about the metatheory of formal system. It will start with a brief information about propositional calculus and first-order logic. Then, fundamental theorems about elementary logic will be stated and proved. They include: consistency, completeness (in various forms), compactness, Löwenheim-Skolem, (un)decidability), independence. The Lindström characterization theorem will be also proved. This stock will be used in comparison of elementary logic with higher-order logic. The core of the material is to be related to classical logic. However, also non-classical logics and extensions of clasical logic will be touched. A special attention will be given to interplay between syntax and semantics, and to limitative results.

Materials

PDFlecture notes

Lecturer

Prof. Jan Wolenski
Mickiewicza 26
34-200 Sucha Beskidzka
Poland
Phones:
(4833) 8742062
(48603) 590339 (mobile)
fax: (4812) 4224916
wolenski@jetta.if.uj.edu.pl