Forschungsprojekte
Projekt
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
Knowledge in Crisis
Der Cluster of Excellence “Knowledge in Crisis” untersucht die Herausforderungen an den Wissensbegriff, die in unserer Gesellschaft deutlich werden.
Projekt
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
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
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
The Sense of Responsibility …
Das Projekt “The Sense of Responsibility Worth Worrying About” behandelt den Verantwortungsskeptizismus und wie man ihm entgegentreten kann.
Projekt
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)