Forschungsprojekte

Projekt

Proof in Context

Das Projekt PROOFCON “Proof in Context” behandelt die substantiellen Unterschiede zwischen formalen und informellen Beweisen in Logik und Mathematik.

Illustration

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.

Illustration

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.

Illustration

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.

Illustration

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.

Illustration

Projekt

The Sense of Responsibility …

Das Projekt “The Sense of Responsibility Worth Worrying About” behandelt den Verantwortungsskeptizismus und wie man ihm entgegentreten kann.

Illustration

Projekt

Categoricity by convention

Das Projekt “Categoricity by convention” entwickelt eine naturalistische inferentialistische Metasemantik für logisch-mathematische Sprachen.

CBC
word cloud als Illustration

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)