Wesleyan Home Page
WesMaps Home Page
Course Search by CID
Academic Year 2005/2006
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.
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.
Gen Ed Area Dept:
PHIL231 OR MATH243
Links to Web Resources For This Course.
Last Updated on MAR-30-2006
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