WesMaps - Wesleyan University Catalog 2006-2007       Summer Session       Winter Session       Home       Archive       Search
CS92PROD
Intensional Logic and Metaphysics

PHIL 291
Fall 2006
Section: 01  
Crosslisting: MATH 245
Course Cluster: Christianity Studies

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.

Essential Capabilities: None
Credit: 1 Gen Ed Area Dept: NSM PHIL
Course Format: LectureGrading Mode: Student Option
Level: UGRD Prerequisites: PHIL290 OR MATH243
Fulfills a Major Requirement for: None
Past Enrollment Probability: Not Available

Last Updated on APR-19-2024
Contact wesmaps@wesleyan.edu to submit comments or suggestions. Please include a url, course title, faculty name or other page reference in your email ? Wesleyan University, Middletown, Connecticut, 06459