MATH 37700 - Non-classical Logic

Logic is the systematic and precise study of reasoning—a topic of particular interest to mathematicians and computer scientists as well as philosophers. Philosophers have often functioned as the research and development wing of this collaboration, thinking up and formalizing new logical techniques and systems designed to solve problems that can’t be solved by traditional (a.k.a. “classical”) logic. This course will be an introduction to some of these non-classical logics, their philosophical motivations, and some of their applications.

cross-listed PHILO 37700, CSCI 37700
prereq: PHILO 27500 or MATH 27500 or CSCI 27500
3 hrs
3 crs.