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/Downloads 

Pre MidTerm 
Post MidTerm 



