Course Schedule - Fall Semester 2019

     

PHIL 305 001 (CRN: 10021)

MATHEMATICAL LOGIC

Long Title: MATHEMATICAL LOGIC
Department: Philosophy
Instructor: Miller, Brian T.
Meeting: 10:00AM - 10:50AM MWF DCH 1070 (26-AUG-2019 - 6-DEC-2019) 
Session: Full Term
Grade Mode: Standard Letter
Course Type: Lecture
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: 24
Total Cross-list Max Enrollment: 39
Total Cross-list Enrolled: 28
Enrollment data as of: 4-AUG-2020 4:01PM
 
Fees: None
 
Final Exam: Take-Home Exam
Final Exam Time:
16-DEC-2019  
9:00AM - 12:00PM M TBA TBA
 
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. Mutually Exclusive: Cannot register for PHIL 305 if student has credit for PHIL 505.