[ Wesleyan Home Page ] [ WesMaps Home Page ] [ Course Search ] [ Course Search by CID ]

Intensional Logic and Metaphysics
PHIL231 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: NONE

Last Updated on JUN-21-2000

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