PHIL 310: MATHEMATICAL LOGIC
Fall 2023 · Section 001 · CRN 15143
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. Cross-list: PHIL 505.
- Credits
- 3
- Instructors
- Brian Miller