Course Catalog - 2023-2024

     

PHIL 310 - MATHEMATICAL LOGIC

Long Title: MATHEMATICAL LOGIC
Department: Philosophy
Grade Mode: Standard Letter
Language of Instruction: Taught in English
Course Type: Lecture
Distribution Group: Distribution Group III
Credit Hours: 3
Restrictions:
Must be enrolled in one of the following Level(s):
Undergraduate Professional
Visiting Undergraduate
Undergraduate
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. Graduate/Undergraduate Equivalency: PHIL 505.