|| Logic Lecture
|| Péter Mekis
|| BBN-FIL-301.2, BMA-LOTD-102.1, BMI-LOTD-102E.2, BMA-FILD-301.2
|| Monday 12:00-13:30
|| The course assumes some familiarity with the basic concepts and methods of standard first-order logic.
|| The lectures will cover the following topics:
The topics may change during the course, in accordance with student demand.
The Hungarian version of the course will be easier and covers less topics.
- standard first-order languages: syntax and semantics;
- first-order analytic trees; undecidability;
- first-order theories: basic concepts and methods;
- Peano arithmetic: language, definitions, and basic theorems;
- standard first-order calculus: soundness and completeness;
- standard and non-standard models of Peano arithmetic
- definite descriptions and semantic value gaps;
- higher-order logic;
- overview of Gödel's incompleteness results.
- Lecture notes (uploaded during the course)
- Gamut, L. T. F.,
Logic, Language, and Meaning. Vol 1:
Introduction to Logic. Chicago UP, 1991.
- Mendelson, E.,
Introduction to Mathematical logic .
4th ed. Springer, 1997.
| Lecture notes