![[2602.15158] da Costa and Tarski meet Goguen and Carnap: a novel approach for ontological heterogeneity based on consequence systems](https://arxiv.org/static/browse/0.3.4/images/arxiv-logo-fb.png){kind=logo}
[2602.15158] da Costa and Tarski meet Goguen and Carnap: a novel approach for ontological heterogeneity based on consequence systems
Summary
This paper introduces a novel approach to ontological heterogeneity, integrating concepts from Carnapian-Goguenism and consequence systems to enhance the understanding of ontology in artificial intelligence.
Why It Matters
The research addresses a critical gap in applied ontology by proposing a framework that reconciles different ontological perspectives. This is significant for AI development, as it can improve interoperability and knowledge representation across diverse systems, fostering advancements in AI applications.
Key Takeaways
- Introduces da Costian-Tarskianism, a framework for ontological heterogeneity.
- Utilizes consequence systems to relate different ontologies through morphisms.
- Defines extended consequence systems and development graphs for enhanced ontology management.
- Suggests future research directions in applied ontology.
- Highlights the implications for AI interoperability and knowledge representation.
Computer Science > Artificial Intelligence arXiv:2602.15158 (cs) [Submitted on 16 Feb 2026] Title:da Costa and Tarski meet Goguen and Carnap: a novel approach for ontological heterogeneity based on consequence systems Authors:Gabriel Rocha View a PDF of the paper titled da Costa and Tarski meet Goguen and Carnap: a novel approach for ontological heterogeneity based on consequence systems, by Gabriel Rocha View PDF HTML (experimental) Abstract:This paper presents a novel approach for ontological heterogeneity that draws heavily from Carnapian-Goguenism, as presented by Kutz, Mossakowski and Lücke (2010). The approach is provisionally designated da Costian-Tarskianism, named after da Costa's Principle of Tolerance in Mathematics and after Alfred Tarski's work on the concept of a consequence operator. The approach is based on the machinery of consequence systems, as developed by Carnielli et al. (2008) and Citkin and Muravitsky (2022), and it introduces the idea of an extended consequence system, which is a consequence system extended with ontological axioms. The paper also defines the concept of an extended development graph, which is a graph structure that allows ontologies to be related via morphisms of extended consequence systems, and additionally via other operations such as fibring and splitting. Finally, we discuss the implications of this approach for the field of applied ontology and suggest directions for future research. Comments: Subjects: Artificial Intelligence...