PHIL231 - Intensional Logic and Metaphysics

[ Wesleyan Home Page ] [ WesMaps Home Page ] [ WesMaps Archive ] [ Course Search ] [ Course Search by CID ]
Academic Year 2001/2002

Intensional Logic and Metaphysics
PHIL 231 FA

Introduction to basic principles of reasoning concerning necessity, time, obligation, proof, and computation. Basic metalogical results: soundness, completeness, decidability of sentential formal systems. Extension to quantificational systems if time permits.

MAJOR READINGS

Historical sources and contemporary textbook.

EXAMINATIONS AND ASSIGNMENTS

Weekly problem sets, mid-term and take-home final.

ADDITIONAL REQUIREMENTS and/or COMMENTS

Students must have background in mathematical logic equivalent to course prerequisites.

Unless preregistered students attend the first class meeting or communicate directly with the instructor prior to the first class, they will be dropped from the class list. NOTE: Students must still submit a completed Drop/Add form to the Registrar's Office.

COURSE FORMAT: Lecture/Discussion

REGISTRATION INFORMATION

Level: UGRD Credit: 1 Gen Ed Area Dept: SBS PHIL Grading Mode: Student Option

Prerequisites: PHIL230 OR PHIL107 OR MATH131 OR MATH243

SECTION 01

Instructor(s): Shieh,Sanford

Times: ..T.... 07:00PM-09:50PM; Location: FISK101

Reserved Seats: (Total Limit: 20)

SR. major: Jr. major:

SR. non-major: Jr. non-major: SO: FR:

Special Attributes:

Curricular Renewal: Quantitative Reasoning

Permission: Permission of Instructor Required

Links to Web Resources For This Course.

Last Updated on MAR-19-2002