Forschungsprojekte
Projekt (2024–27)
Proof in Context
Das Projekt PROOFCON “Proof in Context” behandelt die substantiellen Unterschiede zwischen formalen und informellen Beweisen in Logik und Mathematik.
Cluster of Excellence (2023–28)
Knowledge in Crisis
Der Cluster of Excellence “Knowledge in Crisis” untersucht die Herausforderungen an den Wissensbegriff, die in unserer Gesellschaft deutlich werden.
Projekt (2023–26)
How can we think in a language?
Das Projekt HTL “How can we think in a language” prüft die Hypothese, dass unsere Alltagssprache das Medium bestimmter kognitiver Prozesse ist.
Projekt (2023–27)
The Source View on the Right to Privacy
Das Projekt “The Source View on the Right to Privacy” forscht rund um das Recht auf Privatsphäre und damit zusammenhängenden philosophischen Fragen.
Projekt (2023–26)
The Open Future …
Das Projekt “The Open Future and The Causally Open Objective Present” untersucht die Hypothese der offenen Zukunft mittels präziser formaler Modelle.
Projekt (2021–25)
The Sense of Responsibility …
Das Projekt “The Sense of Responsibility Worth Worrying About” behandelt den Verantwortungsskeptizismus und wie man ihm entgegentreten kann.
Projekt (2021–25)
Categoricity by convention
Das Projekt “Categoricity by convention” entwickelt eine naturalistische inferentialistische Metasemantik für logisch-mathematische Sprachen.
Bildnachweis (von oben nach unten, 1 – 6 jeweils auf pixabay.com): Elchinator (1), GDJ (2, 3), kalhh (4), geralt (5), johnhain (6), KI generiert (7)
