- Professor

University of Calgary

- Professor

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.

*The Collected Works of Rudolf CarnapThe Open Logic Project*

Editor, *Ergo*Editor,

Associate Editor,

Subject Editor,

Editor, *Journal for the History of Analytic Philosophy* (2010–2021)

Editor, *Review of Symbolic Logic* (2007–2013)

*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.

*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.

*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.

*Zach, Richard*. Hilbert's Program, Stanford Encyclopedia of Philosophy 2003.*Zach, Richard and Avigad, Jeremy*. The Epsilon Calculus, Stanford Encyclopedia of Philosophy 2002.

- 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

Powered by UNITIS. More features.