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.


TermBlockTitleInstructorLocationStudent Limit/ AvailableUpdated
Fall 2018 Block 1 Formal Logic Michael Kim Armstrong Hall 230 25/1 01/23/2019