Course Detail
Units:
3.0
Course Components:
Lecture
Enrollment Information
Enrollment Requirement:
Prerequisite: PHIL 2200 or instructor's consent.
Description
Basic work in logic of possibilities and necessities; nature of modality, theorems, and proof techniques in modal logic, possible worlds semantics, rigid and nonrigid designation, etc. For juniors and seniors.