University of Calgary

Richard Zach

  • Professor

About

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.

Office Hours

  • By appointment

Currently Teaching

 F2020 - PHIL 279 - Logic I
 F2020 - PHIL 473 - Philosophy of Logic
 F2020 - PHIL 671.5 - Topics in Philosophical Logic and the Philosophy of Language (Non-Classical Logics)
 W2021 - PHIL 279 - Logic I
 W2021 - PHIL 379 - Logic II
 W2021 - PHIL 677 - Metalogic
LEC 1TBA
WEB BASED

Edited Work

The Collected Works of Rudolf Carnap
The Open Logic Project

Editor, Ergo
Editor, Journal for the History of Analytic Philosophy
Editor, Philosophia mathematica
Associate Editor, Studia Logica
Subject Editor, Stanford Encyclopedia of Philosophy (History of Modern Logic)

Editor, Review of Symbolic Logic (2007-2013)

Publications

Book

Book Chapter

Journal Article

Curriculum Vitae

Degrees

Awards

  • 2012 - SSHRC Standard Research Grant - Social Sciences and Humanities Research Council
  • 2007 - NSERC Discovery Grant - Natural Sciences and Engineering Research Council

Students

Powered by UNITIS. More features.