Course Schedule and Catalog

Department: Philosophy

Grade Mode: Standard Letter

Course Type: Lecture

Distribution Group: Distribution Group III

Credit Hours: 3

Description: MATHEMATICAL LOGIC ***** 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. ***** Instructor(s): Grandy.