Course Schedule and Catalog
Course Schedule - Fall Semester 2023
Meeting location information can now be found on student schedules in ESTHER (for students) or on the Course Roster in ESTHER (for faculty and instructors).Additional information available here.
Meeting location information can now be found on student schedules in ESTHER (for students) or on the Course Roster in ESTHER (for faculty and instructors).Additional information available here.
PHIL 310 001 (CRN: 15143)
MATHEMATICAL LOGIC
Long Title: MATHEMATICAL LOGIC
Department: Philosophy
Instructor: Miller, Brian
Meeting: 3:00PM - 3:50PM MWF (21-AUG-2023 - 1-DEC-2023)
Part of Term: Full Term
Grade Mode: Standard Letter
Course Type: Lecture
Language of Instruction: Taught in English
Distribution Group: Distribution Group III
Method of Instruction: Face to Face
Credit Hours: 3
Course Syllabus:
Course Materials: Rice Campus Store
Restrictions:
Must be enrolled in one of the following Level(s):
Undergraduate Professional
Visiting Undergraduate
Undergraduate
Section Max Enrollment: 35
Section Enrolled: 13
Total Cross-list Max Enrollment: 35
Total Cross-list Enrolled: 13
Enrollment data as of: 26-DEC-2024 6:49AM
Final Exam: Take-Home Exam
Final Exam Time:
8-DEC-2023
2:00PM - 5:00PM F
Description: We study formal languages and methods for assessing correctness of arguments, including a brief look at modal and many-valued logics. We also consider their relations to natural languages and reflect on the techniques required to prove theorems about languages. A previous logic course is helpful, though the course is self-contained. Cross-list: PHIL 505.