PHIL 291
Spring 2010 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: 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: One of more of the following: problem sets, in-class exams, or take-home exams. |
Additional Requirements and/or Comments: Students must have background in mathematical logic equivalent to course prerequisites. If you have only taken PHIL 230 please consult with the instructor. |
Drop/Add Enrollment Requests | | | | | |
Total Submitted Requests: 0 | 1st Ranked: 0 | 2nd Ranked: 0 | 3rd Ranked: 0 | 4th Ranked: 0 | Unranked: 0 |
|