Logic

Three credits · Undergraduate

A course in formal logic. Presupposing a familiarity with propositional logic, it focuses on first order predicate logic (with identity) and metalogic. Topics to be covered include translating sentences from English into symbolic notation, the semantics of predicate logic, deductions, soundness and completeness. Prerequisite: PHIL 251. Three credits. Not offered 2026-2027.