PHIL 291
Spring 2009 not offered
|
| 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: Lecture | Grading Mode: Student Option |
| Level: UGRD |
Prerequisites: PHIL290 OR MATH243 OR PHIL230 |
|
Fulfills a Requirement for: None |
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 mathematic logic equivalent to course prerequisites. |
|