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.
(Jan 17 - Apr 11)
(Jan 12 - Apr 06)
|W2017 - PHIL 479 - Logic III|
|W2017 - PHIL 679.1 - Topics in Logic (Godel's Incompleteness Theorem)|
|F2017 - PHIL 603 - Graduate Proseminar|
|W2018 - PHIL 579.2 - Advanced Topics in Logic (Modal Logic)|
|W2018 - PHIL 679.5 - Topics in Logic (Modal Logic)|