- Professor
University of Calgary
Department of Philosophy
Richard Zach
About
Richard Zach works in formal logic, history of analytic philosophy, and the philosophy of mathematics. In logic, his main interests are non-classical logics and proof theory. His 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 he is interested in Hilbert's program and the philosophical relevance of proof theory.
Currently Teaching
| F2022 - PHIL 603A - Graduate Proseminar | ||||||||||
| ||||||||||
| F2022 - PHIL 679.6 - Topics in Logic (Proof Theory) | ||||||||||
| ||||||||||
| W2023 - PHIL 603B - Graduate Proseminar | ||||||||||
| ||||||||||
Edited Work
The Collected Works of Rudolf Carnap
The Open Logic Project
Editor, Ergo
Editor, Philosophia mathematica
Associate Editor, Studia Logica
Subject Editor, Stanford Encyclopedia of Philosophy (History of Modern Logic)
Editor, Journal for the History of Analytic Philosophy (2010–2021)
Editor, Review of Symbolic Logic (2007–2013)
Publications
Book
- Mancosu, Paolo, Galvan, Sergio and Zach, Richard. An Introduction to Proof Theory Oxford: Oxford University Press, 2021. Print.
- Zach, Richard. Sets, Logic, Computation Calgary and Bloomington: CreateSpace, 2017. Print.
- Zach, Richard. Incompleteness and Computability Calgary and Bloomington: CreateSpace, 2017. Print.
Book Chapter
- Zach, Richard, Badesa, Calixto and Mancosu, Paolo. "The development of mathematical logic from Russell to Tarski: 1900-1935" The History of Modern Logic Ed. Haaparanta, Leila Oxford University Press, 2009. 324-479. Print.
- Zach, Richard. "Hilbert’s program then and now" Philosophy of Logic Ed. Jacquette, Dale Elsevier: Amsterdam, 2006. 411-447. Print.
Journal Article
- Schiemer, Georg, Zach, Richard and Reck, Erich. "Carnap's Early Metatheory: Scope and Limits". Synthese 194. (2017): 33–65. Print.
- Zach, Richard. "Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective)". Journal of Philosophical Logic 45 (to appear): 183–197. Print.
- Mancosu, Paolo and Zach, Richard. "Heinrich Behmann's 1921 lecture on the decision problem and the algebra of logic". Bulletin of Symbolic Logic 21.2 (2015): 164-187. Print.
- Zach, Richard, Baaz, Matthias and Preining, Norbert. "First-order Gödel Logics". Annals of Pure and Applied Logic 147. (2007): 23-47. Print.
- Zach, Richard. "Decidability of quantified propositional intuitionistic logic and S4 on trees". Journal of Philosophical Logic 33. (2004): 155-164. Print.
- Zach, Richard. "The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's Program". Synthese 137. (2003): 211-259. Print.
- Zach, Richard. "Completeness before Post: Bernays, Hilbert, and the development of propositional logic". Bulletin of Symbolic Logic 5. (1999): 331-366. Print.
- Baaz, Matthias and Zach, Richard. "Generalizing theorems in real closed fields". Annals of Pure and Applied Logic 75. (1995): 3-23. Print.
Other
- Zach, Richard. Hilbert's Program, Stanford Encyclopedia of Philosophy 2003.
- Zach, Richard and Avigad, Jeremy. The Epsilon Calculus, Stanford Encyclopedia of Philosophy 2002.
Curriculum Vitae
Degrees
- PhD - Logic and the Methodology of Science
University of California at Berkeley, 2001 - MA - Mathematics
University of California at Berkeley, 1997 - Dipl-Ing - Computational Logic
Technische Universität Wien, 1993
Students
Powered by UNITIS. More features.