Intuitionistic Logic

This course will be an introductory survey of the philosophical and mathematical foundations of intuitionistic logic, perhaps the most serious rival to classical logic. We will pay attention to its philosophical motivations, especially by examining some of the more philosophical works of Brouwer. The course will also involve a mathematically rigorous presentation of the metatheory of intuitionistic logic, using forcing and Kripke frames. (B) (II)