PHIL 259 - Non-Classical Logic

This course introduces non-classical extensions and alternatives to classical logic, and the philosophical debates surrounding them. Topics include modal logic (the logic of possibility and necessity), intuitionistic and many-valued logics (in which sentences may be neither true nor false, or both true and false), and relevant logic (which tries to refine the classical concept of entailment to capture the idea that the premises of arguments should be relevant to their conclusions). Students will learn tableau-style proof theories and Kripke frame semantics for a variety of non-classical logics, and will discuss adjacent philosophical issues, including the nature of necessity and possibility, the metaphysics of ordinary objects and fictional characters, the nature of truth, and the relationship between the world and the logical theories used to describe it.
Recent Professors
Open Seat Checker
Schedule Planner
Recent Semesters
Fall 2017
Avg. Class Size
Avg. Sections