 Professor
Richard Zach works in formal logic, history of analytic philosophy, and the philosophy of mathematics. In logic, his main interests are nonclassical 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.
F2021  PHIL 279  Logic I  
 
F2021  PHIL 379  Logic II  
 
F2021  PHIL 677  Metalogic  

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)