Course for international guest/part time students
- Faculty
- Faculty of Humanities
- Organization
- BTK Institute of Philosophy
- Code
- BMI-LOTD17-203E.04
- Title
- Metatheory 1.: Introduction to metalogic
- Usual semester
- Autumn
- ECTS
- 4
- Language
- Learning outcomes
- Knowledge of the main theorems of metalogic, ability to prove theorems.
- Course content
- Metalogic investigates the properties of formalized theories (such as negation-completeness, semantic completeness, decidability, consistency) within the framework of some (formalized or at least formalizable) theory. This course is based on Imre Ruzsa's theory of canonical calculi and the Markov algorithms. It covers their structure, their interrelations (their interdefinability) and the proof of well-known theorems of metalogic (Gödel's theorems, the Church-Turing theorem and Tarski's theorem on the indefinability of truth) in this framework, in an abstract and general form. http://lps.elte.hu/andras/metalogic/metalogic.html
- Assessment method
- The student's grade depends on his/her performance in solving problems (in class or as homework).
- Bibliography
- Imre Ruzsa, Introduction to Metalogic. Budapest: Áron Publishers, 1997.