da Costa與Tarski會見Goguen與Carnap：基於後果系統的本體異質性新方法

🔑 增強重點摘要

• •The paper introduces da Costian-Tarskianism as a novel method for managing ontological heterogeneity, drawing from Carnapian-Goguenism while using consequence systems instead of institutions[1][3].
• •Named after Newton da Costa’s Principle of Tolerance (renamed Principle of Non-Triviality) and Alfred Tarski’s consequence operators, it serves as a dual to the Carnapian-Goguenist approach[1].
• •Builds on consequence systems developed by Carnielli et al. and Citkin & Muravitsky, extending them with ontological axioms[1][3].
• •Employs extended development graphs that support morphisms, fibring, and splitting to relate ontologies, where refinement conserves theoremhood rather than models[1].
• •Inspired by Kutz, Mossakowski, and Lücke (2010) on Carnapian-Goguenism, addressing interoperability challenges in heterogeneous ontologies[1].

🛠️ 技術深入

• •Uses extended consequence systems augmented with ontological axioms, analogous to institutions but focused on theorem conservation in refinements[1].
• •Refinements represented diagrammatically similar to institutions, but links denote theoremhood preservation in da Costian-Tarskian approach versus model conservation in Carnapian-Goguenism[1].
• •Formalizes da Costa’s Principle using Tarski-style consequence operators ( \mathrel{\hbox{\set@color\raisebox{3.44444pt}{$\rule[-6.45831pt]{0.47787pt}}}} [1].
• •Leverages machinery from [3] (Carnielli et al.) and (Citkin & Muravitsky) for representing classes of logics[1][3].

🔮 前景展望AI analysis grounded in cited sources

⏳ 時間線