Research projects
Project (2025–30)
PROJECT (2025–29)
Determinacy and Non-Classicality…
We systematically develop the distinctive dialectical move of analyzing traditional theorems and arguments through the lens of non-classical logic
Project (2025–29)
Skepticism About Praiseworthiness
The project aims to develop the most plausible version of skepticism about praiseworthiness
PROJECT (2024–27)
Proof in Context
The project PROOFCON “Proof in Context” deals with the substantial differences between formal and informal proofs in logic and mathematics.
Cluster of Excellence (2023–28)
Knowledge in Crisis
The Cluster of Excellence “Knowledge in Crisis” examines the challenges to the concept of knowledge that are becoming apparent in our society.
Project (2023–26)
How can we think in a language?
The project HTL “How can we think in a language” tests the hypothesis that our everyday language is the medium of certain cognitive processes.
Project (2023–27)
The Source View on the Right to Privacy
The project “The Source View on the Right to Privacy” researches the right to privacy and related philosophical issues.
Project (2023–26)
The Open Future …
The project “The Open Future and The Causally Open Objective Present” analyses the hypothesis of an open future using precise formal models.
Project (2021–26)
Categoricity by convention
The project “Categoricity by convention” develops a naturalistic inferentialist metasemantics for logical-mathematical languages.
Picture credits (from top to bottom, 1 – 6 each on pixabay.com): FotoRieth (1) Elchinator (2), GDJ (3, 4), kalhh (5), geralt (6), KI generiert (7)
