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
| 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
Remind Me Form
PHIL 2400 A is closed to new enrollment.
Fill out the form fields and you will be notified when the course is updated with details for next term. What can you do while you wait? Get your application started now by completing our pre-registration form.