Schedule Philosophy 60


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.

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. 

<Click image to enlarge>

Attendance and peer tutoring tally  


Chapters 1 & 2

     Argument structure and evaluation

Read Chapters 1 & 2 
WatchLecture*/Slides
NoteReadings 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.

Module 1

    Chapter 3
    The language of propositional logic

Read  21-25
WatchLecture/Slides
Do HW 1 contains solution
Read None
Watch Lecture/Slides
Do HW 2  contains solution
Read 25-28
Watch Lecture/Slides
Do HW 3 contains solution 
Do Module 1 video quiz
Do  Module 1 quiz in BB
Do Practice test 1a/Solution
Do Practice test 1b/Solution
Watch Tricky translations
Watch Test advice /YouTube
Take Module 1 test in class

Module 2

    Chapter 3
    The semantics of propositional logic

Read 28-30
WatchLecture/Slides
DoHW1 contains solution
Read31-33
WatchLecture/Slides
DoHW2/Solution*
Read33-35
WatchLecture /Slides
DoHW3
Do Module 2 quiz 1 in BB
Do Module 2 quiz 2 in BB
DoPractice test 2a/ Solution
DoPractice test 2b/ Solution 
Watch Test advice
Do Module 2 test in class.

 *Solutions to remaining homeworks on separate page.

Module 3

    Chapter 3
    Refutation trees I

Read No reading
WatchLecture/Slides
DoNo HW
Read 35-37
WatchLecture/Slides
DoHW1/Video Solution
Read 38-39
WatchLecture/Slides
DoHW2/Solution
DoModule 3 quiz 1 in BB*
DoPractice test 3a/ Solution
Do Practice test 3b/ Solution
WatchTest advice
DoModule 3 test in class

*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.

Module 4

    Chapter 3
    Refutation trees 2

Read 39-41
WatchLecture/Slides
DoHW1/Solution
Read39-41 for review
WatchLecture/Slides
DoHW2/Solution 
DoModule 4 quiz in BB
DoPractice test 4a/ Solution
DoPractice test 4b/ Solution 
ReadTest advice
DoModule 4 test in class 

Module 5

    Chapter 4
    Propositional calculus: Non hypothetical rules


Read 42-46
WatchLecture/Slides
DoHW1/Solution 
Read42-46
WatchLecture/Slides
DoHW2/Solution
Read42-46
WatchLecture/Slides
DoHW3/Solution
DoModule 5 quiz in BB 
Do Practice test 5a/ Solution
DoPractice test 5b/ Solution
ReadTest advice
DoModule 5 test in class 

Module 6

    Chapter 4
    Propositional calculus: Conditional proof

Read 46-49
WatchLecture/Slides
DoHW1/Solution
Read49-50
DoModule 6 quiz in BB
DoPractice test 6a/ Solution
Do Practice test 6b/ Solution 
ReadTest advice
DoModule 6 test in class

Module 7


    Chapter 4
    Propositional calculus: Indirect proof

Read49-50
WatchLecture/Slides
DoHW1/Partial Solution
WatchLecture/Slides
DoModule 7 quiz  in BB
DoPractice test 7a/ Solution
Do Practice test 7b/ Solution 
ReadTest advice
DoModule 7 test in class


Module 8


    Chapter 4
    Propositional calculus: Derived rules, theorems and equivalences

Read 50-52
WatchLecture/Slides
DoHW1/Solution
Read52-53
WatchLecture/Slides
WatchLecture/Slides/
DoHW2/Solution 
WatchLecture/Slides
WatchLecture/Slides
DoHW3/Solution
Watch Lecture/Slides
Do Module 8 quiz 1 in BB
Do Module 8 quiz 2 in BB 
DoPractice test 8a/ Solution 
DoPractice test 8b/ Solution 
ReadTest advice
DoModule 8 test in class 


Note: Although we skip Chapter 5 of the text, it is a useful preface to Chapter 6, and students are advised to read it.

Module 9

    Chapter 6 
    Predicate logic: Predicates, names, quantifiers and variables

Read 72-78
WatchLecture/Slides
WatchLecture/Slides
DoHW1/Solution
WatchLecture/Slides
DoHW2/Solution 
WatchLecture
DoModule 9 Quiz on BB
DoPractice test 9a/ Solution
DoPractice test 9b/ Solution 
ReadTest advice
DoModule 9 Test in Class 


Module 10

    Chapter 6
    Predicate Logic: Formation rules, models, identity


Read 78-81
WatchLecture/Slides
Read81-86
WatchLecture/Slides
DoHW1/Solution
DoHW2/Solution
DoHW3/Solution
DoHW4/Solution
Read  94-96
WatchLecture/Slides
Do HW5/Solution
DoHW6/Solution
Note
Note: You will not be tested on refutation trees for predicate logic but the material is very helpful for understanding Module 11. These slides cover it.
DoModule 10 quiz 1 on BB 
DoModule 10 quiz 2 on BB
Do Practice test 10a/Solution 
Do Practice test 10b/Solution
ReadTest advice
Do  Module 10 test in Class

Module 11

    Chapter 7
    Predicate calculus: Inference rules for universal quantifier

Read 97-102
WatchLecture/Slides
DoHW1/Solution
WatchLecture/Slides
DoHW2/Solution
DoModule 11 quiz on BB
DoPractice test 11a/Solution
DoPractice test 11b/Solution
DoModule 11 test in class


Module 12

    Chapter 7
    Predicate calculus: Inference rules for existential quantifier

Read 102-106
WatchLecture/Slides
DoHW1/Solution
WatchLecture/Slides
DoHW2/Solution
DoModule 12 quiz on BB
Do Practice test 12a/Solution
Do Practice test 12b/Solution 
DoModule 12 test in class


Module 13

    Chapter 7
    Predicate calculus: Quantifier exchange and inference rules for identity

Read 106-109
WatchLecture/Slides
DoHW1/Solution
Read109-110
WatchLecture/Slides
DoHW2/Solution
DoModule 13 quiz on BB
DoPractice test 13a/Solution 
Do Practice test 13b/Solution 
DoModule 13 test in class


Course Tools

Refutation tree rules
Propositional calculus basic rules
Propositional calculus hypothetical rules
Flow chart for doing proofs 
Propositional calculus derived rules
Propositional calculus equivalences
Predicate calculus quantifier rules
Quantifier exchange and identity rules

Errata

Errors in Schaum's Easy Outline of Logic

Errors in Schaum's Outline of Logic, 2nd Edition



Comments