A06: Logik und Ontologie der kognitiven Repräsentation von Theorien: Frames, Sätze und Modelle im Vergleich

Projektlaufzeit : 01.07.2015 - 30.06.2019

Projekt A06 untersucht framebasierte Methoden zur Repräsentation wissenschaftlicher Theorien sowohl aus einer logischen als auch einer ontologischen Perspektive. Das umfasst eine formale Definition des Begriffes des klassifikatorischen Frames sowie seiner Entsprechung in der Logik. Als Testfall soll die Theorie der Role and Reference Grammar (RRG) (in Teilstücken) mithilfe von Frames repräsentiert werden. Außerdem soll dieser Ansatz mit den beiden traditionellen Repräsentationsmethoden der Wissenschaftstheorie verglichen werden, nämlich der Repräsentation von Theorien (i) als Mengen von Sätzen und (ii) als Klassen von Modellen (z.B. Sneed).

Projektleitung