WesMaps - Wesleyan University Catalog 2009-2010       Summer Session       Winter Session       Home       Archive       Search
Intensional Logic and Metaphysics
PHIL 291
Fall 2009 not offered
Crosslisting: MATH 245

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. Discussion of philosophical issues and historical development.

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

Last Updated on JUL-14-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