Skip to main content area 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.

Offerings

TermBlockTitleInstructorLocationStudent Limit/ AvailableUpdated
Fall 2017 Block 1 Formal Logic Helen Daly Armstrong Hall 341 25/13 07/21/2018
Spring 2018 Block 5 Formal Logic Michael Kim Armstrong Hall 342 25/-2 07/21/2018
Fall 2018 Block 1 Formal Logic Michael Kim TBA 25/4 07/21/2018