A review of the techniques of logical analysis and evaluation coupled with a careful study of the formal syntax and semantics of sentential and predicate logic. Emphasis on the proof of important metatheoretic results. Antirequisite(s): Philosophy 2020, 2250. Prerequisite(s): A minimum of 85% in any grade 12U Mathematics course or any 1020-level course in Applied Mathematics, Calculus, Computer Science, Mathematics, or Statistical Sciences, or permission of the Department. Corequisite(s): Pre-or Corequisite(s): Extra Information: 4 hours, 1.0 course. back to top
