Kurzus nemzetközi vendég- és részidős hallgatóknak
- Kar
- Bölcsészettudományi Kar
- Szervezet
- BTK Filozófia Intézet
- Kód
- BMI-LOTD17-203E.04
- Cím
- Metaelmélet 1.: Bevezetés a metalogikába
- Tervezett félév
- Őszi
- Meghirdetve
- 2024/25/1
- ECTS
- 4
- Nyelv
- en
- Tantárgy tartalma
- For the latest version of the syllabus, please visit the Philosophy course catalogue: http://lps.elte.hu/courselist/ 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.
- Számonkérés és értékelés
- The student's grade depends on his/her performance in solving problems (in class or as homework).
- Irodalomjegyzék
- Imre Ruzsa, Introduction to Metalogic. Budapest: Áron Publishers, 1997.