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: the approach to philosophical problems using mathematical tools. This website keeps track of our team composition and our research activities. Besides workshops and conferences, we organize reading groups and research seminars on a regular basis.