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

点击翻译按钮获取中文摘要

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