da Costa & Tarski treffen Goguen & Carnap: Methode für ontologische Heterogenität

Ein neues arXiv‑Veröffentlichung (2602.15158v1) präsentiert eine innovative Herangehensweise an die Herausforderung der ontologischen Heterogenität. Die Autoren kombinieren die Prinzipien von da Costa und Tarski mit den Ideen von Carnap und Goguen, um ein neues Konzept namens da Costian‑Tarskianism zu etablieren.

Die Methode stützt sich auf die Prinzipien des Toleranzprinzips von da Costa und Tarskis Konzept des Konsequenzoperators. Durch die Integration von Carnapian-Goguenism, wie es von Kutz, Mossakowski und Lücke beschrieben wurde, entsteht ein Rahmen, der die Vielfalt von Ontologien systematisch adressiert.

Zentral ist die Verwendung von Konsequenzsystemen, die von Carnielli und Kollegen sowie von Citkin und Muravitsky weiterentwickelt wurden. Die Autoren führen das Konzept eines erweiterten Konsequenzsystems ein, das zusätzlich ontologische Axiome enthält. Ergänzend wird ein erweitertes Entwicklungsgraphenmodell vorgestellt, das Ontologien über Morphismen von erweiterten Konsequenzsystemen sowie über Operationen wie Fibring und Splitting verbindet.

Die Arbeit beleuchtet die praktischen Auswirkungen dieser neuen Herangehensweise für das Feld der angewandten Ontologie und skizziert vielversprechende Forschungsrichtungen, die die Weiterentwicklung und Anwendung von Ontologien in komplexen, heterogenen Domänen vorantreiben könnten.