Dr. Richard Zach

I am a Professor of Philosophy at the University of Calgary, working in logic, history of analytic philosophy, and the philosophy of mathematics. In logic, my main interests are non-classical logics and proof theory. My historical interests lie mainly in the development of formal logic and historical figures associated with this development such as Hilbert, Gödel, and Carnap. In the philosophy of mathematics I have mainly worked on Hilbert's program and the philosophical relevance of proof theory.

My selected works include:

My work is also published in journals including, The Journal of Symbolic Logic, The Review of Symbolic Logic, Logic and Logical Philosophy, and Philosophical Studies. My research has been recognized with the Shoenfield Prize from the Association for Symbolic Logic, as well as the Bulletin of Symbolic Logic 25th Anniversary Prize. I am the editor of Philosophia Mathematica and a subject editor for the Stanford Encyclopedia of Philosophy. My broader scholarly network includes serving on advisory boards for the Hilbert-Bernays Project and the Paul Bernays Project.

My full publication record and additional information can be found at my personal webpage.

Research

Areas of Research

Logic, Philosophy of mathematics, Philosophy of computer science, History of analytic philosophy

Participation in university strategic initiatives

Human Dynamics in a Changing World (2015-2021)

Courses

Course number	Course title	Semester
On leave		Fall 2025
PHIL 579/679	Proof Theory	Winter 2026

Projects

Proof Theory and Logic in Computer Science

Funded by NSERC

The Collected Works of Rudolf Carnap

http://rudolfcarnap.org/

Open Logic Project

https://openlogicproject.org/

Awards

Professeur invité, Université Paris 1 Pantheon-Sorbonne. 2023
Shoenfield Prize, Association for Symbolic Logic. 2022
Bulletin of Symbolic Logic 25th Anniversary Prize, Association for Symbolic Logic/Cambridge University Press. 2021
Teaching Excellence Award (Honourable Mention), Student Union, University of Calgary. 2021
Visiting Professor, McGill University. 2015
Annual Fellow, Calgary Institute for the Humanities. 2013
Erasmus Mundus Scholar, Technical University Vienna. 2009
Visiting Fellow, University of California, Irvine. 2004

Publications

The genealogy of ‘∨’. Richard Zach and Landon D. C. Elkind. The Review of Symbolic Logic 16(3). 862–899. (2023)
Epsilon theorems in intermediate logics. Matthias Baaz; Richard Zach. The Journal of Symbolic Logic 87 (2). 682–720. (2022)
An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs. Paolo Mancosu; Sergio Galvan; Richard Zach. Oxford University Press. (2021)
Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D. Samara Burns; Richard Zach. The Review of Symbolic Logic 14 (4). 910–929. (2021)
Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi. Richard Zach. The Review of Symbolic Logic 14 (3). 645–686. (2021)
The epsilon calculus. Jeremy Avigad; Richard Zach. Stanford Encyclopedia of Philosophy. (2019)
The significance of the Curry-Howard isomorphism. Richard Zach. Philosophy of Logic and Mathematics. Proceedings of the 41st International Ludwig Wittgenstein Symposium. 313-325. (2019)
Hilbert's Program. Richard Zach. Stanford Encyclopedia of Philosophy. (2019)
forall x: Calgary. An introduction to formal logic. Tim Button; P. D. Magnus; Robert Trueman; J. Robert Loftis; Aaron Thomas-Bolduc; Richard Zach. 380. (2019)
Boxes and diamonds. An open introduction to modal logic. Richard Zach. 262. (2019)
Sets, logic, computation. An open introduction to metalogic. Richard Zach. 373. (2019)
Incompleteness and computability. An open introduction to Gödel's theorems. Richard Zach. 280. (2019)
Semantics and proof theory of the epsilon calculus. Richard Zach. Springer. 27-47. (2017)

Google Scholar

PhilPapers

ORCID

In the News

Logic Courseware, Surveyed. Daily Nous. (2023)
Shoenfield Logic Book and Article Prize Winners Announced. Daily Nous. (2023)
E-textbooks a growing part of university education – with mixed benefits. CTV News. (2022)