AP/PHIL4460 3.0 A: Philosophical Logic

Offered by: PHIL


Fall 2019


Cancelled: Course Delivery





Calendar Description / Prerequisite / Co-Requisite

An intensive study of symbolic logic (including extensions of basic first order logic such as modal logic and dynamic logic) and its application to philosophical topics. Prerequisite: AP/PHIL 3102 3.00.

Course Website

Many courses utilize Moodle, York University's course website system. If your course is using Moodle, refer to the image below to access it.

    Additional Course Instructor/Contact Details

Professor Judy Pelham


Office Location:  S440 Ross Building

Phone Number:  (416) 736-2100 Ext. 44721

    Expanded Course Description

We will study Russell's paradox of set theory and some solutions to it, including Tarski's.  We will extend sentential logic to include modal logic and in particular learn Kripke semantics.  We will also discuss Stalnaker and Lewis conditionals.  We will conclude looking at the beginnings of intuitionistic logic.

    Required Course Text / Readings

Course Kit including Text of Philosophical Logic by J Pelham, and selected articles

    Weighting of Course

Assignments: 40%  There will be five assignments I will take the best 4 grades of the 5 and each will be 10% of your final grade.

Final take-home exam: 40%  There will be a take-home exam handed out on the last day of class.  It will be due during the final exam period.

Commentaries & Homework: 20%

    Organization of the Course

We have a three-hour seminar that is divided into two parts, the first, working on some logic and assigned problems, and the second, philosophical discussion of related articles.

    Course Learning Objectives
  1. To understand how predicate logic is used as a basis for set theory.
  2. To understand the logical and philosophical significance of Russell's paradox.
  3. To be able to translate into and from modal logic, and to understand it in terms of possible worlds.
  4. To understand how intuitionist logic is different from classical logic and three-valued logic.
    Relevant Links / Resources