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: For up-to-date information on the status of UBC’s 2020W Term 2 courses, please refer to UBC’s COVID-19 website.