Spring 2007 not offered
|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.
||Gen Ed Area Dept:
|Course Format: Lecture||Grading Mode: Student Option|
||Prerequisites: PHIL290 OR MATH243
||Fulfills a Major Requirement for: None
Historical sources and contemporary textbook.
|Examination 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.