The University of Connecticut has long enjoyed an active research profile in mathematical logic,
particularly among logicians in Mathematics. As work in philosophical logic increased in the UConn Philosophy Department, a collaboration naturally emerged. The collaboration is now an official,
active research group within CLAS, namely, the Group in Philosophical & Mathematical Logic.
The groupís main research areas, broadly characterized, are
- foundations of mathematics: model theory, proof theory, recursion theory, set theories
- philosophical logic, including non-classical logics involved in truth and related Ďsemanticí theories, and other philosophically motivated logics (e.g., second-order, modal, paraconsistent, paracomplete,
- philosophy of logic; philosophy of mathematics
||The group meets every other week to work on a given topic in logical studies. Graduate student
members of the group are normally PhD students working in logical studies in either Maths or
Philosophy (and often times both). Students interested in working in the group, and particularly
doing a PhD in logical studies (either in Philosophy or Maths) should contact the Groupís acting secretary.