Philosophy 160 Course Schedule

Homework Tally  (Updated 11/5/17)

 TestsDate Solutions
 1October 10 1
 2November 162
 3December 14 
*approximate

Note: Materials without hyperlinks are  provided in Blackboard

 Week SubjectMaterialsSolutions
1 Propositional logic: Syntax and semantics
  • Language
  • Trees
PHIL 60 Modules 1-4
Logics  Ch 2-3
Summary of tree rules
 

 2-3 Propositional Calculus
  • Direct proof
  • Conditional proof
  • Indirect proof
PHIL 60 Modules 5-8
Logics Ch 4

Summaries of derivation rules: 1, 2, 3
 


3-4 Predicate logic:  Syntax 
  • Quantifiers, predicates, variables and names
  • Identity
PHIL 60 Modules 9-10
Logics Ch 6

HW4&5

5Predicate logic: Semantics
  • Evaluating formulas in a model
  • Trees
PHIL 60 Module 10
Logics Ch 7

 


6Predicate calculus: Derivations
  • Natural deduction
  • Identity
  • Functions
PHIL 60 Modules 5-8
PHIL 60 Modules 11-13 
Logics  Ch 4

Functions Lecture Slides

Summary of inference rules and equivalences





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

Lecture slides
 

9-10 Meinongian free logicLogics  Ch 15.1

Lecture Slides


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
GEB
  Ch 13,14, 17

Lecture slides
 

















Comments