Formal, Measurable Ontologies for Worldviews

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Abstract

Formal ontology has been used in a variety of projects in the humanities. Most interesting from our perspective is the work carried out to develop an ontology of Wittgenstein’s Nachlass since we want to take the first steps toward an ontology for the work of Arthur Norman Prior. We go through some of Prior’s early attempts to describe the logic involved in reformed theology. In The Analogy of Faith (1940), we suggest that Prior developed a knowledge graph of what he called “the logic of the bible.” We call this the Interpretative Community Graph and suggest that it can be adapted to a Prior Community Graph and used to develop a formal ontology of A.N. Prior’s Nachlass. We argue that this graph suggests a deeper conceptual structure concerning object properties for the ontology than the one provided by the Wittgenstein ontology. Based on this, we demonstrate how this deeper conceptual structure can be used to derive conclusions concerning philosophical views affirmed by Prior and the philosophers relevant to his work. Finally, we suggest that the project of providing a formal ontology for A.N. Prior could be used to develop formal ontologies for theology and systems of beliefs.

OriginalsprogEngelsk
TitelMeasuring Ontologies for Value Enhancement : Aligning Computing Productivity with Human Creativity for Societal Adaptation - 1st International Workshop, MOVE 2020, Revised Selected Papers
RedaktørerRubina Polovina, Simon Polovina, Neil Kemp
Antal sider12
Vol/bind1
ForlagSpringer
Publikationsdato1 jan. 2023
Udgave1
Sider86-97
ISBN (Trykt)978-3-031-22227-6
ISBN (Elektronisk)978-3-031-22228-3
DOI
StatusUdgivet - 1 jan. 2023
NavnCommunications in Computer and Information Science
ISSN1865-0929

Fingeraftryk

Dyk ned i forskningsemnerne om 'Formal, Measurable Ontologies for Worldviews'. Sammen danner de et unikt fingeraftryk.

Citationsformater