PHIL 29420/39420 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 we use to describe it. (B) (II)
Introduction to Logic (or Accelerated Introduction to Logic).