Novel da Costian-Tarskian Ontology Heterogeneity Approach

🔑 Key Takeaways

• •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].

🛠️ Technical Deep Dive

• •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].

🔮 Future ImplicationsAI analysis grounded in cited sources

⏳ Timeline