You are now in the main content area

PHL 650

Beyond Classical Logic

This course explores non-classical logics and extensions to classical logic. Potential topic to be explored include: modal logic, higher-order logic, the logic of conditionals, many-valued logic, fuzzy logic, supervaluationism, intuitionist logic, and relevance logic. The course may also ask how the notion of entailment is best interpreted in such systems. Students are expected to already have a familiarity with classical propositional and first-order logic.
Weekly Contact: Lecture: 3 hrs.
GPA Weight: 1.00
Course Count: 1.00
Billing Units: 1

Prerequisites

PHL 212 or MTH 110 or MTH 714

Co-Requisites

None

Antirequisites

None

Custom Requisites

None

Mentioned in the Following Calendar Pages

*List may not include courses that are on a common table shared between programs.