PHIL 436 (also MATH/LING 483). Intensional Logic

PHIL 436 (Also MATH/LING 483): Intensional Logic

Spring 2005

This course may be taken to satisfy the philosophy graduate student logic requirement.

Syllabus and Assignments
Last modified: "Tuesday, 12 Apr 05, 12:32"

Instructor

Prof.: Delia Graff
Email: d e l i a . g r a f f [at] c o r n e l l . e d u
Office: 228 Goldwin Smith Hall
Office Hours: Monday 2:45-4:00

Course Info

Lecture Times: Tuesday - Thursday 10:10-11:25
Lecture Location: Uris Hall 494 (note new room)
Section Time: Monday 11:15-12:05
Section Location: Uris Hall 494

Course Description

In this course we will investigate various logics of necessity and possibility ("modal logic"). We will study formal proof procedures as well as possible worlds semantics. We will also prove various "meta" results, including completeness theorems. The techniques learned in this part of the course will then be applied to the study of natural language conditionals. Further topics may include two-dimensional modal logic, counterpart theory, the logic of epistemological or deontological operators.

Interested in finding out a bit more about the subject?
Read the Stanford Encyclopedia of Philosophy entry on Modal Logic.

Required Texts:

Brian Chellas:
Modal Logic: An Introduction
(Cambridge University Press).

David Lewis:
Counterfactuals
(Blackwell Publishers).

IMPORTANT NOTE: According to the Campus Store, there were some copies of the Lewis book in stock but they have all been bought. Further copies are on order.

However, you should be able to order the book online. Good online sources to check are Blackwell Publishing and Labyrinth Books. For used copies, you might try alibris.com.

Prerequisites

Deductive Logic (PHIL 331/MATH 281), or
Introduction to Deductive Logic (PHIL 231) with an A- or better, or
Successful completion of any course which presupposes a significant portion of either of the above, such as Mathematical Logic (PHIL 431/MATH 481) or The Foundations of Mathematics (PHIL 434/MATH 484).

With permission of the instuctor, students may take this course who do not have a background in logic, if they have successfully completed a rigorous, theoretical, proof-based course in the mathematics or computer science departments.

Course Requirements

Weekly (Roughly) Homeworks: total 65%
Preliminary Exam: 15%
Final Exam: 20%

This page created by Delia Graff
URL: http://instruct1.cit.cornell.edu/research/graff/phil436/spring05.html
Last modified: "Sunday, 01 Jan 06, 13:57"

Syllabus and Assignments Last modified: "Tuesday, 12 Apr 05, 12:32"

Required Texts:

Prerequisites

Course Requirements

Syllabus and Assignments
Last modified: "Tuesday, 12 Apr 05, 12:32"