Skip to main content area Skip to institutional navigation Skip to sub-navigation
Skip to main content

PH226 – Formal Logic

An introduction to the formal language of first-order logic, including the rules of syntax and semantics for sentential and predicate calculus, with a special emphasis on modes of quantification. Meets the Critical Perspectives: Quantitative Reasoning requirement.


TermBlockTitleInstructorLocationStudent Limit/ AvailableUpdated
Fall 2017 Block 1 Formal Logic Helen Daly Armstrong Hall 341 25/13 10/24/2017
Spring 2018 Block 5 Formal Logic Michael Kim TBA 25/0 10/24/2017