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.

 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


Attendance and tutoring credits by last 4 digits of student id.
Updated 3/15


Note: Click on above calendar to open in a new tab if you do not see dates running through 12/15.

 Chapters 1 & 2

     Argument structure and evaluation

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

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


Module 1

    Chapter 3
    The language of propositional logic

Read  21-25
Watch Lecture/Slides/YouTube
Do HW 1 contains solution
Read None
Watch Lecture/Slides/YouTube
Do HW 2  contains solution
Read 25-28
Watch Lecture/Slides/YouTube
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/YouTube
DoHW1 contains solution
Read31-33
WatchLecture/Slides/YouTube
DoHW2/Solution*
Read33-35
WatchLecture/Slides/YouTube 
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/YouTube
DoNo HW
Read 35-37
WatchLecture/Slides/YouTube 
DoHW1/Video Solution
Read 38-39
WatchLecture/Slides/YouTube
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/YouTube
DoHW1/Solution
Read39-41 for review
WatchLecture/Slides/YouTube
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/YouTube
DoHW1/Solution 
Read42-46
WatchLecture/Slides/YouTube
DoHW2/Solution
Read42-46
WatchLecture/Slides/YouTube
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/YouTube
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/YouTube
DoHW1/Partial Solution
WatchHW1/Slides/YouTube
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/YouTube
DoHW1/Solution
Read52-53
WatchLecture/Slides/YouTube
WatchLecture/Slides/YouTube
DoHW2/Solution 
WatchLecture/Slides/YouTube
WatchLecture/Slides/YouTube
DoHW3/Solution
Watch Lecture/Slides/YouTube
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

Module 10

    Chapter 6
    Predicate Logic: Formation rules, models, identity


Read 78-81
WatchLecture/Slides/YouTube
Read81-86
WatchLecture/Slides/YouTube
DoHW1/Solution
DoHW2/Solution
DoHW3/Solution
DoHW4/Solution
Read  94-96
WatchLecture/Slides/YouTube
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/YouTube
DoHW1/Solution
WatchLecture/Slides/YouTube
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/YouTube
DoHW1/Solution
WatchLecture/Slides/YouTube
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/YouTube
DoHW1/Solution
Read109-110
WatchLecture/Slides/YouTube
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