Lambda calculus and combinatory logic

Sommersemester 2019

• GOTTLOB FREGE: TEXTE ZUR LOGIK UND SPRACHPHILOSOPHIE (with Peter Schroeder-Heister), Tübingen

Sommersemester 2018

• PROOF-THEORETIC SEMANTICS (with Peter Schroeder-Heister), Hilbert-Bernays Summer School on Logic and Computation (Slides)
• PHILOSOPHISCHE LOGIK: WAHRHEIT UND BEWEIS, Tübingen

Wintersemester 2017/18

• GOTTLOB FREGE: TEXTE ZUR LOGIK UND SPRACHPHILOSOPHIE (with Peter Schroeder-Heister), Tübingen

Wintersemester 2016/17

• EINFÜHRUNG IN DIE LOGIK, Tübingen (Complete slides, in German)

Sommersemester 2016

• PRINCIPIA MATHEMATICA (with Peter Schroeder-Heister), Tübingen

Wintersemester 2015/16

• RUSSELL: PROBLEME DER PHILOSOPHIE, Tübingen

Sommersemester 2015

• CARNAP: MEANING AND NECESSITY (with Peter Schroeder-Heister), Tübingen
• PROOF THEORY FOR PHILOSOPHERS, Pamplona (Handout)

Wintersemester 2014/15

• GOTTLOB FREGE: DIE GRUNDLAGEN DER ARITHMETIK (with Peter Schroeder-Heister), Tübingen

Sommersemester 2014

• MICHAEL DUMMETT: SELECTED READINGS, Tübingen
• TARSKI’S AND KRIPKE’S SOLUTIONS TO THE LIAR PARADOX, Siena

Wintersemester 2013/14

• PARADOXES (with Peter Schroeder-Heister), Tübingen

Sommersemester 2013

• DUMMETT’S INTERPRETATION OF FREGE: PREDICATES AND QUANTIFICATION, Siena

Wintersemester 2012/13

• WAHRHEIT, BEWEIS, FOLGERUNG (with Peter Schroeder-Heister), Tübingen

Sommersemester 2012

• THE PROBLEM OF PARADOXES IN PROOF-THEORETIC SEMANTICS, Siena