Open main menu

Wikipedia β

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.

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



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. 

External linksEdit