Title |
Logic Lecture |
Lecturer |
Péter Mekis |
Codes |
BBN-FIL-301.2, BMA-LOTD-102.1, BMI-LOTD-102E.2, BMA-FILD-301.2 |
Time |
Monday 12:00-13:30 |
Venue |
i221 |
Prerequisites |
The course assumes some familiarity with the basic concepts and methods of standard first-order logic. |
Description |
The lectures will cover the following 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.
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.
|
Literature |
- 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 |
|