PHIL 32 Intermediate Logic
An investigation of three branches of symbolic logic: first-order predicate logic with identity, sentential modal logic, and predicate modal logic. Topics to be covered may include Russell's theory of definite descriptions; the treatment of non-denoting terms in logics known as "free logics;" investigations of various modalities, involving pairs of concepts such as necessity and possibility, being obligatory and being permitted, and being known and being believed; Kripke-style "possible world" semantics.
Prerequisite
PHIL 6, or MATH 39 or
MATH 69, or permission of the instructor.