Interested in this course for Spring 2026? If you are a new UVM Advance/Non-Degree student, choose your course and complete the application form. If you are a current UVM student, enroll in a course through MY UVM Portal. If you have questions please chat with us or schedule a 15 or 30-minute virtual meeting with an Enrollment Coach.

About PHIL 2400 A

Study of philosophically interesting systems of symbolic logic and their applications. Prerequisite: PHIL 1400.

Notes

Prerequisite: one course in Philosophy PACE students with permission and override

Section Description

In this course we will explore new systems of symbolic logic and their applications. We will spend most of the semester concentrating on modal logic, the logic of necessity and possibility. We will learn notations for modal logic, proofs for modal logic, and the possible worlds semantics for modal logic.

Section Expectation

Class combines lecture and going over problems collaboratively; students will be expected to participate in helping to solve problems in class. Text for the class: Kenneth Konyndyk, Introductory Modal Logic, ISBN 978-0-268-01159-8 Additionally, extensive handouts will be given out to supplement this text.

Evaluation

Grades will be based on homework assignments throughout the semester, a take-home midterm, and a take-home final.

Important Dates

Note: These dates may not be accurate for select courses during the Summer Session.

Courses may be cancelled due to low enrollment. Show your interest by enrolling.

Deadlines
Last Day to Add
Last Day to Drop
Last Day to Withdraw with 50% Refund
Last Day to Withdraw with 25% Refund
Last Day to Withdraw

Resources

There are no courses that meet this criteria.