Research projects
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–25)
The Sense of Responsibility …
The project “The Sense of Responsibility Worth Worrying About” deals with responsibility scepticism and how it can be countered.
Project (2021–25)
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): Elchinator (1), GDJ (2, 3), kalhh (4), geralt (5), johnhain (6), KI generiert (7)
