A06: Logic and ontology of the cognitive representation of theories: Frames, sentences and models in comparison

Funding period 1: 01.07.2015 - 30.06.2019

Project A06 investigates frame-based methods of representing scientific theories, both from a logical and an ontological perspective. This comprises a formal definition of the notion of a classificatory frame and of its logical counterpart. As a test case, (parts of) the theory of Role and Reference Grammar (RRG), the grammatical framework used in B01 and D04, will be represented with frames. Furthermore, this approach will be compared to the two traditional representation methods in philosophy of science, namely the representation of theories (i) as sets of sentences (e.g., Carnap) and (ii) as classes of models (e.g., Sneed).

Head of the project