Philosophy 4515: Advanced
Logic
Readings
Part 0: Background Readings on Professional/Boolean Logic
Part I: Monadic Predicate Logic (Syntax & Semantics)
 Unit #1: Syntax of Monadic Predicate Logic & English Symbolization
 Unit #2: Semantics of Monadic Predicate Logic
Part II: Relational Predicate Logic (Syntax & Semantics)
 Unit #1: Syntax of Relational Predicate Logic & English Symbolization
 Unit #2: Semantics of Relational Predicate Logic
Part III: Natural Deduction
 Unit #1: Natural Deduction for Propositional Logic
 Unit #2: Natural Deduction for Predicate Logic
Part IV: Computational Methods for Reasoning in Predicate Logic
 Unit #1: Propositional Resolution
 Unit #2: Resolution (and Unification) in Predicate Logic
Lecture Notes 
Handouts 
Pre MidTerm 
Post MidTerm 

 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  ]


