Schedule Philosophy 60 Spring 2015

Note to users

 1. The slides below are those used in the videos.  You are strongly advised to engage the videos first and the slides
afterwards, as the videos contain commentary not on the slides.  

2. The numbers on the worksheets will normally correspond fairly well with the numbers on the videos; i.e, 
typically the same type of content will be covered in Video 3 and Worksheet  White numbers inserted in slide and 
worksheet columns are blanks to facilitate correspondence between slides and videos.

3. At the bottom of this page you will find a list of errata for the textbooks as well as flashcards to help with memorization of rules.


 Week ReadingsVideo Instruction Slides HomeworkReview /
Solutions
    Tests 
 1 Ch 1& 2: Argument Structure and Evaluation 1 
1


  
 1- 2 Ch 3: Propositional Logic:  Argument Forms, Logical Operators, Formalization,
Semantics of Operators, Truth Tables for wffs and argument forms.
1, 2, 3, 4, 56  
1, 2, 3, 4, 5, 61, 2, 3, 4, 56 1, 25, 
 2-3 Ch 3: Propositional Logic:  Refutation Trees I
1, 2, 3, 41, 2, 3, 41,2, 3, 412, 3, 4
 4 Ch 3: Propositional Logic:  Refutation Trees II11

1

1Practice Test 1
Solution
 5 Ch 4: Propositional Calculus: Non hypothetical inference rules1, 2, 31, 2, 31, 2, 31, 2, 3Test 1
Solution
 6-7 Ch 4:  Propositional Calculus: Hypothetical Inference Rules, Conditional
Introduction and Negation Introduction
1, 2, 31, 2, 31, 2, 3,1, 2
 7-8 Ch 4: Propositional Calculus: Derived Rules, Theorems and Equivalences1, 2, 34, 5, 61, 2, 3, 4, 5, 61, 2, 3, 4 5, 61, 2, 3, 4, 5, 6
 9 Ch 6: Predicate Logic:   Predicates, Names, Quantifiers and Variables1, 2, 3, 41, 2, 31, 2, 3, 41, 2, 3, 4Practice Test 2
Solution
 10 Ch 6: Predicate Logic: Formation Rules and Models1, 21, 21, 2, 3, 4, 51. 2, 3, 4, 5Test 2 
Solution
 11 Ch 6: Predicate Logic: Identity1
11, 21, 2
 12 Ch 7: Predicate Calculus: Inference Rules for Universal Quantifier1, 21, 21, 21, 2
 13 Ch 7: Predicate Calculus: Inference Rules for Existential Quantifier1, 21, 21, 21, 2Practice Test 3
Solution
 14 Ch 7: Predicate Calculus: Quantifier Equivalence Rules11 11Test 3 
Solution
 15 Ch 7: Predicate Calculus:  Identity11 11
FinalsFinal Exam    Practice Test 4
Solution

Test 4
Solution



Additional problems with solutions


 Problems Solutions
Propositional logic translation and truth tables evaluation. 11
Refutation trees and introductory propositional calculus 123 123

Comments