Forschungsprojekte
Projekt (2025–30)
Projekt (2025–29)
Determinacy and Non-Classicality…
Wir analysieren traditionelle Theoreme und Argumente aus der Perspektive der nichtklassischen Logik.
Projekt (2025–29)
Skepticism About Praiseworthiness
Das Projekt hat zum Ziel, die plausibelste Version von Skeptizismus über verdientes Lob zu entwickeln.
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–26)
Categoricity by convention
Das Projekt “Categoricity by convention” entwickelt eine naturalistische inferentialistische Metasemantik für logisch-mathematische Sprachen.
Bildnachweis (von oben nach unten, 2 – 8 jeweils auf pixabay.com): Amazon (1), athree23 (2), FotoRieth (3), Elchinator (4), GDJ (5, 6), kalhh (7), geralt (8), KI generiert (9)
