PHIL 416 - Modal Logic
Winter 2021, Section 001
Instruction Mode: Section 001 is  Online (see other Sections below)
Subject: Philosophy (PHIL)
Department: LSA Philosophy
See additional student enrollment and course instructor information to guide you in your decision making.


Requirements & Distribution:
Waitlist Capacity:
With permission of instructor.
Advisory Prerequisites:
PHIL 414 or permission of instructor.
This course counts toward the 60 credits of math/science required for a Bachelor of Science degree.
May not be repeated for credit.
Primary Instructor:


Modal logic is the logic of possibility and necessity, designed to provide a formal system for reasoning about what must be and what could be the case. Modal logics extend the languages of propositional and predicate logic with modal operators, which have equipped philosophers to formalize a huge range of questions about metaphysical possibility, knowledge and belief, obligation and permission, provability, determinacy and indeterminacy, and more.

PHIL 416 is meant to be a first exploration into these formal systems, and will introduce both propositional and quantified modal logic. The course will focus on developing familiarity with systems of modal logic and exploring some of their applications in philosophy. (The overall emphasis will be slightly more on the fun of the technical methods than on their philosophical applications, but those with interest in the philosophical applications will find the course useful!)

Intended Audience:

No prior exposure to modal logic is assumed, but a background in propositional and predicate logic is essential. (That is: the course will assume PHIL 296, PHIL 303, PHIL 414, or equivalent experience.)

Class Format:

The course will be taught synchronously but will be fully online, with accommodations for occasional asynchronous participation if necessary.


PHIL 416 - Modal Logic
Schedule Listing
001 (LEC)
MW 10:00AM - 11:30AM

Textbooks/Other Materials

The partner U-M / Barnes & Noble Education textbook website is the official way for U-M students to view their upcoming textbook or course material needs, whether they choose to buy from Barnes & Noble Education or not. Students also can view a customized list of their specific textbook needs by clicking a "View/Buy Textbooks" link in their course schedule in Wolverine Access.

Click the button below to view and buy textbooks for PHIL 416.001

View/Buy Textbooks


Syllabi are available to current LSA students. IMPORTANT: These syllabi are provided to give students a general idea about the courses, as offered by LSA departments and programs in prior academic terms. The syllabi do not necessarily reflect the assignments, sequence of course materials, and/or course expectations that the faculty and departments/programs have for these same courses in the current and/or future terms.

Click the button below to view historical syllabi for PHIL 416 (UM login required)

View Historical Syllabi

CourseProfile (Atlas)

The Atlas system, developed by the Center for Academic Innovation, provides additional information about: course enrollments; academic terms and instructors; student academic profiles (school/college, majors), and previous, concurrent, and subsequent course enrollments.

CourseProfile (Atlas)