Academic Calendar - 2024

Western University Academic Calendar. - 2024
Western Main Campus

Philosophy 2020

BASIC LOGIC


An introductory course in formal logic, which focuses on Modern Symbolic Logic, including derivations and trees in propositional and first-order predicate logic and tests for logical truth, equivalence, and consistency. This course may be used to satisfy the Honours Specialization in Philosophy logic requirement.

Antirequisite(s): Philosophy 2250, Philosophy 2252W/X, Computer Science 2209A/B.

Extra Information: 2 hours.

Course Weight: 1.00
Breadth: CATEGORY B i  
Subject Code: PHILOSOP

This Course is Mentioned in the Following Calendar Pages: