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 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 | ]
  • Lecture 7 (09/28/18) [1up | 4up | ]
  • Lecture 8 (10/02/18) [1up | 4up | ]
  • Lecture 9 (10/05/18) [1up | 4up | ]
  • Lecture 10 (10/09/18) [1up | 4up | ]
  • Lecture 11 (10/12/18) [1up | 4up | ]
  • Lecture 12 (10/16/18) [1up | 4up | ]
  • Lecture 13 (10/19/18) [1up | 4up | ]
  • Lecture 14 (10/23/18) [1up | ]

 

  • Lecture 15 (10/30/18) [1up | 4up | ]
  • Lecture 16 (11/02/18) [1up | 4up | ]
  • Lecture 17 (11/06/18) [1up | 4up | ]
  • Lecture 18 (11/09/18) [1up | 4up | ]
  • Lecture 19 (11/13/18) [1up | 4up | ]
  • Lecture 20 (11/16/18) [1up | 4up | ]
  • Lecture 21 (11/20/18) [1up | 4up | ]
  • Lecture 22 (11/27/18) [1up | 4up | ]
  • Lecture 23 (11/30/18) [1up | 4up | ]
  • Lecture 24 (12/04/18) [1up | ]