Philosophy 4515: Advanced Logic

[ Home ] [ Syllabus ] [ Course Materials ] [ Assignments & Exams ] [ Logicians ]


Readings

Part 0: Background Readings on Professional/Boolean Logic

Part I: Monadic Predicate Logic (Syntax & Semantics)

Part II: Relational Predicate Logic (Syntax & Semantics)


Part III: Natural Deduction

Part IV: Computational Methods for Reasoning in Predicate Logic


Lecture Notes
Handouts
Pre Mid-Term
Post Mid-Term
 
  • Lecture 1 (01/10/17) [1up | 4up]
  • Lecture 2 (01/13/17) [1up | 4up]
  • Lecture 3 (01/17/17) [1up | 4up]
  • Lecture 4 (01/20/17) [1up | 4up]
  • Lecture 5 (01/24/17) [1up | 4up]
  • Lecture 6 (01/27/17) [1up | 4up]
  • Lecture 7 (01/31/17) [1up | 4up]
  • Lecture 8 (02/03/17) [1up | 4up]
  • Lecture 9 (02/07/17) [1up | 4up]
  • Lecture 10 (02/10/17) [1up | 4up]
  • Lecture 11 (02/14/17) [1up | 4up]
  • Lecture 12 (02/21/17) [1up | 4up]
  • Lecture 13 (02/24/17) [1up | 4up]
  • Lecture 14 (02/28/17) [1up]

 

  • Lecture 15 (03/17/17) [1up | 4up]
  • Lecture 16 (03/21/17) [1up | 4up]
  • Lecture 17 (03/24/17) [1up | 4up]
  • Lecture 18 (03/28/17) [1up | 4up]
  • Lecture 19 (03/31/17) [1up | 4up]
  • Lecture 20 (04/04/17) [1up | 4up]
  • Lecture 21 (04/07/17) [1up | 4up]
  • Lecture 22 (04/11/17) [1up | 4up]
  • Lecture 23 (04/14/17) [1up | 4up]
  • Lecture 24 (04/18/17) [1up]