Course Schedule - Spring Semester 2021

     

PHIL 310 901 (CRN: 23839)

MATHEMATICAL LOGIC

Long Title: MATHEMATICAL LOGIC
Department: Philosophy
Instructor: Miller, Brian T.
Meeting: 1:30PM - 2:25PM MWF FULLY ONLINE (25-JAN-2021 - 30-APR-2021) 
Session: Full Term
Grade Mode: Standard Letter
Course Type: Lecture
Language of Instruction: Taught in English
Distribution Group: Distribution Group III
Method of Instruction: Online
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: 17
Total Cross-list Max Enrollment: 40
Total Cross-list Enrolled: 20
Enrollment data as of: 25-FEB-2021 11:16AM
 
Additional Fees: None
 
Final Exam: Scheduled Final Exam-OTR Room
 
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.