Progress tracker
This is a conditionally self-paced course. What this means is that there are cut-off dates beyond which tests for the first six modules are no longer available in class. These dates are indicated in the calendar below by red numbers. So the course is self-paced as long as you stay ahead of those dates.
| Refer to the syllabus to achieve a complete understanding of the implications of falling behind these dates. Also please be aware that these dates are indicative of a poor rate of progress. Students who finish Module 6 on the indicated date are likely to receive no better than a D in the course. | In the calendar below you will also see rates of progress indexed to specific course grades. The dates indicated are not cut-off dates. They are provided to help you plan and develop realistic expectations. Please note that even the most successful students will sometimes need to take tests multiple times. | The dates below should be conceived as targets for passing the test, not for making your first attempt. Note that tracks are not provided for + and - grades.
Also note that tutoring service is required for A and B grades. Please refer to the syllabus if you are unacquainted with this requirement |
Chapters 1 & 2 Argument structure and evaluation
*Many of the videos for this class contain annotations correcting small errors. Unfortunately, these annotations do not currently show up on a mobile device. So you are strongly encouraged to engage these videos on a desktop or laptop computer.
|
Chapter 3 The language of propositional logic
Chapter 3 The semantics of propositional logic
| *Solutions to remaining homeworks on separate page. |
Chapter 3 Refutation trees I
*The Module 3 quiz contains some questions relating to the 2 rules for the biconditional. These are addressed in the first lecture of Module 4. Study this lecture before taking the quiz. The Module 3 test, will not cover the rules for the biconditional.
|
Chapter 3 Refutation trees 2
Chapter 4
Propositional calculus: Non hypothetical rules
Chapter 4 Propositional calculus: Conditional proof
Module 7
Chapter 4
Propositional calculus: Indirect proof
Chapter 4
Propositional calculus: Derived rules, theorems and equivalences
Note: Although we skip Chapter 5 of the text, it is a useful preface to Chapter 6, and students are advised to read it.
|
Chapter 6
Predicate logic: Predicates, names, quantifiers and variables
Chapter 6
Predicate Logic: Formation rules, models, identity
Chapter 7
Predicate calculus: Inference rules for universal quantifier
Chapter 7
Predicate calculus: Inference rules for existential quantifier
Chapter 7
Predicate calculus: Quantifier exchange and inference rules for identity
| Errors in Schaum's Easy Outline of Logic |
| | Errors in Schaum's Outline of Logic, 2nd Edition | |
|