PHIL 310
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. Graduate/Undergraduate Equivalency: PHIL 505 .
Prerequisites & course information
Short Title: MATHEMATICAL LOGIC Department: Philosophy Grade Mode: Standard Letter Course Type: Lecture Distribution Group: Distribution Group III Credit Hours: 3 Restrictions: Enrollment is limited to Undergraduate, Undergraduate Professional or Visiting Undergraduate level students. Course Level: Undergraduate Upper-Level
Sources
- Course catalogue ↗2026–2027