Richard Zach
University of Calgary
UofC Navigation
Home
This website has moved!
You are looking at an archived page. The website has moved to richardzach.org.
Submitted by Richard Zach on Thu, 10/23/2014 - 2:17pm
I am a Professor of Philosophy at the University of Calgary, working in logic, history of analytic philosophy, and the philosophy of mathematics. In logic, my main interests are non-classical logics and proof theory. My 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 I have mainly worked on Hilbert's program and the philosophical relevance of proof theory.
Curriculum vitae
Publications and Preprints
List and Preprints | Google Scholar | PhilPapers
Projects
Other Involvement
Courses and Teaching
- Logic I (Phil 279)
- Logic II (Phil 379)
- Logic III (Phil 479)
- Modal Logic (Phil 579.2/679.5)
- Nineteenth and Twentieth Century Analytic Philosophy (Phil 307)
- Logical Positivism (Phil 407.03)
- Evidence (Phil 409.02)
- Philosophy of Mathematics (Phil 567.03/667.16)
- Philosophy of Language (Phil 471)
- Paradoxes (Phil 579.01/679.02)
- Proof Theory (579.3/679.4)
- Carnap (Phil 507.01/609.02)
Old Blog Archive
- Open Logic Project
- The LogBlog is Moving!
- Academic Genealogy Graphed
- CfP: Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics
- In Memoriam: Grigori Mints
- Previously Unknown Turing Manuscript Going to Auction
- Carnap (and Goodman and Quine) and Linguistics (Guest post by Darin Flynn)
- Carnap on "Syntax" vs "Semantics"
Address
Department of Philosophy
University of Calgary
2500 University Drive NW
Calgary, AB T2N 1N4, Canada
Web: richardzach.org
Contact
Office: 1254 Social Sciences Building [map]
Email: rzach@ucalgary.ca
Phone & Fax: + 1 (403) 220-3170
Skype: richard.zach