Office of the Registrar
Campus Address
Hanover, NH
Phone: (603) 646-xxxx
Fax: (603) 646-xxxx
Email: reg@Dartmouth.EDU

Organization, Regulations, and Courses 2016-17

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.




PHIL 6, or MATH 39 or MATH 69, or permission of the instructor.

Distributive and/or World Culture


The Timetable of Class Meetings 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.


16F: 11