Philosophy 160 Course Schedule

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


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

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

2.1 lecture slides
2.2 lecture slides

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

2.3 lecture slides
 
10Induction 
  • Mathematical induction
  • Strong induction
  • Well-ordering
Induction 4.1-4.2 
11Infinite sets 1
  • Cantor's theory
  • Paradoxes
  • Axiomatization
The Infinite  Ch 8 

GEB Ch 13
 
12 Infinite sets 2
  • Russell's paradox
  • Continuum hypothesis
  • Skolem's paradox
The Infinite  Ch 10 & 11 
13Metatheory 1: Propositional logic
  • Metalogic
  • Methods of proof
  • Decidability, soundness and completeness
Logics  Ch 5 
14Metatheory 2: Predicate logic
  • Church's thesis
  • Halting problem
  • Church's theorem
Logics  Ch 10 
15 Gödel's incompleteness theoremsThe Infinite  Ch 12
GEB
 Ch 14
 

















Comments