Search papers, labs, and topics across Lattice.
This paper introduces da Costian-Tarskianism, a novel approach to ontological heterogeneity inspired by Carnapian-Goguenism, leveraging da Costa's Principle of Tolerance and Tarski's consequence operator. It formalizes ontological heterogeneity using extended consequence systems, which augment standard consequence systems with ontological axioms. The paper defines extended development graphs to relate ontologies through morphisms and operations like fibring and splitting, offering a structured framework for managing ontological diversity.
A new framework based on consequence systems offers a formal and structured way to relate and manage diverse ontologies, potentially simplifying knowledge integration and reasoning across heterogeneous systems.
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.
