Systematic study of formal reasoning. Focus on the representation and evaluation of arguments in propositional and predicate logic. Additional topics vary, and may include meta-logic, modal logic, and non-classical logics.
Students entering 2012 or after: satisfies the Mathematical and Quantitative Thought distribution requirement.
Students entering before 2012: satisfies one half of the Religion and Philosophy distribution requirement.