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 (09/07/18) [1up | 4up | ]
  • Lecture 2 (09/11/18) [1up | 4up | ]
  • Lecture 3 (09/14/18) [1up | 4up | ]
  • Lecture 4 (09/18/18) [1up | 4up | ]
  • Lecture 5 (09/21/18) [1up | 4up]
  • Lecture 6 (09/25/18) [1up | 4up | ]