Richard Zach

Richard Zach
Institutions University of Calgary
Alma mater University of California, Berkeley
Thesis Hilbert's Finitism: Historical and Philosophical Perspectives (2001)
Doctoral advisors Paulo Mancosu, Jack Silver

Richard Zach is a Canadian logician, philosopher of mathematics, and historian of logic and analytic philosophy. He is currently Professor of Philosophy at the University of Calgary.


Zach's research interests include the development of formal logic and historical figures (Hilbert, Gödel, and Carnap) associated with this development. In the philosophy of mathematics Zach has worked on Hilbert's program and the philosophical relevance of proof theory. In mathematical logic, he has made contributions to proof theory (epsilon calculus, proof complexity) and to modal and many-valued logic, especially Gödel logic.[1]


Zach received his undergraduate education at the Vienna University of Technology and his Ph.D. at the Group in Logic and the Methodology of Science at the University of California, Berkeley. He has taught at the University of Calgary since 2001, and holds the rank of Professor. He has held visiting appointments at the University of California, Irvine[2] and McGill University.[3]Zach is a founding editor of the Review of Symbolic Logic and the Journal for the Study of the History of Analytic Philosophy, and is also associate editor of Studia Logica, and a subject editor for the Stanford Encyclopedia of Philosophy (History of Modern Logic).[4] He serves on the editorial boards of the Bernays edition[5] and the Carnap edition.[6] He was elected to the Council of the Association for Symbolic Logic in 2008[7] and he has served on the ASL Committee on Logic Education[8] and the executive committee of the Kurt Gödel Society.[9]


  1. Richard Zach. "Research and Publications". Retrieved 2014-12-10.
  2. UC Irvine LPS. "Logic and Philosophy of Science Visitors". Retrieved 2014-12-12.
  3. McGill Philosophy Department. "Visiting Scholars". Retrieved 2014-12-12.
  4. "Richard Zach". University of Calgary Department of Philosophy. Retrieved 2014-12-11.
  5. Carnegie Mellon University. "The Bernays Project". Retrieved 2014-12-11.
  6. Carnegie Mellon University. "The Collected Works of Rudolf Carnap". Retrieved 2012-12-11.
  7. Association for Symbolic Logic (January 2008). "ASL Newsletter" (PDF).,
  8. ASL Committee on Logic Education. "Members". Retrieved 2014-12-12.
  9. Kurt Gödel Society. "Organization". Retrieved 2014-12-12.
This article is issued from Wikipedia - version of the 6/12/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.