Course Schedule and Catalog

Department: Philosophy

Grade Mode: Standard Letter

Course Type: Lecture

Distribution Group: Distribution Group III

Credit Hours: 3

Description: MATHEMATICAL LOGIC ***** DISTRIBUTION COURSE GROUP 3 ***** This course will cover the central concepts and results in mathematical logic, focusing on the Completeness Theorem which proves the convergence of the syntactic and semantic approaches to reasoning. The content of the course overlaps considerably with COMP 280 and 409, though the emphasis in this course is on applications of logic in areas other than computer science and the exercises primarily concern natural languages rather than formal ones. Among its other goals, the course is intended not only to give students practice in proving theorems but also to push them to be reflective about the theorem proving process.