PHIL 230: Introduction to Formal Logic

This course offers the fundamentals of formal logic. Topics include: the basics of argumentation, validity and soundness, the syntax and semantics of propositional logic, Monadic and relational predicate logic, the logic of identity and philosophical applications of formal logic.