Philosophy 160 Course Schedule

 TestsDate Solutions
 1 March 1 Test 1
 2 April 17 Test 2
 3 May 15th 
 HWUpdated 4/12 


Note: Materials without hyperlinks will be 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 Predicate logic:  Syntax 
  • Quantifiers, predicates, variables and names
  • Identity
PHIL 60 Modules 9-10
Logics Ch 6
 HW 2 
3Predicate logic: Semantics
  • Evaluating formulas in a model
  • Trees
PHIL 60 Module 10
Logics Ch 7

 HW3

 HW4
4-5Predicate 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
HW5


HW6


HW7
6 Modal logic
  • Modal operators
  • Leibnizian modal logic
 
Logics  Ch 11

Lecture slides
 
HW8

HW9
6-7 Meinongian free logicLogics  Ch 15.1

Lecture slides

HW10

HW11
7-8 Multivalued logics
  • Finite multivalued logic
  • Infinite valued logic
Logics  Ch 15.2, 16.1

FML lecture slides
IVL lecture slides

 
HW12

HW13

HW14
9Elementary set theory 1
  • Sets
  • Set Operations
Set theory 2.1-2.2

2.1 lecture slides
2.2 lecture slides

 
HW15

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

2.3 lecture slides
2.4 lecture slides
HW17

HW18
11Induction 
  • Mathematical induction
Induction 4.1-4.2

Lecture slides
HW19
12Infinite sets 1
  • Russell's paradox
  • Ordinals
  • Burali-Forti Paradox
The Infinite  Ch 8 

Lecture slides
 
13 Undecidability and incompleteness
  • Church's theorem
  • Godel's theorem

 The Infinite  Ch 12
GEB
  Ch 14

Lecture slides
 
14Metatheory 1: Propositional logic
  • Metalogic
  • Methods of proof
  • Decidability, soundness and completeness
Logics  Ch 5 
15Metatheory 2: Predicate logic
  • Church's thesis
  • Halting problem
  • Church's theorem
Logics  Ch 10 

















Comments