📄 中文摘要
提出了一种新的本体异质性方法，该方法深受卡尔纳普与戈根主义的影响，命名为达科斯塔-塔尔斯基主义，基于达科斯塔在数学中的容忍原则及阿尔弗雷德·塔尔斯基关于推论算子的研究。该方法依赖于推论系统的机制，结合了Carnielli等人（2008）和Citkin与Muravitsky（2022）的研究，提出了扩展推论系统的概念，即在推论系统中加入本体公理。此外，定义了扩展发展图的概念，这是一种图结构，能够支持本体的表示与推理。
达科斯塔与塔尔斯基相遇戈根与卡尔纳普：基于推论系统的本体异质性新方法
📄 English Summary
da Costa and Tarski meet Goguen and Carnap: a novel approach for ontological heterogeneity based on consequence systems
A novel approach for ontological heterogeneity is presented, heavily influenced by Carnapian-Goguenism, and provisionally termed da Costian-Tarskianism, reflecting da Costa's Principle of Tolerance in Mathematics and Alfred Tarski's work on consequence operators. This approach utilizes the machinery of consequence systems, as developed by Carnielli et al. (2008) and Citkin and Muravitsky (2022), introducing the concept of an extended consequence system, which incorporates ontological axioms. Additionally, the notion of an extended development graph is defined, providing a graph structure that facilitates the representation and reasoning of ontologies.