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: Lecture | Grading Mode: Student Option |
| Level: UGRD |
Prerequisites: PHIL290 OR MATH243 |
|
Fulfills a Requirement for: None |
|
Past Enrollment Probability: Not Available |
| SECTION 01 |
Major Readings: Wesleyan RJ Julia Bookstore
Historical and contemporary sources.
|
Examinations and Assignments:
Weekly problem sets, in-class mid-term and take-home final. |
Additional Requirements and/or Comments:
Students must have background in mathematical logic equivalent to course prerequisites. |
| Instructor(s): Shieh,Sanford Times: ....R.. 07:00PM-09:50PM; Location: SCIE309; |
| Total Enrollment Limit: 15 | | SR major: 3 | JR major: 3 | | |
| Seats Available: 6 | GRAD: 0 | SR non-major: 3 | JR non-major: 3 | SO: 3 | FR: X |
| Drop/Add Enrollment Requests | | | | | |
| Total Submitted Requests: 2 | 1st Ranked: 0 | 2nd Ranked: 0 | 3rd Ranked: 0 | 4th Ranked: 0 | Unranked: 2 |
|