Philosophy 160 Course Schedule


 TestsDate Solutions
 1October 11*Test 1
 2November 20*
 3December 13 
*subject to revision

Note: Materials without hyperlinks are  provided in Canvas

 Week SubjectMaterialsSolutions
1-2 Propositional logic: Syntax and semantics
  • Language
  • Trees

Propositional logic
 
HW1
More 1
More 2
 2-3 Propositional Calculus
  • Direct proof
  • Conditional proof
  • Indirect proof


Propositional calculus
 

3-4 Predicate logic:  Syntax 
  • Quantifiers, predicates, variables and names
  • Identity


Predicate logic

HW5

4-5Predicate logic: Semantics
  • Evaluating formulas in a model
  • Trees

Predicate logic

 

6Predicate calculus: Derivations
  • Natural deduction
  • Identity
  • Functions


Predicate calculus





7-8 Modal logic
  • Modal operators
  • Leibnizian modal logic
 
Logics  Ch 11

Lecture slides
 

9-10 Meinongian free logicLogics  Ch 15.1 

Lecture Slides
        HW15

11Elementary set theory 1
  • Sets
  • Set Operations
Set theory 2.1-2.2

2.1 lecture slides
2.2 lecture slides

 

12Elementary set theory 2
  • Functions
  • Sequences and summations
Set theory 2.3-2.4

2.3 lecture slides
2.4 lecture slides


13Induction and Recursion
  • Mathematical induction
  • Recursion
Induction 4.1-4.3

Lecture slides


14Infinite sets 
  • Russell's paradox
  • Ordinals
  • Burali-Forti Paradox
The Infinite  Ch 8 

Lecture slides
 


15 Incompleteness and undecidability
  • Gödel's theorem
  • Church-Turing thesis
  • Church's theorem

 The Infinite  Ch 12


Lecture slides
 

















Comments