Mag. Dr. Johannes Hafner

2016W

• 180107 SE Basics of model theory with special focus on non-standard models

2014S

• 180099 SE Turing Machines and the Limits of Computability - Introduction to the Theory of Computability, its Philosophical Presuppositions and Consequences

2011S

• 180021 SE Logic or Set Theory? - The Controversy over Second-Order Logic

2010S

• 180624 SE Gödel’s Incompleteness Theorems - Limitations of Formal Systems - Consequences for Epistemology and Philosophy of Mind

2008S

• 180394 SE Introduction to the Theory of Computability.

2007W

• 180361 UE-GKL Exercise in Logic

2007S

• 180415 SE Formal Logics and Philosophy - Formal Logics and Philosophy (§ 3/2/5) ( § 4/1/5) (PP § 57.6) (PPP § 57.2.3)

2006W

• 180196 VO Ausgewählte Kapitel zur formalen Semantik - Ausgewählte Kapitel zur formalen Semantik (§ 3/2/5) (§ 3/2/6) ( § 4/1/5) (PP § 57.6) (PPP § 57.2.3)