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.
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.
Extra Information: 4 hours.
Course Weight: 1.00
Subject Code: PHILOSOP
This Course is Mentioned in the Following Calendar Pages: