Logic, logic, logic

Logic has a central role in our research; we use advanced formal tools to study philosophical questions, and in this way our expertise lies in the humanities as well as in the sciences. Our research in logic is driven both by problems “out there in the world” and by intrinsic problems that emerge in the process of formalisation. The range of topics that we investigate covers a large part of current research in logic.

Besides using logic, we also reflect on the philosophical foundations of logic and mathematics itself. How well can we formalise a given form of reasoning, and how can we establish that a given formalisation is faithful, or consistent, or efficient? How do different views on (mathematical) reasoning relate to each other? Can there be more than one correct logic? How do we know logical principles and could we adopt a new logic, if we found out that our logic is mistaken?

Researchers