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

Intensional Logic and Metaphysics
PHIL 290 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 Links to Web Resources For This Course.

Last Updated on MAR-18-2003

Contact wesmaps@wesleyan.edu to submit comments or suggestions. Please include a url, course title, faculty name or other page reference in your email

Copyright Wesleyan University, Middletown, Connecticut, 06459