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.

Degree Requirement Attributes

QDS

The Courses@Dartmouth contains the most up-to-date information about a course. It includes not only the meeting time and instructor, but also its official distributive and/or world culture designation. This information supersedes any information you may see elsewhere, to include what may appear in this ORC/Catalog or on a department/program website. Note that course attributes may change term to term therefore those in effect are those (only) during the term in which you enroll in the course.