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.
Monday  Tuesday  Wednesday  Thursday  Friday  Saturday  Sunday 

  2p‑3p (Jan 17  Apr 11)    4p‑5p (Jan 12  Apr 06)       
F2017  PHIL 603  Graduate Proseminar  
 
W2018  PHIL 579.2  Advanced Topics in Logic (Modal Logic)  
 
W2018  PHIL 679.5  Topics in Logic (Modal Logic)  

The Collected Works of Rudolf Carnap
The Open Logic Project
Editor, Journal for the History of Analytic Philosophy
Associate Editor, Studia Logica
Subject Editor, Stanford Encyclopedia of Philosophy (History of Modern Logic)
Editor, Review of Symbolic Logic (20072013)