Teaching

I am currently teaching the following course in the Spring/Summer term at Zhejiang University:

  • Foundations of mathematical logic (2021-15-0421202001)
    Introduction to elementary set theory, formal propositional languages and grammars, truth tables, natural deduction, proof normalization, formal first-order languages and grammars, first-order semantics, soundness and completeness, compactness and Löwenheim-Skolem, quantifier elimination, prenex normal forms, Herbrand's theorem, the theory of recursive functions, Peano arithmetic, and Gödel’s incompleteness results.
    Graduate students in the Department of Philosophy, 48 hours, 17 weeks

I am also expected to teach the following course in the upcoming Winter semester:

  • Philosophical Logic
    Philosophical introduction to the basic concepts of logic and non-classical logic
    Undergraduate students in the Department of Philosophy, 48 hours, 12 weeks