Schedule Spring 2015

Week Readings andAssignments Due In-Class Activities
Week 1 Introduction and Overview of First Order Logic
1/12
  • Introductions
  • Course Overview
1/16 ReadHughs: On First Order Logic  (PCFOL)Horsten and Pettigrew: Introduction (CCPL)Horsten and Pettigrew: Mathematical Methods in Philosophy (CCPL)
  • Discuss Readings
   
Week 2                Truth Functions and Truth Tables
1/19 ReadAgler: Language, Syntax, and Semantics (SL)Agler: Truth Tables (SL) No Class Meeting
1/23 Due:Problem Set 1
  • Quiz 1
  • Discuss Exercises
Week 3          Decision Procedures in Propositional Logic
1/26 ReadAgler: Truth Tables (SL)Agler: Truth Trees (SL)
  • Discuss Reading
  • Review Procedures
1/30 Due:Problem Set 2
  • Quiz 2
  • Discuss Exercises
Week 4 Natural Deduction in Propositional Logic
2/2 ReadAgler: Propositional Logic Derivations (SL)McGee: Logical Consequence (CCPL3)
  • Discuss Reading
  • Review Procedures
2/6 Due:Problem Set 3
  • Quiz 3
  • Discuss Exercises
Week 5
2/9
  • Discuss Reading
  • Review Procedures
2/13
Week 6
2/16
  • Discuss Reading
  • Review Procedures
 ***REVISIONS START HERE***  The Predicate Calculus
2/20
Week 7 The Predicate Calculus and Semantic Trees
2/23 ReadAgler: Predicate Language, Syntax, and Semantics (SL)Due: Problem Set 4
  • Quiz 4
  • Discuss Exercises
2/27 ReadAgler: Predicate Logic Trees (SL)
  • Discuss Reading
Week 8                Predicate Logic: Semantic Trees, Derivations
3/2
Agler: Predicate Logic Trees (SL)Due: Problem Set 5
  • Quiz 5
  • Discuss Exercises
3/6 Predicate Logic: Derivations 
ReadAgler: Predicate Logic Derivations (SL)
Week Off Spring Break
Week 9 Predicate Logic: Derivations 
3/16 ReadAgler: Predicate Logic Derivations (SL) 
  • Work on Exercises

 

3/20 Due: Problem Set 6
  • Quiz 6
  • Discuss Exercises
Week 10 Review of Predicate Logic and Mid-Term Exam
3/23 Presentations 
3/27 Mid-Term Exam
Week 11 Identity and Existence
3/30 Read

  • Anderson: Identity and Existence in Logic (CCPL)

Optional

 

  • Discuss Reading

 

4/3 Due

  • Reflection Paper 1
  • Discuss Reading
  • Discuss Papers
Week 12 Definite Descriptions
4/6 Read

  • Linsky: Quantifications and Descriptions (CCPL)
  • Hylton: The Significance of On Denoting (PCFOL)
  • Discuss Reading

 

4/10 Read

  • Linnebo: Higher-Order Logic (CCPL)

Due

  • Reflection Paper 2
  • Discuss Reading
  • Discuss Papers
Week 13 Second-Order Logic and Modal Logic
4/13 Read

  • Linnebo: Higher-Order Logic (CCPL)
  • Discuss Reading

 

4/17 Read

  • Burgess: The Logic of Necessity (CCPL)

Due

  • Reflection Paper 3
  • Discuss Reading
  • Discuss Papers
Week 14 Vagueness
4/20 Read

  • Dietz: The Paradox of Vagueness (CCPL)
  • Discuss Reading

 

4/24 Re-Read

  • Dietz: The Paradox of Vagueness (CCPL)

Due:

  • Reflection Paper 4
  • Discuss Reading
  • Discuss Papers
Week 15 Truth
4/27 Read

  • Horsten and Halbach: Truth and Paradox (CCPL)
  • Discuss Reading

 

5/1 Final Exam

 

 

 

 

Leave a Reply

Your email address will not be published.