Skip to Content
University at Buffalo

UB Graduate Academic Schedule: Spring 2020

This information is updated nightly. Additional information about this course, including real-time course data, prerequisite and corequisite information, is available to current students via the HUB Student Center, which is accessible via MyUB.


PHI 519SEM - Topics In Logic-Top's Log: Modal Logic
Topics In Logic-Top's Log: Modal Logic BRA Enrollment Information (not real time - data refreshed nightly)
Class #:   24093   Enrollment Capacity:   25
Section:   BRA   Enrollment Total:   7
Credits:   3.00 credits   Seats Available:   18
Dates:   01/27/2020 - 05/08/2020   Status:   OPEN
Days, Time:   M , 1:00 PM - 3:40 PM
Room:   Online view map
Location:   North Campus      
This course will introduce a variety of logical systems beyond first-order predicate logic that are commonly used in philosophy. We will spend the most time with modal logic (the logic of necessity and possibility). We will, however, begin with ordinary propositional/senential logic, so as to develop its semantics and proof theory in a more rigorous way than is common in beginning logic courses. We will show that these ?match? in a certain sense. More precisely, we will introduce a proof system for propositional logic, and show that every theorem of this system is valid (this result is called ?soundness?), and we will also sketch a proof that every valid sentence can be deducted within this system (?completeness?). We will then turn to modal logic. We will consider the proof theory and semantics of several systems of modal logic, and the soundness and completeness of those systems. Depending on time, we will discuss some of the following: tense logic, deontic logic, counterfactual conditionals, first-order predicate logic, modal first-order predicate logic, and definite descriptions. Required work: Approximately fourteen homework assignments, and approximately three exams. The last exam will occur during the final exams period. Pre-requisite, strictly enforced: PHI 215 (Symbolic Logic) at UB or instructor permission. Students who have not taken PHI 215 at UB, but who believe that they have taken an equivalent course, must contact the instructor before enrolling.
             Braun, D look up    
  On-line Resources
Other Courses Taught By: Braun, D