LogicThe Department has a large group of faculty actively involved in research in logic. No fewer than five have published papers on nonmonotonic logic (also known as common sense reasoning). Other areas of special interest are automated theorem proving, deontic logic, dynamic semantics, formal learning theory, game theory, higher-order logic, logic programming, paradoxes, and logics of vagueness.
Faculty members frequently sponsor reading groups or offer informal courses on logical topics such as model theory for first- and higher-order logic, set theory, plurals, and stability theory.
The Department has hosted conferences on paradoxes, type-free theories, event structure, and the history of logic, as well as an annual meeting of the Society of Exact Philosophy.