Philosophy 290-3

Graduate seminar on intuitionistic logic. Focus will be on different semantics for intuitionistic and intermediate logics—their mathematical features and philosophical significance. Readings from Dummett, Rumfitt, and work in progress by Bezhanishvili and Holliday.