Progress tracker
This is a conditionally self-paced course. What this means is that there are cut-off dates beyond which you must receive permission to take the test by demonstrating your proficiency to the instructor or a tutor. 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. 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 calendar tracks are not provided for + and - grades.
Also note that tutoring service is required for A and B grades. The final line in the calendar identifies the minimum level you must be at to get tutoring credit on the corresponding date. If essentially corresponds to the B-track, which is the minimum grade for which peer tutoring is required. Argument structure and evaluation | Read | Chapters 1 & 2 | | Watch | Lecture*/Slides | | Note | Readings from Schaum's Easy Outline of Logic
Lecture = Video with close caption option.
Slides = PowerPoint slides used for lecture.
YouTube = Same video on YT, no CC option. |
*Some of the videos for this class contain annotations correcting small errors. Unfortunately, these annotations do not show up on a mobile device. So it is best to engage these videos on a desktop or laptop computer. If you think you have detected an error in a video, you can check the corresponding slides to see if it has been corrected there. And you may always e-mail the instructor or talk to him in class as well.
|
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
*Some browsers may not display quantifiers properly. If this occurs, please use a different browser.
|
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 | |
| 
