[ Wesleyan Home Page ] [ WesMaps Home Page ] [ WesMaps Archive ] [ Course Search ] [ Course Search by CID ]
Academic Year 2004/2005

Intensional Logic and Metaphysics
PHIL 291 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 mathematic logic equivalent to course prerequisites.

COURSE FORMAT: Lecture/Discussion

REGISTRATION INFORMATION

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

Prerequisites: PHIL290 OR MATH243 Links to Web Resources For This Course.

Last Updated on MAR-21-2005

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