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

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).

DFG-Verfahren Sonderforschungsbereiche

Teilprojekt zu SFB 991:  Die Struktur von Repräsentationen in Sprache, Kognition und Wissenschaft

Antragstellende Institution Heinrich-Heine-Universität Düsseldorf

Teilprojektleiter Professor Dr. Gerhard Schurz