Mathesis is a research group based at the Complutense University of Madrid. Our common research interests fall within the field of formal philosophy, broadly construed as the approach to philosophical problems using mathematical tools. This website keeps track of our team composition and research activities. In addition to workshops and conferences, we regularly organize reading groups and research seminars.