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

理论认知表征的逻辑和本体论：比较框架、句子和模型（A06*）

• 批准号: 277156790
• 金额: --
• 依托单位: Institut für Philosophie
• 依托单位国家: 德国
• 项目类别: Collaborative Research Centres
• 财政年份: 2015
• 资助国家: 德国
• 起止时间: 2014-12-31 至 2018-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/277156790?language=en
• 关键词: Logic; ontology; cognitive; representation; theories

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

项目A06从逻辑和本体论的角度研究了基于框架的科学理论表示方法。这包括分类框架概念及其逻辑对应物的正式定义。作为测试案例，B01和D04中使用的语法框架角色和指称语法（RRG）的理论（部分）将用框架表示。此外，这种方法将与科学哲学中的两种传统表示方法进行比较，即将理论（i）表示为句子集（例如，卡尔纳普）和（ii）作为模型类（例如，Sneed）。