|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
||Past Enrollment Probability: Not Available
|SECTION 01 In-person only|
|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|