Course Schedule - Fall Semester 2013

     

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 305 001 (CRN: 10241)

MATHEMATICAL LOGIC

Long Title: MATHEMATICAL LOGIC
Department: Philosophy
Instructor: Grandy, Richard E.
Meeting: 10:00AM - 10:50AM MWF (26-AUG-2013 - 6-DEC-2013) 
Part of Term: 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:
 
Section Max Enrollment: 30
Section Enrolled: 12
Enrollment data as of: 23-APR-2024 9:11AM
 
Additional Fees: None
 
Final Exam: Final Exam Unknown
 
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.