An introduction to contemporary formal logic and reasoning. No formal prerequisites. Topics include symbolization and evaluating deductive arguments in sentential and predicate logic: natural language symbolization techniques; truth tables and interpretations; systems of natural deduction up to relational predicate logic with identity.
Required Text: Virginia Klenk, Understanding Symbolic Logic, 5th edition, (Prentice-Hall, 2008). Available in bookstore.
Evaluation:Bi-weekly online small group discussions (worth 20% of the final grade), four remotely proctored online tests (10% each), and a cumulative online Proctorio final exam (40%).
COVID-19 notice: This course is designed to accommodate students who might not be physically situated in Vancouver. All activities are online, including the remotely proctored tests and final exam. The lectures will be recorded and stored on the course website and could be downloaded to your own device, if needed.