| Title | Metalogic |
| Teacher | Péter Mekis |
| Codes | BBN-FIL-302.2, BMA-FILD-302.02, BMA-LOTD-101.03, BBN-FIL-402.302, BMI-LOTD-101E.06 |
| Time | Monday 18:00-19:30 |
| Venue | i224 |
| Prerequisites | The course assumes some familiarity with the basic concepts and methods of standard first-order logic. |
| Description | One of the main philosophical problems a student encounters when being introduced to
standard first-order logic is the apparent circularity in its syntactic and semantic
definitions. In particular, it seems that the syntax and semantics of first-order logic
presupposes set theory, while the proper framework to introduce set theory is a first-order
language with its standard semantics. This course attempts at addressing this problem (without resolving it), following the guidance of Imre Ruzsa's classic textbook. |
| Literature |
I. Ruzsa, Introduction to Metalogic. Budapest, 1995. |