The Unified Foundational Ontology (UFO) was developed over the last two decades by consistently putting together theories from areas such as formal ontology in philosophy, cognitive science, linguistics, and philosophical logics. It comprises a number of micro-theories addressing fundamental conceptual modeling notions, including entity types and relationship types. The aim of this paper is to summarize the current state of UFO, presenting a formalization of the ontology, along with the analysis of a number of cases (...) to illustrate the application of UFO and facilitate its comparison with other foundational ontologies in this special issue. (The cases originate from the First FOUST Workshop – the Foundational Stance, an international forum dedicated to Foundational Ontology research.). (shrink)

It is widely recognized that accurately identifying and classifying competitors is a challenge for many companies and entrepreneurs. Nonetheless, it is a paramount activity which provide valuable insights that affect a wide range of strategic decisions. One of the main challenges in competitor identification lies in the complex nature of the competitive relationships that arise in business envi- ronments. These have been extensively investigate over the years, which lead to a plethora of competition theories and frameworks. Still, the concept of (...) competition remains conceptually complex, as none of these approaches properly formalized their assumptions. In this paper, we address this issue by means of an ontological analysis on the notion of competition in general, and of business competition, in particular, leveraging theories from various fields, including Marketing, Strategic Management, Ecology, Psychology and Cognitive Sciences. Our analysis, the first of its kind in the literature, is grounded on the Unified Foundational Ontology (UFO) and allows us to formally characterize why competition arises, as well as to distinguish between three types of business competitive relationships, namely market-level, firm-level and potential competition. (shrink)

E. J. Lowe, a prominent figure in contemporary metaphysics, sets out and defends his theory of what there is. His four-category ontology is a metaphysical system which recognizes four fundamental categories of beings: substantial and non-substantial particulars and substantial and non-substantial universals. Lowe argues that this system has an explanatory power which is unrivalled by more parsimonious theories and that this counts decisively in its favour. He shows that it provides a powerful explanatory framework for a unified account (...) of causation, dispositions, natural laws, natural necessity and many other related matters, thus constituting a full metaphysical foundation for natural science. (shrink)

In recent years, there has been an increasing interest in thedevelopment of ontologically well-founded conceptual models for Information Systems in areas such as Service Management, Accounting Information Systems and Financial Reporting. Economic exchanges are central phenomena in these areas. For this reason, they occupy a prominent position in modelling frameworks such as the REA (Resource-EventAction) ISO Standard as well as the FIBO (Financial Industry BusinessOntology). In this paper, we begin a well-founded ontological analysisof economic exchanges inspired by a recent ontological (...) view on the nature of economic transactions. According to this view, what counts asan economic transaction is based on an agreement on the actions thatthe agents are committed to perform. The agreement is in turn based on convergent preferences about the course of action to bring about. This view enables a unified treatment of economic exchanges, regardless the object of the transaction, and complies with the view that all economictransactions are about services. In this paper, we start developing our analysis in the framework of the Unified Foundational Ontology (UFO). (shrink)

We propose as a UCGIS research priority the topic of “Ontological Foundations for Geographic Information.” Under this umbrella we unify several interrelated research subfields, each of which deals with different perspectives on geospatial ontologies and their roles in geographic information science. While each of these subfields could be addressed separately, we believe it is important to address ontological research in a unitary, systematic fashion, embracing conceptual issues concerning what would be required to establish an exhaustive ontology of the geospatial (...) domain, issues relating to the choice of appropriate methods for formalizing ontologies, and considerations regarding the design of ontology-driven information systems. This integrated approach is necessary, because there is a strong dependency between the methods used to specify an ontology, and the conceptual richness, robustness and tractability of the ontology itself. Likewise, information system implementations are needed as testbeds of the usefulness of every aspect of an exhaustive ontology of the geospatial domain. None of the current UCGIS research priorities provides such an integrative perspective, and therefore the topic of “Ontological Foundations for Geographic Information Science” is unique. (shrink)

In this highly original monograph, Nicholas Georgalis proposes that the concept of minimal content is fundamental both to the philosophy of mind and to the philosophy of language. He argues that to understand mind and language requires minimal content -- a narrow, first-person, non-phenomenal concept that represents the subject of an agent's intentional state as the agent conceives it. Orthodox third-person objective methodology must be supplemented with first-person subjective methodology. Georgalis demonstrates limitations of a strictly third-person methodology in the study (...) of mind and language and argues that these deficiencies can be corrected only by the incorporation of a first-person methodology. Nevertheless, this expanded methodology makes possible an objective understanding of the subjective. Georgalis argues against the conflation of consciousness and subjectivity with phenomenal experience. Consequently, and contrary to common belief, he argues that consciousness without phenomenality is as strongly implicated in intentionality as it is in phenomenal states. He proposes a broader understanding of the "hard problem" of consciousness, arguing that there is an "explanatory gap problem" for both phenomenal and intentional states. His theory provides a framework that renders the vexing relations between mental and brain states comprehensible. Georgalis also argues for novel explanations of the phenomenal and of representation -- explanations that follow from the core concept of minimal content. Treating the topics of meaning and reference, he introduces a first-person concept of intended reference derivative from minimal content that resolves various problems in the philosophy of language. Eschewing ontology, Georgalis proposes his theory as a means to make sense of, analyze, and relate issues in the philosophies of mind and language. The concept of minimal content, he argues, plays a necessary, pivotal, unifying, and foundational role in advancing our understanding of these issues. (shrink)

For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. This ontology has led to the development of an Ontology-Driven Conceptual Modeling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed in a number of academic, industrial and governmental settings to create conceptual models in (...) a variety of different domains. These experiences have pointed out to opportunities of improvement not only to the language itself but also to its underlying theory. In this paper, we take the first step in that direction by revising the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of the meta-types present in OntoUML (differentiating Kinds, Roles, Phases, Mixins, etc.) should be considered not as restricted to Substantial types but instead should be applied to model Endurant Types in general, including Relator types, Quality types and Mode types. We also contribute a formal characterization of this fragment of the theory, which is then used to advance a metamodel for OntoUML 2.0. Finally, we propose a computational support tool implementing this updated metamodel. (shrink)

In recent years, there has been an increasing interest in the development of well-founded conceptual models for Service Management, Accounting Information Systems and Financial Reporting. Economic ex- changes are a central notion in these areas and they occupy a prominent position in frameworks such as the Resource-Event Action (REA) ISO Standard, service core ontologies (e.g., UFO-S) as well as financial stan- dards (e.g. OMG’s Financial Industry Business Ontology - FIBO). We present a core ontology for economic exchanges inspired (...) by a recent view on this phenomenon. According to this view, economic exchanges are based on an agreement on the actions that the agents are committed to perform. This view enables a unified treatment of economic exchanges, regardless the object of the transaction. We ground our core ontology on the Unified Foundational Ontology (UFO), discussing its formal and conceptual aspects, instantiating it as a reusable OntoUML model, and confronting it with the REA standard and the UFO-S service ontology. (shrink)

Enterprise Risk Management involves the process of identification, evaluation, treatment, and communication regarding risks throughout the enterprise. To support the tasks associated with this process, several frameworks and modeling languages have been proposed, such as the Risk and Security Overlay (RSO) of ArchiMate. An ontological investigation of this artifact would reveal its adequacy, capabilities, and limitations w.r.t. the domain of risk and security. Based on that, a language redesign can be proposed as a refinement. Such analysis and redesign have been (...) executed for the risk elements of the RSO grounded in the Common Ontology of Value and Risk. The next step along this line of research is to address the following research problems: What would be the outcome of an ontological analysis of security-related elements of the RSO? That is, can we identify other semantic deficiencies in the RSO through an ontological analysis? Once such an analysis is provided, can we redesign the security elements of the RSO accordingly, in order to produce an improved artifact? Here, with the aid of the Reference Ontology for Security Engineering (ROSE) and the ontological theory of prevention behind it, we address the remaining gap by proceeding with an ontological analysis of the security-related constructs of the RSO. The outcome of this assessment is an ontology-based redesign of the ArchiMate language regarding security modeling. In a nutshell, we report the following contributions: (1) an ontological analysis of the RSO that identifies six limitations concerning security modeling; (2) because of the key role of the notion of prevention in security modeling, the introduction of the ontological theory of prevention in ArchiMate; (3) a well-founded redesign of security elements of ArchiMate; and (4) ontology-based security modeling patterns that are logical consequences of our proposal of redesign due to its underlying ontology of security. As a form of evaluation, we show that our proposal can describe risk treatment options, according to ISO 31000. Finally, besides presenting multiple examples, we proceed with a real-world illustrative application taken from the cybersecurity domain. (shrink)

This article studies the phenomenon of overcoming and provides a rationale of the understanding of the totality of human experience that integrates the situation of overcoming as that of the transcendence of human existence. As the basis of the research we use an integrated model of archaic cultural overcoming of the life–death dichotomy—a metaphysics of overcoming. A result of this metaphysics is a specific dialectical ontology of myth, represented as an ontology of return. Manifestationism, holism, alogism, metamorphism, animism, (...) cyclism, and sacralism are the general principles of this ontology. Return ontologies are in conflict with the ontology and metaphysics of the finite present in the religious and scientific worldviews. The author sees the prospects for a further study of the phenomenon of overcoming in using the subjective energistic approach that leads to understanding the phenomenon of overcoming at the biosocial level. The results of the research can be used as a philosophical basis for the development of an archaeological activity theory, in particular, a unified integrated approach to the ancient burial ritualism. They also allow to deepen the theoretical concepts of man, society, and culture. (shrink)

Enterprise Risk Management and security have become a fundamental part of Enterprise Architecture, so several frameworks and modeling languages have been designed to support the activities associated with these areas. Archi- Mate’s Risk and Security Overlay is one of such proposals, endorsed by The Open Group. We investigate the capabilities of the proposed security-related con- structs in ArchiMate with regard to the necessities of enterprise security modeling. Our analysis relies on a well-founded reference ontology of security to uncover ambiguity, (...) missing modeling elements, and other deficiencies of the security mod- eling capabilities in ArchiMate. Based on this ontologically-founded analysis, we propose a redesign of security aspects of ArchiMate to overcome its original limitations. (shrink)

In Risk Management, security issues arise from complex relations among objects and agents, their capabilities and vulnerabilities, the events they are involved in, and the value and risk they ensue to the stakeholders at hand. Further, there are patterns involving these relations that crosscut many domains, ranging from information security to public safety. Understanding and forming a shared conceptualization and vocabulary about these notions and their relations is fundamental for modeling the corresponding scenarios, so that proper security countermeasures can be (...) devised. Ontologies are instruments developed to address these conceptual clarification and terminological systematization issues. Over the years, several ontologies have been proposed in Risk Management and Security Engineering. However, as shown in recent literature, they fall short in many respects, including generality and expressivity - the latter impacting on their interoperability with related models. We propose a Reference Ontology for Security Engineering (ROSE) from a Risk Treatment perspective. Our proposal leverages on two existing Reference Ontologies: the Common Ontology of Value and Risk and a Reference Ontology of Prevention, both of which are grounded on the Unified Foundational Ontology (UFO). ROSE is employed for modeling and analysing some cases, in particular providing clarification to the semantically overloaded notion of Security Mechanism. (shrink)

Biomedical research is increasingly a matter of the navigation through large computerized information resources deriving from functional genomics or from the biochemistry of disease pathways. To make such navigation possible, controlled vocabularies are needed in terms of which data from different sources can be unified. One of the most influential developments in this regard is the so-called Gene Ontology, which consists of controlled vocabularies of terms used by biologists to describe cellular constituents, biological processes and molecular functions, organized (...) into hierarchies via the relation of class subsumption. Here we seek to provide a rigorous account of the logic of classification that underlies GO and similar biomedical ontologies. Drawing on Aristotle, we develop a system of axioms and definitions for the treatment of biological classes and instances. (shrink)

Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and for building sound (...) taxonomic structures involving them. For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. At the core of this enterprise, there has been a theory of types specially designed to address these issues. This theory is ontologically well- founded, psychologically informed, and formally characterized. These results have led to the development of a Conceptual Modelling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed on conceptual model design in a variety of domains including academic, industrial, and governmental settings. These experiences exposed improvement opportunities for both the OntoUML language and its underlying theory, UFO. In this paper, we revise the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of OntoUML’s meta-types (e.g. kind, role, phase, mixin) should be considered not as restricted to substantial types but instead should be applied to model endurant types in general, including relator types, quality types, and mode types. We also contribute with a formal characterization of this fragment of the theory, which is then used to advance a new metamodel for OntoUML (termed OntoUML 2). To demonstrate that the benefits of this approach are extended beyond OntoUML, the proposed formal theory is then employed to support the definition of UFO-based lightweight Semantic Web ontologies with ontological constraint checking in OWL. Additionally, we report on empirical evidence from the literature, mainly from cognitive psychology but also from linguistics, supporting some of the key claims made by this theory. Finally, we propose a computational support for this updated metamodel. (shrink)

Researchers in areas such as artificial intelligence, formal and computational linguistics, biomedical informatics, conceptual modeling, knowledge engineering and information retrieval have come to realise that a solid foundation for their research calls for serious work in ontology, understood as a general theory of the types of entities and relations that make up their respective domains of inquiry. In all these areas, attention is now being focused on the content of information rather than on just the formats and languages used (...) to represent information. The clearest example of this development is provided by the many initiatives growing up around the project of the Semantic Web. And, as the need for integrating research in these different fields arises, so does the realisation that strong principles for building well-founded ontologies might provide significant advantages over ad hoc, case-based solutions. The tools of formal ontology address precisely these needs, but a real effort is required in order to apply such philosophical tools to the domain of information systems. Reciprocally, research in the information sciences raises specific ontological questions which call for further philosophical investigations. The purpose of FOIS is to provide a forum for genuine interdisciplinary exchange in the spirit of a unified effort towards solving the problems of ontology, with an eye to both theoretical issues and concrete applications. This book contains a wide range of areas, all of which are important to the development of formal ontologies. (shrink)

This paper is concerned with certain ontological issues in the foundations of geographic representation. It sets out what these basic issues are, describes the tools needed to deal with them, and draws some implications for a general theory of spatial representation. Our approach has ramifications in the domains of mereology, topology, and the theory of location, and the question of the interaction of these three domains within a unified spatial representation theory is addressed. In the final part we also (...) consider the idea of non-standard geographies, which may be associated with geography under a classical conception in the same sense in which non-standard logics are associated with classical logic. (shrink)

Parallel lives is an ontological model of nature in which quantum mechanics and special relativity are unified in a single universe with a single space-time. Point-like objects called lives are the only fundamental objects in this space-time, and they propagate at or below c, and interact with one another only locally at point-like events in space-time, very much like classical point particles. Lives are not alive in any sense, nor do they possess consciousness or any agency to make decisions—they (...) are simply point objects which encode memory at events in space-time. The only causes and effects in the universe occur when lives meet locally, and thus the causal structure of interaction events in space-time is Lorentz invariant. Each life traces a continuous world-line through space-time, and experiences its own relative world, fully defined by the outcomes of past events along its world-line, which are encoded in its external memory. A quantum field comprises a continuum of lives throughout space-time, and familiar physical systems like particles each comprise a sub-continuum of the lives of the field. Each life carries a hidden internal memory containing a local relative wavefunction, which is a local piece of a pure universal wavefunction, but it is the relative wavefunctions in the local memories throughout space-time which are physically real in PL, and not the universal wavefunction in configuration space. Furthermore, while the universal wavefunction tracks the average behavior of the lives of a system, it fails to track their individual dynamics and trajectories. There is always a preferred separable basis, and for an irreducible physical system, each orthogonal term in this basis is a different relative world—each containing some fraction of the lives of the system. The relative wavefunctions in the lives’ internal memories govern which lives of different systems can meet during future local interactions, and thereby enforce entanglement correlations—including Bell inequality violations. These, and many other details, are explored here, but several aspects of this framework are not yet fleshed out, and work is ongoing. (shrink)

This is the first of three essays which use Edmund Husserl's dependence ontology to formulate a non-Diodorean and non-Kantian temporal semantics for two-valued, first-order predicate modal languages suitable for expressing ontologies of experience (like physics and cognitive science). This essay's primary desideratum is to formulate an adequate dependence-ontological account of order. To do so it uses primitive (proper) part and (weak) foundation relations to formulate seven axioms and 28 definitions as a basis for Husserl's dependence ontological theory of relating (...) moments. The essay distinguishes between dependence v. independence, pieces v. moments, mediate v. immediate pieces and moments, maximal v. non-maximal pieces, founded v. unfounded qualities, integrative v. disintegrative dependence, and defines the concepts of the completion of an object, the adumbrational equivalence relation of objects, moments of unity which unify objects, and relating moments which relate objects. The eight theorems [CUT90]-[CUT97] show that relating moments of unity provide an adequate account of order in terms of primitive (proper) part and (weak) foundation relations. (shrink)

The philosophy of linguistics is a rich philosophical domain which encompasses various disciplines. One of the aims of this thesis is to unite theoretical linguistics, the philosophy of language, the philosophy of science and the ontology of language. Each part of the research presented here targets separate but related goals with the unified aim of bringing greater clarity to the foundations of linguistics from a philosophical perspective. Part I is devoted to the methodology of linguistics in terms of (...) scientific modelling. I argue against both the Conceptualist and Platonist interpretations of linguistic theory by means of three grades of mathematical involvement for linguistic grammars. Part II explores the specific models of syntactic and semantics by an analogy with the harder sciences. In Part III, I develop a novel account of linguistic ontology and in the process comment on the type-token distinction, the role and connection with mathematics and the nature of linguistic objects. In this research, I offer a structural realist interpretation of linguistic methodology with a nuanced structuralist picture for its ontology. This proposal is informed by historical and current work in theoretical linguistics as well as philosophical views on ontology, scientific modelling and mathematics. (shrink)

Formal Ontology is a discipline whose business is to develop formal theories about general aspects of reality such as identity, dependence, parthood, truth-making, causality, etc. A foundational ontology is a specific consistent set of these ontological theories that support activities such as domain analysis, conceptual clarification, and meaning negotiation. A (well-founded) core ontology specifies, under a foundational ontology, the central concepts and relations of a given domain. Foundational and core ontologies can be seen (...) as ontology engineering frameworks to systematically address the laborious task of building large (more specific) domain ontologies. However, both in research and industry, it is common that ontologies as computational artifacts are built without the aid of any framework of this kind, often yielding modeling mistakes and representation gaps. In this paper, we analyze a case in the domain of cybersecurity, namely, the case of D3FEND — an OWL knowledge graph of cybersecurity countermeasure techniques proposed by the MITRE Corporation. Based on the Reference Ontology for Security Engineering (ROSE), a core ontology of the security domain founded in the Unified Founda-tional Ontology (UFO), our investigation reveals a number of semantic issues and opportunities for improvement in D3FEND, including missing concepts, semantic overload of terms, and lacking constraints that cause an under-specification of the model. As a result of our ontological analysis, we propose several suggestions for the appropriate redesign of D3FEND to overcome those issues. (shrink)

Every scientific theory is a simulacrum of reality, every written story a simulacrum of the canon, and every conceptualization of a subjective perspective a simulacrum of the consciousness behind it—but is there a shared essence to these simulacra? The pursuit of answering seemingly disparate fundamental questions across different disciplines may ultimately converge into a single solution: a single ontological answer underlying grand unified theory, hard problem of consciousness, and the foundation of mathematics. I provide a hypothesis, a speculative approximation, (...) supported by a comprehensive overview of scientific evidence and philosophical literature, of a unified epistemic and phenomenological model and, in doing so, propose a parsimonious solution to the hard problem of consciousness. -/- The proposition of the hypothesis bears important implications for cross-disciplinary study between linguistics, mathematics, physics, and computer science, and offers new epistemic, ontological, and ethical propositions about the nature of AI consciousness, as well as existential risk mitigation. (shrink)

"... an attempt to revive ontology —indeed philosophy itself—by means of a two-sided conception of being.... This is a remarkable idea which has produced a powerful book." —Leonard Lawlor "... a major philosophical study: rich, brilliant... a tour de force, a seminal study that will be a starting-point for future research in this area." —Robert Bernasconi In Truth and Genesis, Miguel de Beistegui considers the role and meaning of philosophy today. Calling for a new departure for philosophy, one that (...) brings together philosophy’s scattered identities, de Beistegui proposes a robust and unified philosophy that would find itself equally at home in artistic and scientific disciplines. To build this renewed philosophy, de Beistegui turns to Aristotle and the earliest foundations of thought. He traces philosophy’s development through the medieval and modern periods before comparing and investigating the work of two of the 20th century’s most influential thinkers, Martin Heidegger and Gilles Deleuze. In particular, de Beistegui focuses on Deleuze’s Difference and Repetition and Heidegger’s Contributions to Philosophy for their handling of the concept of difference. De Beistegui concludes that Deleuze and Heidegger are irreconcilable, but it is in their disagreements that he sees a way to liberate philosophy from its current crisis. (shrink)

This article departs from a mereological conceptualization of the Daoist metaphysi- cal system in the Daodejing 道德經. I discuss what parthood status applies to dao 道. Whereas it is quite intuitive that you 有—the region of concrete objects—has parthood relationships and compositions (entities made from parts), the other, undif- ferentiated region, dao, poses a considerable problem. This problem can be charac- terized in the following way: (a) dao cannot be characterized as a particular com- position, which entails that it does (...) not include parts. However, (b) dao underpins compositions in you, which entails that it contains compositions or at least parts that make compositions in you. This generates a problem of how compositions are possi- ble with an undifferentiated ontological foundation. I focus on one possible approach to this problem––mereological nihilism, according to which no composition is pos- sible. Assuming nihilism entails dao composed of mereological simples––funda- mental entities, which are not parts. (shrink)

This article, from my onto-generative and onto-hermeneutic theories, will explore how Confucian virtue ethics could be modernized and globalized by answering challenges of civic duties, human rights, policy planning and decisionmaking regarding social and communal development with considerations of maximal sustainable goodness or benefits to both individual and groups. In doing so, we come to recognize the multifunctional potency of Confucian virtues in meeting modern and postmodern needs and demands in a complicated global-local environment, and see how this development of (...) civic and other kinds of virtues form a unifying foundation for the justification, discovery and sustainable source of insights and motivations for vital action. (shrink)

This article, from my onto-generative and onto-hermeneutic theories, will explore how Confucian virtue ethics could be modernized and globalized by answering challenges of civic duties, human rights, policy planning and decision-making regarding social and communal development with considerations of maximal sustainable goodness or benefits to both individual and groups. In doing so, we come to recognize the multifunctional potency of Confucian virtues in meeting modern and postmodern needs and demands in a complicated global-local environment, and see how this development of (...) civic and other kinds of virtues form a unifying foundation for the justification, discovery and sustainable source of insights and motivations for vital action. (shrink)

The article is aimed at a philosophical study of the foundations/causes of war. Its background is a definition of the Russian-Ukrainian full-scale warfare as an irreconcilable existential conflict of the "Russian world" between the "Russian world" and the national world of Ukraine. Methodological specific of the article is reliance on the everydayness of a boundary situation of war to define the cultural world, as well as cultural identity as concepts that get existential meaning. Philosophy potential is used to clarify the (...) key question for today's war discourse about why the parties to the conflict are determined to take military actions, but not to resolve the conflict through peace negotiations. The answer is sought by comparing two ontologies of the world that there are in Habermas' communicative theory of action and Heidegger's fundamental ontology. Each of them provides an alternative concept of understanding and, accordingly, different foundations for its truth theory. This also provides a perspective, firstly, to distinguish two alternative positions of participants in the discourse of war – "internal" one as "being in a culture at war" and another of an "external" observer. Secondly, this distinction helps to explain why war as a conflict of cultural worlds could be considered from different philosophical points of view, namely from the position of the philosophy of communicative action, as well as in the context of existential analysis of being. Examination of the explanatory potential of both approaches is carried out on the basis of a comparison of different concepts of the world, fundamental to each of philosophers. It is done by clarifications of basics of two ontologies of understanding and, accordingly, of their theories of truth. The article indicates that the theory of truth in communicative philosophy is based on the regulative idea of the unity of the objective world. Instead, with reference to examples from Charles Taylor and Jean-Luc Nancy, the author claims that the fundamental ontology can be reinterpreted in terms of the plurality of being-in-common of people in sovereign cultural worlds. Accordingly, the interaction of representatives of different cultural identities under certain political conditions, i.e., official propaganda can turn into a radical disagreement of different existential understandings of the meaning of being, into a war of cultural worlds that cannot be overcome by just negotiations at the level of competent communication. The article ends with an open question about searching for ways to unify the mentioned ontological approaches. (shrink)

The Evolutionary Synthesis is often seen as a unification process in evolutionary biology, one which provided this research area with a solid common theoretical foundation. As such, neo-Darwinism is believed to constitute from this time onward a single, coherent, and unified movement offering research guidelines for investigations. While this may be true if evolutionary biology is solely understood as centred around evolutionary mechanisms, an entirely different picture emerges once other aspects of the founding neo-Darwinists’ views are taken into consideration, (...) aspects potentially relevant to the elaboration of an evolutionary worldview: the tree of life, the ontological distinctions of the main cosmic entities , the inherent properties of self-organizing matter, evolutionary ethics, and so on. Profound tensions and inconsistencies are immediately revealed in the neo-Darwinian movement once this broader perspective is adopted. This pluralism is such that it is possible to identify at least three distinct and quasi-incommensurable epistemological/metaphysical frameworks as providing a proper foundation for neo-Darwinism. The analysis of the views of Theodosius Dobzhansky, Bernhard Rensch, and Ernst Mayr will illustrate this untenable pluralism, one which requires us to conceive of the neo-Darwinian research agenda as being conducted in more than one research programme or research tradition at the same time. (shrink)

The following conclusions have been reached: The phenomenological concept of the "horizon" calls into question both the traditional philosophical concepts of Truth and Being, and it provides the basis for a new, non-hierarchical and non-ideological ontology. On the basis of the new ontology that Merleau-Ponty founds, the ontology of the "Flesh," Merleau-Ponty's thought provides the basis for a strong hermeneutic tool for the critique of ideological systems. Such a critique is not merely a linguistic technique; it is (...) equally based upon a nascent libido theory, which attempts to relate the linguistic and libidinal levels of experience into a unified hermeneutic of human existence. Thus Merleau-Ponty was a precursor of the contemporary French libido theorists, but without falling into the reductionistic error which is often committed by them. Merleau-Ponty did not reduce all existence to either the linquistic or libidinal level, but rather understood language and the body to be each other's significative horizon. Thus Merleau-Ponty's later work serves as both an existential hermeneutic of existence and a critique of ideology, while simultaneously helping to inaugurate the most recent trends of French thought. ;The methodological considerations of this dissertation are based upon the fact that Merleau-Ponty's philosophy was a nexus of existentialism, phenomenology and structuralism, as well as being what I wish to show is one of the foundations of post-structuralist libido theory. Thus all of these styles of philosophizing and their ontological implications must be traced out as they apply to Merleau-Ponty's later writing. Primarily, this dissertation is an analysis of one primary source: the working notes to the incomplete text of The Visible and the Invisible. Yet this interpretation must be effected in the light of Merleau-Ponty's previous works, and the texts that influenced him, and it must especially clarify the lineage of those texts that were subsequently influenced by him. But this textual analysis is combined with phenomenological analyses which are intended to provide examples that support the ontological claims that are made. ;This dissertation is an attempt to interpret the working notes to Merleau-Ponty's The Visible and the Invisible, and to evolve a general theory of interpretation based upon his insights. Specifically, the problem is that of the conciliation of the two major trends of contemporary French philosophy, linguistic analysis and libido theory, which at many points offer mutually exclusive interpretations of existence. I attempt to show how Merleau-Ponty provided an ontology which took into consideration both of these problematics, an ontology which bears as its central, but itself problematic term, the "Flesh." His new ontology of the Flesh is based upon the ontological implications of the classical phenomenological concept of the "horizon," which refers to the indistinct, implicit areas of the perceptual and conceptual fields, and which necessitates a radical reinterpretation of previous philosophy. (shrink)

In this dissertation I reconstruct Wilhelm Dilthey's Critique of Historical Reason as the solution to the epistemological-ontological problems raised in the Einleitung in die Geisteswissenschaften . It is my contention that the solutions to these problems are internally related by their devotion to the task of providing an analysis of the structure and development of the life-nexus, i.e. the I-World relationship as given in lived experience. Accordingly, I present Dilthey's structural and developmental analysis of the life-nexus as a foundation for (...) the synchronic and diachronic study of the socio-historical world. ;Part One begins with an explanation of the unifying principles of the critique by presenting a brief historical sketch of Dilthey's work and a comparison of Dilthey to Kant . Dilthey's approach is characterized in chapter two as an alternative to the phenomenological approaches of Husserl and Heidegger. The nature of the human sciences is analyzed in Part Two by distinguishing them from the natural sciences and by focusing upon the way in which the human sciences form a system . ;Part Three contains the systematic analysis of the life-nexus which is to provide the critical ground for the human sciences. Chapter five studies our most primitive awareness of the life-nexus. It is first given as an indeterminate whole and is made increasingly clearer through a process of description which brings to a focus the already given connections. Chapter six presents the structure of life as a practical I-World correlation, and chapter seven discusses the principles of the development of psychic life. Finally, structure and development are brought together in chapter eight in order to describe the nature of socio-historical systems and to discuss the way in which history can be divided into periods. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I (...) discuss ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

What is human nature? How is language related to thought -- and should the connection be investigated socially or scientifically? Is external reality coherent or fragmented? What are the foundations of rationality, and how trustworthy are they? Such questions have bedevilled thinkers for millennia. Contemporary scholars have harnessed enormous resources to find answers, yet their inquiry is invariably constrained by the tunnel vision of academic specialisation. This issue of The Dolphin seeks to establish common ground among the disciplines examining the (...) mind-brain continuum. Among those meeting the editors' challenge to think outside the disciplinary box are Noam Chomsky, John Searle and Steven Pinker, as well as a dozen others from the fields of neuroscience, linguistics, philosophy, cognitive science, English, computer science and ethnography. The implicit framework that results should help researchers in all fields locate the diversity of human knowing within a joint ontological perspective. (shrink)

Benacerraf’s Problem about mathematical truth displays a tension, indeed a seemingly unbridgeable gap, between Platonist foundations for mathematics on the one hand and Hilbert’s ‘finitary standpoint’ on the other. While that standpoint evinces an admirable philosophical unity, it is ultimately an effete rival to Platonism: It leaves mathematical practice untouched, even the highly non-constructive axiom of choice. Brouwer’s intuitionism is a more potent finitist rival, for it engenders significant deviation from standard (classical) mathematics. The essay illustrates three sorts of intuitionistic (...) deviations (weakening, refinement and outright contradiction), and goes on to sketch the technical tools and arguments that engender those clashes with classical mathematics and the philosophical principles underlying those arguments. Those philosophical principles coalesce into a “standpoint” no less unified and no less finitary that Hilbert’s. This intuitionistic standpoint is sufficiently detailed that it itself provides a benchmark for comparing all the rival positions; and it is sufficiently robust that it dissolves the Benacerrafian dichotomy. However, the intuitionistic refutation of the axiom of choice reveals two distinct sub-streams within that intuitionistic standpoint. Distinguishing these streams suggests perhaps that in spite of that robustness, intuitionism has an internal dichotomy parallel to the Benacerrafian split. The Benacerrafian split is a crack in the foundations of mathematics. But I shall argue that this internal intuitionistic dichotomy is not at all a foundational gap; it is rather a special insight about the nature of mathematical thought. (shrink)

It is put forward that modern elementary particle physics cannot be completely unified with the laws of gravity and general relativity without addressing the question of the ontological interpretation of quantum mechanics itself. The position of superstring theory in this general question is emphasized: superstrings may well form exactly the right mathematical system that can explain how quantum mechanics can be linked to a deterministic picture of our world. Deterministic interpretations of quantum mechanics are usually categorically rejected, because of (...) Bell’s powerful observations, and indeed these apply here also, but we do emphasize that the models we arrive at are super-deterministic, which is exactly the case where Bell expressed his doubts. Strong correlations at space-like separations could explain the apparent contradictions. (shrink)

A novel conceptual framework is introduced for the Complexity Levels Theory in a Categorical Ontology of Space and Time. This conceptual and formal construction is intended for ontological studies of Emergent Biosystems, Super-complex Dynamics, Evolution and Human Consciousness. A claim is defended concerning the universal representation of an item’s essence in categorical terms. As an essential example, relational structures of living organisms are well represented by applying the important categorical concept of natural transformations to biomolecular reactions and relational structures (...) that emerge from the latter in living systems. Thus, several relational theories of living systems can be represented by natural transformations of organismic, relational structures. The ascent of man and other living organisms through adaptation, is viewed in novel categorical terms, such as variable biogroupoid representations of evolving species. Such precise but flexible evolutionary concepts will allow the further development of the unifying theme of local-to-global approaches to highly complex systems in order to represent novel patterns of relations that emerge in super- and ultra-complex systems in terms of compositions of local procedures. Solutions to such local-to-global problems in highly complex systems with ‘broken symmetry’ might be possible to be reached with the help of higher homotopy theorems in algebraic topology such as the generalized van Kampen theorems (HHvKT). Categories of many-valued, Łukasiewicz-Moisil (LM) logic algebras provide useful concepts for representing the intrinsic dynamic ‘asymmetry’ of genetic networks in organismic development and evolution, as well as to derive novel results for (non-commutative) Quantum Logics. Furthermore, as recently pointed out by Baianu and Poli (Theory and applications of ontology, vol 1. Springer, Berlin, in press), LM-logic algebras may also provide the appropriate framework for future developments of the ontological theory of levels with its complex/entangled/intertwined ramifications in psychology, sociology and ecology. As shown in the preceding two papers in this issue, a paradigm shift towards non-commutative, or non-Abelian, theories of highly complex dynamics—which is presently unfolding in physics, mathematics, life and cognitive sciences—may be implemented through realizations of higher dimensional algebras in neurosciences and psychology, as well as in human genomics, bioinformatics and interactomics. (shrink)

Many scientific theories purport to describe empirically inaccessible aspects of the world. The agenda of foundational physics is more ambitious still: to characterize the world at the level of 'primitive ontology'. In this pursuit it often posits new and peculiar physical features, a proclivity aided by the abstract, mathematical way in which foundational theories are framed. But how do we decipher their physical content, and in particular the accounts of primitive ontology they offer, and why think (...) that content is true? This dissertation explores the relationship between these questions -- between the problem of ontological interpretation in foundational physics and the nature of scientific realism. I do not argue for a unified account. Rather, I examine three contexts in which their interactions are particularly interesting and philosophically significant. First, I consider the role scientific methodology plays in a prominent naturalistic defense of scientific realism: the no-miracles argument. The most sophisticated form of this argument rests on the broad claim that successful scientific methodology is irredeemably theory dependent. I examine the nature of this theory dependence within the context of Maxwell's development of electromagnetism, and argue that the presence of competing ontological interpretations undermines the realist's attempt to draw sweeping epistemic conclusions from methodological success. I next consider the concept of theoretical reformulation and how it applies to the claim that Lagrangian dynamics is a reformulation of (part of) Newtonian dynamics. How should this claim be understood in light of the fact that the world is non-classical? What can this tell us about the concept of theory reformulation itself, which plays a central role in arguments against scientific realism? I provide an analysis of theory reformulation in terms of counterfactual interpretative judgments, and then cast doubt on its justification in the classical case by developing a non-Newtonian interpretation of Lagrangian dynamics. Finally, I consider whether competing ontological interpretations raise underdetermination problems for realism about foundational physics. After first re-formulating the underdetermination argument to avoid recent objections that it fails to pose any distinctive threat, I suggest a formulation of realism that vitiates the underdetermination threats posed by competing ontological interpretations. (shrink)

One of the fundamental and seemingly simple aims of mathematical knowledge management (MKM) is to develop and standardize formats that allow to “represent the meaning of the objects of mathematics”. The open formats OpenMath and MathML address this, but differ subtly in syntax, rigor, and structural viewpoints (notably over calculus). To avoid fragmentation and smooth out interoperability obstacles, effort is under way to align them into a joint format OpenMath/MathML 3. We illustrate the issues that come up in such an (...) alignment by looking at three main areas: bound variables and conditions, calculus (which relates to the previous) and “lifted” n-ary operators. (shrink)

Roles remain nebulous entities, notwithstanding their extensive interdisciplinary research. This paper argues through a meta-ontological conceptual tool of grounding that there are three key facets of roles: a role position, a role specification, and a role potential. A foundational perspective on roles can be specified by “role choices” as to which facet of roles is primary. Role choices are illustrated with theories of roles that are built in compliance with four well-known upper ontologies: GFO, DOLCE, BFO, and UFO. The (...) relationship between such three facets of roles and the GFO-based three kinds of roles (relational, processual, and social) is closely examined. These three facets are also comparatively studied from linguistic (e.g. ‘have a role’ versus ‘play a role’) and methodological (realism versus conceptualism regarding ontology design) perspectives. Furthermore, the family resemblance view of roles as “epistemic trackers” is proposed: the general notion of role is merely (partially) unified by its three facets and helps to keep track of some entity with respect to its role-related aspects. Finally, defining characteristics of roles in conceptual modeling are considered in terms of the three-facet theory. This work provides the grist for future practical development of an ontological module for generic role representation. (shrink)

Scientific knowledge develops in an increasingly fragmentary way.A multitude of scientific disciplines branch out. Curiosity for thisdevelopment leads into quests for a unifying understanding. To a certain extent, foundational studies provide such unification. There is a tendency, however, also of a fragmentary growth of foundational studies, like in a multitude of disciplinaryfoundations. We suggest to look at the foundational problem, not primarily as a search for foundations for one discipline in another, as in some reductionist approach, but (...) as a steady revelation ofpresuppositions for individual scientific theories – which are boundto meet, sooner or later, in a common language. A decisive point hereis our holistic conception of language, as a whole of description-interpretation processes which are entangled(complementary) in the language itself. For every language there is alinguistic complementarity. We suggest this unique form ofentanglement as a unifying presupposition, ultimately foundational forall communicable knowledge. Involved is a linguistic realism, in terms ofwhich we critically examine ``language-world'' problems, as exposed byWittgenstein, and Russell, about a foundational interdependence of language andreality (world). Throughout, we attach to the developmentof foundational studies of mathematics, logics, and the naturalsciences. In particular, we study the interpretation problem foraxioms of infinity in some detail. We emphasize that the holistic concept of language contradicts Carnap's semiotic fragmentation thesis (thus, no clean cutbetween syntax, semantics, pragmatics). (shrink)

Current debates in social ontology are dominated by approaches that view institutions either as rules or as equilibria of strategic games. We argue that these two approaches can be unified within an encompassing theory based on the notion of correlated equilibrium. We show that in a correlated equilibrium each player follows a regulative rule of the form ‘if X then do Y’. We then criticize Searle's claim that constitutive rules of the form ‘X counts as Y in C’ (...) are fundamental building blocks for institutions, showing that such rules can be derived from regulative rules by introducing new institutional terms. Institutional terms are introduced for economy of thought, but are not necessary for the creation of social reality. (shrink)

Prevention is a pervasive phenomenon. It is about blocking an effect before it happens or stopping it as it unfolds: vaccines prevent (the unfolding of) diseases; seat belts prevent events causing serious injuries; circuit breaks prevent the manifestation of overcurrents. Many disciplines in the information sciences deal with modeling and reasoning about prevention. Examples include risk and security management as well as medical and legal informatics. Having a proper conceptualization of this phenomenon is crucial for devising proper modeling mechanisms and (...) tools to support these disciplines. Forming such a conceptualization is a matter of Formal Ontology. In fact, prevention and related notions have become a topic of interest in this area. In this paper, with the support of Unified Foundational Ontology (UFO), we conduct an ontological analysis of this and other related notions, namely, the notions of countermeasures and countermeasure mechanisms, including the notion of antidotes. As a result of this conceptual clarification process, we propose an ontology-based reusable module extending UFO and capturing the relations between these elements. Finally, we employ this module to address a few cases in risk management. (shrink)

I locate possible fertile common ground among the “new natural law theory” of Finnis, Grisez, and Boyle, the “traditional” Thomism of McInerny, and natural law derivationism. I respond to Murphy’s contention that the “inclinationism” of Finnis cannot be successfully asserted along with what Murphy takes to be a basic requirement of natural law ethics, namely that basic practical principles are to be “strongly grounded” in human nature. I argue that the tension between the inclinationism of Finnis and Murphy’s basic requirement (...) is not irresolvable. In response to objections by Murphy to natural law derivationism, I argue, basedin part on Searle’s attempt to derive an “ought” from an “is,” that the new natural law theorists and McInerny can and should investigate natural law derivationismfor possible adoption. (shrink)

We describe the rationale for an application ontology covering the domain of human body fluids that is designed to facilitate representation, reuse, sharing and integration of diagnostic, physiological, and biochemical data, We briefly review the Blood Ontology (BLO), Saliva Ontology (SALO) and Kidney and Urinary Pathway Ontology (KUPO) initiatives. We discuss the methods employed in each, and address the project of using them as starting point for a unified body fluids ontology resource. We conclude (...) with a description of how the body fluids ontology initiative may provide support to basic and translational science. (shrink)

An approach in achieving semantic interoperability among heterogeneous systems is to offer infrastructure to assist with linking and integration using a foundational ontology. Due to the creation of multiple foundational ontologies, this also means linking and integrating those ones. In order to achieve this, we have selected the widely used foundational ontologies DOLCE, BFO, and GFO, and their related modules, on which to perform ontology mediation (alignment, mapping, and merging). The foundational ontologies were aligned (...) by identifying correspondences between ontology entities using seven tools, documentation, and our manual alignments, and comparing their effectiveness. Thereafter, based on the alignments, we created correspondences in the ontology files resulting in entity mappings and merged ontologies. However, during the mapping process, it was found that differences in foundational ontologies, such as their hierarchical structure, conflicting axioms due to complement and disjointness, and incompatible domain and range restriction, cause logical inconsistencies in foundational ontology alignments, thereby greatly reducing the number of mappings. We analyse and present these logical inconsistencies with possible solutions to some of them. (shrink)

Thomas Langan's latest work, Being and Truth, sets as its object of inquiry the possibility of a genuine and meaningful intersubjectivity wherein both self and other come fully to nurture one another. The very condition for the possibility of such a significant onto-poetic relation is grounded and intertwined within a metaphysical Fundierung of Being illumined by Truth. In order to answer the aforementioned philosophical question, Langan maintains that the philosophical question must be cast as an ontological question. In other words, (...) the key to understanding and responding to the possibility of a genuine intersubjective relationship where both self and other come to fully interact with one another lies within the framework of a serious attempt to comprehend reflectively the constitutive dynamic between being, esse and Sein. Central to a genuine understanding and "holy" living out of self, other and the communal relationship which exists between the two is responsibility--the ability to respond to the exigencies and gifts of being. Hence, the need for our question to be cast in an ontological light. (shrink)

In this very issue, Augusto (2022) formulates two requirements upon which to evaluate the adequacy of a foundational ontology. Specifically, the ontological categories: (i) should be understood as the most general kinds of things and (ii) are organized in a non-overlapping finite hierarchy. On the basis of such constraints, he claims that most existing foundational ontologies engineered in the context of Applied Ontology, including the UFO-B ontology, are inadequate. In this article, first we show that (...) his objection against UFO-B can be dissipated by pointing to a trivial terminological confusion. We then argue that his two constraints are not plausible. Then, we show that the disagreement between our point of view and Augusto’s framework is not restricted to those two constraints but extends over the notion of conceptualization of reality. (shrink)