While neuroscience has made enormous progress in understanding the brain, the implications of these empirical findings for ontological questions in philosophy including the mind–body problem remain yet unclear. In the first paper, I discussed the model of brain that as implied and supported by the empirical data. This leads me now to the question of an empirically plausible ontology of brain. Therefore, the aim in this second paper is the ontological characterization of the brain in terms of a process- (...) class='Hi'>based ontology that avoids what Whitehead described as “simple location” and “fallacy of misplaced concreteness”. The discussion of the model of the brain is complemented by developing a process-based ontological characterization of the brain. Specifically, as based on Whitehead, I argue that “simple location” of the brain as thing or object in time and space amounts to nothing but an abstraction rendering what Whitehead described as “fallacy of misplaced concreteness”. Instead of describing the brain as static, non-temporal and isolated thing or object, I characterize the brain ontologically by dynamic, temporal, and relational processes. This leads me to a process-based ontology of brain which may be specified in spatiotemporal terms. Since the world’s larger spatiotemporal range or scale contains, e.g., nests, the smaller one of the brain, I characterize their ontological relationship by “spatiotemporal nestedness” and “spatiotemporal directedness”. Such spatiotemporal relationship between world and brain precludes the confusion between the world as whole and the brain as part, e.g., “mereological confusion”. I conclude that process-based or better, more specifically, spatiotemporal ontology of the brain and its relationship to the world may offer novel views on the question for the ontological relationship between mind and brain, e.g., the mind–brain problem, by converting or reformulating it as “world-brain problem”. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

Representing the kinetic state of a patient (posture, motion, and activity) during vital sign measurement is an important part of continuous monitoring applications, especially remote monitoring applications. In contextualized vital sign representation, the measurement result is presented in conjunction with salient measurement context metadata. We present an automated annotation system for vital sign measurements that uses ontologies from the Open Biomedical Ontology Foundry (OBO Foundry) to represent the patient’s kinetic state at the time of measurement. The annotation system is (...) applied to data generated by a wearable personal status monitoring (PSM) device. We demonstrate how annotated PSM data can be queried for contextualized vital signs as well as sensor algorithm configuration parameters. (shrink)

Kim's argument appears to render causally efficacious emergence impossible: Hume's argument appears to render normative emergence impossible, and, in its general form, it precludes any emergence at all. I argue that both of these barriers can be overcome, and, in fact, that they each constitute reductions of their respective underlying presuppositions. In particular, causally efficacious ontological emergence can be modeled, but only within a process metaphysics, thus avoiding Kim's argument, and making use of non-abbreviatory forms of definition, thus avoiding Hume's (...) argument. I illustrate these points with models of the emergent nature of normative function and of representation. (shrink)

In the visual representation of ontologies, in particular of part-whole relationships, it is customary to use graph theory as the representational background. We claim here that the standard graph-based approach has a number of limitations, and we propose instead a new representation of part-whole structures for ontologies, and describe the results of experiments designed to show the effectiveness of this new proposal especially as concerns reduction of visual complexity. The proposal is developed to serve visualization of ontologies conformant to (...) the Basic Formal Ontology. But it can be used also for more general applications, particularly in the biomedical domain. (shrink)

Despite the public availability of legal documents, there is a need for finding specific information contained in them, such as paragraphs, clauses, items and so on. With such support, users could find more specific information than only finding whole legal documents. Some research efforts have been made in this area, but there is still a lot to be done to have legal information available more easily to be found. Thus, due to the large number of published legal documents and the (...) high degree of connectivity, simple access to the document is not enough. It is necessary to recover the related legal framework for a specific need. In other words, the retrieval of the set of legal documents and their parts related to a specific subject is necessary. Therefore, in this work, we present a proposal of a RDF-based graph to represent and search parts of legal documents, as the output of a set of terms that represents the pursued legal information. Such a proposal is well-grounded on an ontological view, which makes possible to describe the general structure of a legal system and the structure of legal documents, providing this way the grounds for the implementation of the proposed RDF graph in terms of the meaning of their parts and relationships. We posed several queries to retrieve parts of legal documents related to sets of words and the results were significant. (shrink)

Four- Dimensionalism defends the thesis that the material world is composed of temporal as well as spatial parts. This defense includes a novel account of persistence over time, new arguments in favour of the four-dimensional ontology, and responses to the challenges four- dimensionalism faces." "Theodore Sider pays particular attention to the philosophy of time, including a strong series of arguments against presentism, the thesis that only the present is real. Arguments offered in favour of four- dimensionalism include novel (...) arguments based on time travel, the debate between spacetime substantivalists and relationalists, and vagueness. Also included is a comprehensive discussion of the paradoxes of coinciding material objects, and a novel resolution of those paradoxes based on temporal counterpart theory. In conclusion Sider replies to prominent objections to four- dimensionalism, including discussion of the problem of the rotating homogenous disk. (shrink)

Ontology is currently perceived as the solution of first resort for all problems related to biomedical terminology, and the use of description logics is seen as a minimal requirement on adequate ontology-based systems. Contrary to common conceptions, however, description logics alone are not able to prevent incorrect representations; this is because they do not come with a theory indicating what is computed by using them, just as classical arithmetic does not tell us anything about the entities that (...) are added or subtracted. In this paper we shall show that ontology is indeed an essential part of any solution to the problems of medical terminology – but only if it is understood in the right sort of way. Ontological engineering, we shall argue, should in every case go hand in hand with a sound ontological theory. (shrink)

FOIS is the flagship conference of the International Association for Ontology and its Applications, a non-profit organization which promotes interdisciplinary research and international collaboration at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science. This book presents the papers delivered at FOIS 2023, the 13th edition of the Formal Ontology in Information Systems conference. The event was held as a sequentially-hybrid event, face-to-face in Sherbrooke, Canada, from 17 to 20 July 2023, and online from (...) 18 to 20 September 2023. In total, 62 articles from 19 different countries were submitted, out of which 25 were accepted for inclusion in the conference and for publication; corresponding to an acceptance rate of 40 percent. The contributions are separated into the book’s three sections: (1) Foundational ontological issues; (2) Methodological issues around the development, alignment, verification and use of ontologies; and (3) Domain ontologies and ontology-based applications. In these sections, ontological aspects from a wide variety of fields are covered, primarily from various engineering domains including cybersecurity, manufacturing, petroleum engineering, and robotics, but also extending to the humanities, social sciences, medicine, and dentistry. A noticeable trend among the contributions in this edition of the conference is the recognition that improving the tools to analyze, align, and improve ontologies is of paramount importance in continuing to advance the field of formal ontology. The book will be of interest to all formal and applied ontology researchers, and to those who use formal ontologies and information systems as part of their work. (shrink)

General Ontological Language (GOL) is a formal framework for representing and building ontologies. The purpose of GOL is to provide a system of top-level ontologies which can be used as a basis for building domain-specific ontologies. The present paper gives an overview about the basic categories of the GOL-ontology. GOL is part of the work of the research group Ontologies in Medicine (Onto-Med) at the University of Leipzig which is based on the collaborative work of the Institute of (...) Medical Informatics (IMISE) and the Institute for Computer Science (IfI). It represents work in progress toward a proposal for an integrated family of top-level ontologies and will be applied to several fields of medicine, in particular to the field of Clinical Trials. (shrink)

Increasingly, in data-intensive areas of the life sciences, experimental results are being described in algorithmically useful ways with the help of ontologies. Such ontologies are authored and maintained by scientists to support the retrieval, integration and analysis of their data. The proposition to be defended here is that ontologies of this type – the Gene Ontology (GO) being the most conspicuous example – are a part of science. Initial evidence for the truth of this proposition (which some will find (...) self-evident) is the increasing recognition of the importance of empirically-based methods of evaluation to the ontology development work being undertaken in support of scientific research. The ontologies created by scientists must, of course, be associated with implementations satisfying the requirements of software engineering. But these ontologies are not themselves engineering artifacts, and to conceive them as such brings grievous consequences. Rather, we shall argue, ontologies such as the GO are comparable to scientific theories, to scientific databases, or to scientific journal publications. Such a view implies a radically new conception of what is involved in the authoring, maintenance and application of ontologies in scientific contexts, and therewith also a radically new approach to the evaluation of ontologies and to the training of ontologists. (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)

Our best sciences are frequently held to be one way, perhaps the optimal way, to learn about the world’s higher-level ontology and structure. I first argue that which scientific theory is “best” depends in part on our goals or purposes. As a result, it is theoretically possible to have two scientific theories of the same domain, where each theory is best for some goal, but where the two theories posit incompatible ontologies. That is, it is possible for us to (...) have goal-dependent pluralism in our scientific ontologies. This ontological pluralism arises simply from our inability to directly know the world’s objects, rather than any particular claims about our cognitive limits, values, or social structures. I then present two case studies in which this possibility actually occurs—one based on simulations and theoretical analyses of constructed causal systems, and one from actual scientific investigations into the proper ontology for ocean regions. (shrink)

Although the last decade has seen a proliferation of ontological approaches to arguments, many of them employ ad hoc solutions to representing arguments, lack interoperability with other ontologies, or cover arguments only as part of a broader approach to evidence. To provide a better ontological representation of arguments, we present the Arguments Ontology (ArgO), a small ontology for arguments that is designed to be imported and easily extended by researchers who work in different upper-level ontology frameworks, different (...) logics, and different approaches to argument evaluation. Unlike most ontological approaches to arguments, ArgO utilizes Basic Formal Ontology (BFO) as an upper-level ontology, and may be used alongside other commonly used ontologies in the BFO framework, including boththe Information Artifact Ontology (IAO), and the Information Entity Ontology (INFO). Critically, our proposal is principled, based on rigorous definitions and formal axioms out of which characterizations of arguments naturally fall. It is our hope that ArgO may assist researchers in many projects, including: integrating heterogeneous sources of evidence, structuring the content of semantic wikis, and enhancing semantic reasoning. (shrink)

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

Equipped with the ultimate query answering system, computers would finally be in a position to address all our information needs in a natural way. In this paper, we describe how Language and Computing nv (L&C), a developer of ontology-based natural language understanding systems for the healthcare domain, is working towards the ultimate Question Answering (QA) System for healthcare workers. L&C’s company strategy in this area is to design in a step-by-step fashion the essential components of such a system, (...) each component being designed to solve some one part of the total problem and at the same time reflect well-defined needs on the prat of our customers. We compare our strategy with the research roadmap proposed by the Question Answering Committee of the National Institute of Standards and Technology (NIST), paying special attention to the role of ontology. (shrink)

Each annual Ontology Summit initiative makes a statement appropriate to each Summit’s theme as part of our general advocacy designed to bring ontology science and engineering into the mainstream. The theme this year is "Towards an Open Ontology Repository". This communiqué represents the joint position of those who were engaged in the year's summit discourse on an Open Ontology Repository (OOR) and of those who endorse below. In this discussion, we have agreed that an "ontology (...) repository is a facility where ontologies and related information artifacts can be stored, retrieved and managed." -/- We believe in the promise of semantic technologies based on logic, databases and the Semantic Web, a Web of exposed data and of interpretations of that data (i.e., of semantics), using common standards. Such technologies enable distinguishable, computable, reusable, and sharable meaning of Web and other artifacts, including data, documents, and services. We also believe that making that vision a reality requires additional supporting resources and these resources should be open, extensible, and provide common services over the ontologies. (shrink)

We present the details of a methodology for quality assurance in large medical terminologies and describe three algorithms that can help terminology developers and users to identify potential mistakes. The methodology is based in part on linguistic criteria and in part on logical and ontological principles governing sound classifications. We conclude by outlining the results of applying the methodology in the form of a taxonomy different types of errors and potential errors detected in SNOMED-CT.

Just as ontology developed over the centuries as part of philosophy, so in recent years ontology has become intertwined with the development of the information sciences. Researchers in various fields have come to realize that a solid foundation for their projects calls for an explicit theorization of the types of entities and relations that make up their respective domains of inquiry, and as the need for integrating such projects arises, so does the need to identify common ontological principles (...) over ad hoc, case-based solutions. This volume collects the papers presented at the third international conference devoted to current research in this area, including invited papers by P. Gärdenfors and A. L. Thomasson. (shrink)

We examine to what extent an adequate ontology of technical artefacts can be based on existing general accounts of the relation between higher-order objects and their material basis. We consider two of these accounts: supervenience and constitution. We take as our starting point the thesis that artefacts have a ‘dual nature’, that is, that they are both material bodies and functional objects. We present two criteria for an adequate ontology of artefacts, ‘Underdetermination’ and ‘Realizability Constraints’ , which (...) address aspects of the dual nature thesis. Assessing supervenience accounts, we find them either wanting with respect to these criteria or insufficiently informative. Next, we argue that a recent application of Lynne Rudder Baker’s constitution view to artefacts cannot meet our criteria, although the broader view leaves room for improvement. Based on our evaluation of the most promising candidates, we conclude that so far general metaphysical views fail to address the most salient features of artefacts. Although they can account for the fact that artefacts have a ‘dual nature’, they do not offer the conceptual resources needed to describe the relation between these natures; this relation raises a hard problem in metaphysics.Keywords: Metaphysics; Artefact; Supervenience; Constitution; Underdetermination. (shrink)

Dewey’s social ontology could be characterized as a habit ontology, an ontology of habit qua second nature that offers us an account of intentionality, social statuses, institutions, and norms in terms of habituations. Such an account offers us a promising alternative to contemporary intentionalist and deontic approaches to social ontology such as Searle’s. Furthermore, it could be the basis of a social ontology better suited to explain both the maintenance and the transformation of social reality. (...) In the first part I will characterize Dewey’s model as a social ontology based on the notion of habit, and present it as an alternative to intentionalist approaches to social reality. In the second part I will argue that habit ontology offers us an account of social norms that is based on a peculiar understanding of the notion of ‘status’, and represents an alternative to deontic accounts. In the third part I will claim that Dewey’s notion of “public” offers us a dynamic understanding of social institutions and a ‘reactive’ notion of collective intentionality as an achievement rather than as a presupposition of social practices. In the final section I will summarize some advantages of the Deweyan over the Searlean social ontology concerning our understanding of acceptance, maintenance and transformation of statuses, and of the role played by the ‘background’. (shrink)

We propose category theory, the mathematical theory of structure, as a vehicle for defining ontologies in an unambiguous language with analytical and constructive features. Specifically, we apply categorical logic and model theory, based upon viewing an ontology as a sub-category of a category of theories expressed in a formal logic. In addition to providing mathematical rigor, this approach has several advantages. It allows the incremental analysis of ontologies by basing them in an interconnected hierarchy of theories, with an (...) operation on the hierarchy that expresses the formation of complex theories from simple theories that express first principles. Another operation forms abstractions expressing the shared concepts in an array of theories. The use of categorical model theory makes possible the incremental analysis of possible worlds, or instances, for the theories, and the mapping of instances of a theory to instances of its more abstract parts. We describe the theoretical approach by applying it to the semantics of neural networks. (shrink)

This paper concerns the development and use of ontologies for electronically supporting and structuring the highest-level function of government: the design, implementation and evaluation of public policies for the big and complex problems that modern societies face. This critical government function usually necessitates extensive interaction and collaboration among many heterogeneous government organizations (G2G collaboration) with different backgrounds, mentalities, values, interests and expectations, so it can greatly benefit from the use of ontologies. In this direction initially an ontology of public (...) policy making, implementation and evaluation is described, which has been developed as part of the project ICTE-PAN of the Information Society Technologies (IST) Programme of the European Commission, based on sound theoretical foundations mainly from the public policy analysis domain and contributions of experts from the public administrations of four European Union countries (Denmark, Germany, Greece and Italy). It is a ‘horizontal’ ontology that can be used for electronically supporting and structuring the whole lifecycle of a public policy in any vertical (thematic) area of government activity; it can also be combined with ‘vertical’ ontologies of the specific vertical (thematic) area of government activity we are dealing with. In this paper is also described the use of this ontology for electronically supporting and structuring the collaborative public policy making, implementation and evaluation through ‘structured electronic forums’, ‘extended workflows’, ‘public policy stages with specific sub-ontologies’, etc., and also for the semantic annotation, organization, indexing and integration of the contributions of the participants of these forums, which enable the development of advanced semantic web capabilities in this area. (shrink)

The Protein Ontology (PRO) provides a formal, logically-based classification of specific protein classes including structured representations of protein isoforms, variants and modified forms. Initially focused on proteins found in human, mouse and Escherichia coli, PRO now includes representations of protein complexes. The PRO Consortium works in concert with the developers of other biomedical ontologies and protein knowledge bases to provide the ability to formally organize and integrate representations of precise protein forms so as to enhance accessibility to results (...) of protein research. PRO (http://pir.georgetown.edu/pro) is part of the Open Biomedical Ontologies (OBO) Foundry. (shrink)

The book contains essays in honor of Victor Raskin. The contributions are all directly related to some of the major areas of work in which Raskin's scholarship has spanned for decades. The obvious connecting idea is the encyclopedic script-based foundation of lexical meaning, which informs his pioneering work in semantics in the 1970s and 1980s. The first part of the book collects articles directly concerned with script-based semantics, which examine both the theoretical and methodological premises of the idea (...) and its applications. Script-based semantics is the foundation of both Raskin's ground-breaking work in humor research (addressed by the articles in part 2) and in Ontological semantics (addressed in part 3), the most recent development of script-based semantics. The fourth part is dedicated to a less-known, but equally important, strand of Raskin's research, the applications of linguistics to other fields, including writing, lexicography, and professional applications (e,g., tourism). Overall, the book provides and up-to-date, in-depth discussion of an influential strand of the discussion on semantics and its most recent developments and influence on other seemingly unrelated fields, such as Cognitive Linguistics. (shrink)

In this article I address some questions concerning the emerging conjunction of musical research on improvisation and work in the ‘posthumanities’, in particular the theoretical results of the ‘ontological turn’ in the humanities. Engaging with the work of the composer John Cage, and George E. Lewis’s framing of Cage’s performative indeterminacy as a ‘Eurological’ practice that excludes ‘Afrological’ jazz improvisation, I examine how critical discourse on Cage and his conception of sound is relevant to the improvisation-posthumanities conjunction. After discussing some (...) criticisms of ontological and materialist approaches to sound, I consider the Actor-Network Theory (ANT) of Bruno Latour, posed as offering an alternative to these approaches. Following an examination of some limitations to ANT based around the themes of critique and abstraction, I draw from the work of Gilles Deleuze and Georgina Born to suggest that work on improvisation and the posthumanities may be fruitful, but must be part of a pluralistic mode of inquiry that does not reject critique and abstraction, as some work in the posthumanities has done. (shrink)

This article describes an ontological model of norms. The basic assumption is that a substantial part of a legal system is grounded on the concept of agency. Since a legal system aims at regulating a society, then its goal can be achieved only by affecting the behaviour of the members of the society. We assume that a society is made up of agents (which can be individuals, institutions, software programs, etc.), that agents have beliefs, goals and preferences, and that they (...) commit to intentions in order to choose a line of behaviour. The role of norms, within a legal system, is to specify how and when the chosen behaviour agrees with the basic principles of the legal system. In this article, we show how a model based on plans can be the basis for the ontological representation of norms, which are expressed as constraints on the possible plans an agent may choose to guide its behaviour. Moreover, the paper describes how the proposed model can be linked to the upper level of a philosophically well-founded ontology (DOLCE); in this way, the model is set in a wider perspective, which opens the way to further developments. (shrink)

The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the Problem (...) of Their Mutual Relations” provides a broad introduction into the problem area connected with this differentiation, while the logic-formal characteristics of the distinction are framed in the work entitled “On the Type-Token Relationships” (Chapter 1). The basic part of the book deals with issues relating to syntax (Chapters 2-4) and semantics of language (Chapters 5-6), as well as pertaining to syntactic-semantic pragmatic questions (Chapters 7-13). Throughout the book, language, categorial language, is characterized syntactically as generated by classical categorial grammar (Chapter 2) and formalized on two opposing levels: as language of expression-tokens (level of tokens) and language of expression-types (level of types). The author’s considerations contained in Chapters 2 and 4 lead to the important philosophical conclusion that in formal-logical syntactic studies on language the assumption that expression-types constitute the primary language layer while expression-tokens make the secondary one, can be neglected; thus, this speaks in favour of the opposing standpoint—the concretistic one—in the ontology of language syntax. In the works “Meaning and Interpretations”, Parts I and II (Chapters 5 and 6), it is underlined, however, that such semantic concepts as: meaning, denotation and interpretation are defined on the types level, yet their formal definitions require making use of notions of the tokens level. The semantic notions introduced in the above-mentioned articles are also used in the following works of the present selection, under the titles: “Three Principles of Compositionality” and “On Metaknowledge and Truth” (Chapters 7 and 8). They formalize two principles of compositionality that are well known in the literature on the subject, deriving from Frege, i.e. those of meaning and of denotation; they are related to the syntactic principle of compositionality which was introduced by the author. All the three principles are, at the same time, three conditions of homomorphism of categorial language algebra into three kinds of non-standard models of language (one syntactic and two semantic ones: intensional and extensional), which allows introducing three definitions of truthfulness into these models. The next two works in the collection, entitled: “On Language Adequacy” and “What is the Sense in Logic and Philosophy of Language” (Chapters 9 and 10) concern adequacy of categorial language syntax along with its dual semantics: intensional and extensional, and categorial compatibility of any of its syntactic categories with two corresponding semantic categories: intensional and extensional, based on the compatibility the syntactic category of each language expression with the ontological category assigned to its denotatum. The well-known problem of categorial compatibility for first-order quantifiers finds its solution in the paper “Categories of First-Order Quantifiers” (Chapter 11). In the work “Logic and Ontology of Language” (Chapter 12), being in a sense a summary of the considerations presented in the preceding chapters of the book, language is treated as an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. Application—like throughout the book—of tools of classical logic and set theory has resulted in emergence of a general formal logical theory of syntax, semantics and pragmatics of language, which takes into account duality in the understanding of linguistic expressions as tokens (concretes) and types (abstract objects). In terms that take into account a functional approach to language itself, there comes out an ontological neutrality of logic with respect to existential assumptions relating to the ontological nature of linguistic expressions and their extra-linguistic ontological counterparts. The issues connected with applying logic while explaining the manner of using linguistic tokens and linguistic types to determine notions of language communication are raised and illustrated in the last chapter of the work, bearing the title “A Logical Conceptualization of Knowledge on the Notion of Language Communication”. (shrink)

It has recently become popular to suggest that questions of ontology ought be settled by determining, first, which fundamental things exist, and second, which derivative things depend on, or are grounded by, those fundamental things. This methodology typically leads to a hierarchical view of ontology according to which there are chains of entities, each dependent on the next, all the way down to a fundamental base. In this paper we defend an alternative ontological picture according to which there (...) is no ontological hierarchy. Such a picture appears counterintuitive (at least to many), in part because in the absence of a hierarchical structure to our world, there would be no structure apt to back metaphysical explanations. There are two reasons to suppose this is so. First, there would be no structure apt to back metaphysical explanations because there would be a fatal mismatch between the formal features of metaphysical explanation, on the one hand, and the structure of the world, on the other hand. Second, in the absence of an ontological hierarchy there would be no structure apt to back metaphysical explanations because the only connections that would obtain between relevant facts are mere correlational connections. But mere correlations are not the right kinds of relations to back metaphysical explanations: explanation requires something more. This paper aims to show that neither of these is a good reason to prefer a hierarchical view of ontology. (shrink)

There are several ontological and consequently also methodological mistakes in contemporary mainstream economics. Among them, the so-called ergodic axiom is play significant role. It is understandable that the real economy elaborated as formalized mental model looks like dynamic system on first sight. However, that is right only of dynamical systems in mathematical formalism. Economy that is in our understanding societal and/or collective economy is complex evolving organism. If we imagine such organism in the form of dynamical system that is as (...) clear mathematical formalism, we are losing their crucial authentic character. The significant irredeemable attribute of societal economy is lying in his complex evolving network process character created by large population of people with different decision-making and complex realizing among them. Going from these imaginations the two entities in a question that is dynamical system with their ergodicity and societal economic organism as complex evolving network are qualitative very different ones. That is the reason why we cannot accede with endeavours to draw on living economy straitjacket of ergodic axiom. To articulate that cause by other words ergodic dynamical systems are applicable for physical and partly for chemical entities and only scarcely are fit for living organisms. On the other hand however, as clear method the ergodic dynamical system have good applying for didactical approaches in economics where helping in better understanding some types of complexities in dynamics. The purpose of that essay is to discuss problems around usability of ergodic dynamical system theory and methods in economics in the age of advanced ICT knowledge based society. (shrink)

Contrary to Sankey’s central assumption, incommensurability does not imply incomparability of content, nor threaten scientific realism by challenging the rationality of theory comparison. Moreover, Sankey equivocates between reference to specific entities by statements used to test theories and reference to kinds by theories themselves. This distinction helps identify and characterize the genuine threat that incommensurability poses to realism, which is ontological discontinuity as evidenced in the historical record: Successive theories reclassify objects into mutually exclusive sets of kinds to which they (...) refer. That is why claiming that scientific progress is an increasingly better approximation to truth is difficult to justify. Similarly, Sankey’s attack on neo-Kantian antirealist positions is based on his misunderstanding of some of the central terms of those positions, making most of his attack on them ineffectual, including his diagnosis of their incoherence. We conclude by reiterating our conviction that in this debate meta-incommensurability plays an important role.Keywords: Scientific realism; Incommensurability; Meta-incommensurability; Thomas Kuhn; Paul Feyerabend; Howard Sankey. (shrink)

This paper studies the notion of self-knowledge in Aristotle and principally in Aquinas. According to Aristotle, sensitive operations like seeing or hearing can be perceived by the knower (sensitive consciousness), while there can be also an understanding of the understanding, mainly attributed to God, but not exclusively. In his ethical writings, Aristotle acknowledges the human capacity of understanding and perceiving one’s life and existence, extended also to other persons in the case of friendship. Aquinas receives this heritage and includes also (...) the habitual self-awareness of the mind which was held by Augustine. A more ontological view is taken from the Neoplatonic notion of complete reflexivity of the intellectual soul upon its own essence as a manifestation of total immateriality and self-possession, which is a higher way of existing and living. Thus, the modern idea of self-consciousness is not absent in the Thomistic account of self-understanding, though the term “conscience” was reserved to the moral judgment upon one’s actions as right or wrong. The Thomistic distinction between habitual existential self-knowledge, which is an intellectual experience including perception and judgment, and scientific and abstract human self-knowledge, is useful and provides insight to the ontological value of existential self-knowledge. The last part of the paper argues that according to Aquinas there is a deep connection between self-knowledge and self-love, provided they are rooted on truth and virtue. This point has many consequence in the notion of shared self-awareness and mutual joy in friendship. The author concludes as well that a genuine self-understanding is possible only in friendship based upon virtue. (shrink)

In mining, manufacturing and industrial process industries, maintenance procedures are used as an aid to guide technicians through complex manual tasks. These procedures are not machine-readable, and cannot support reasoning in digitally integrated manufacturing systems. Procedure documents contain unstructured text and are stored in a variety of formats. The aim of this work is to query information held in real industrial maintenance procedures. To achieve this, we develop an ontology for maintenance procedures using the OWL 2 description language. We (...) leverage classes and object properties from the ISO 15926 Part 14 Upper Ontology and create a domain ontology. The key contribution of this paper is a demonstration of trade-offs required when modelling an existing engineering artifact, where an abstraction of its contents is given a-priori. We provide an ontologically rigorous abstraction of notions captured in procedure documentation to a set of classes, relations and axioms that allow reasoning over the contents. Validation of the ontology is performed via a series of competency questions based on queries relevant to technicians, engineers and schedulers in industry. The ontology is applied to real world maintenance procedures from two industrial organisations. (shrink)

This paper is focused on the possibility of a dialogue between Object-Oriented Ontology (OOO) and phenomenology, a dialogue concerning the problem of objects and relations. In the first part, the author shows what is interesting in OOO from a phenomenological perspective and why it should be considered as a challenge for contemporary philosophy. The second part develops the phenomenological perspective of the author, a perspective based on Merleau-Ponty’s “carnal” phenomenology, as well as some suggestions coming from the Italian (...) school of Gaetano Kanizsa. The third part is dedicated to the objections of the author to the OOO view regarding the separation between objects and relations: a separation which leads to Harman’s quadruple object. In the concluding portion, the author shows that, despite evident differences between phenomenological and OOO’s views of relations, OOO offers new starting points for phenomenological reflections, thanks to its specific focus on objects and its pluralistic view of reality. (shrink)

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and (...) made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

A phenomenological approach to the ontology of the will could be rendered along three positions: Firstly, the willing I is completely immanent in its experience, such that one can only will, and know that one wills, by reflecting on the actual experience of willing. Secondly, one could hold that the will, while being analyzable as a conscious phenomenon, is itself a real psychic force driving one’s motivations and actions without one necessarily being aware of it. The third position would (...) argue that the reality of the will is not exhausted by the way it is experienced, but that its real causes are not necessarily part of a complete phenomenological investigation. I discuss the phenomenology of the will of Alexander Pfänder, Moritz Geiger and Edmund Husserl along this realist-transcendentalist spectrum. My basic concern here is a critical examination of the phenomenological approach to an entity beyond experience which is responsible for the experienced volitions. I will proceed in three steps, based on the distinction of volitions into three parts. Firstly, I ask what antecedes a volition in order to determine its phenomenal and ontological causes. Secondly, the analysis of the apperception of willing clarifies in what sense an “I” is experienced as the real or phenomenal cause of its volition. Thirdly, the discussion of the realization of the volition will address the role that this “I” subsequently plays in the process of fulfilling its intent. The paper develops the ways in which the ontology of the “willing I” limits and shapes the conception of the intentional relation between willing and desiring consciousness and its contents. (shrink)

I aim at explaining the sense in which the notion of improvisation is important for the ontology of art. In the first part, I criticize the widespread assumption of the repeatability of a musical work without transformation of its identity and defend Conversational Improvisational Emergentism (CIE) as the specific contribution of improvisation to musical ontology: in an improvisation, values and meanings of what has been played constrain what follows and are themselves retroactively (trans)formed by what follows; likewise, the (...) performing interpretations of musical works and traditions reinvent their meanings and evaluation criteria, responding to past interpretations and opening up (as well as binding) possibilities for future interpretations. In the second part, I extend the scope of my investigation to art more generally. By critiquing the principle of «no evaluation without identification» and referring to Peter Lamarque’s and Joseph Margolis’ views about art ontology, I propose a transformative theory of artworks, which is based on the thesis of the improvisational “nature” of artistic practices (a thesis that I conceive of as a particular form of CIE). Its core point is that evaluative and performative interpretations of artworks (re)shape creatively, and retroactively, the meanings and the flexible identities of artworks. Accordingly, the artworks’ meanings and identities emerge (and are (trans)formed) through the cultural improvisational interactions in which artworks participate. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Ontological and Other AssumptionsLloyd A. Wells (bio) and Sandra J. Rackley (bio)Fahrenberg and Cheetham have conducted an immensely thought-provoking study of the assumptions about human nature made by 800 students and pose a question about the future impact of these assumptions on individuals’ practice in professions including medicine and psychotherapy.This work represents a branch of “philosophical anthropology,” which considers assumptions people make about human nature. The authors used a (...) questionnaire, much of which was newly designed, to assess the assumptions made by university students studying psychology, philosophy, sciences, and other disciplines. Most of the respondents were studying at Freiburg, but some were sampled at several other universities in both the former East and West Germanies. Questions involved consciousness and the brain, evolution, free will, belief in God, the meaning of life, and theodicy.Given the importance of these beliefs and assumptions in so many peoples’ lives, it is quite surprising that there are so few modern data available, and this study ventures an important first step in assessing these assumptions. However, there are many problems inherent in this study (and any like it).The first, for us, is the validity of the questionnaire itself, an issue that was not specifically addressed in the paper. Face validity is a problem even in the few questions quoted directly in the paper. For example, some statements contain two clauses, and one could well agree with one without agreeing with another: “I do not know whether a God exists and I do not believe it is possible to know.” This is the most relevant answer for a true agnostic, but the assumption that “I do not know whether a God exists” does not necessarily link at all with “I do not believe it is possible to know.” Similarly, a theist might have trouble with the two clauses, “I know God really exists” and “I do not doubt this.” (Technically, knowledge does imply a lack of doubt, but belief certainly does not.) Particularly in the trilemmas, where various patterns of response were analyzed, these multiple-clause statements may have led students to respond in a manner inconsistent with their true beliefs and assumptions. Furthermore, many of the questions contain terms that may have been unfamiliar to first-year university students. The authors explain their rationale in not defining terms, but the lack of clarity about definitions may have led some of the students to not fully understand the questions asked and to perhaps influence the answers they chose.Misunderstanding of the questions may account for some of the disparities reported in the results. Other apparent inconsistencies, however, do not seem to be a result of unclear questions. For example, sixty percent of the students agreed with the statement that “I believe in … existence after death,” whereas forty-seven percent agreed with the statement that “when my brain is dead my consciousness and my person cease to be.” These [End Page 203] findings do not add up, and this study has several similar sets of data. People contradict themselves in long and complex questionnaires, and this may be a simple explanation for these findings, but is this the only explanation? How seriously did the students take the questionnaire, often given as part of their class? How honest were their responses?How generalizable are the findings of this study? It is very difficult even to speculate about this. The statistics are incomprehensible in light of the data given, and one must essentially take them on faith, wherever one falls on the God/theodicy questions. The design has many flaws, but we do learn how a subsample of German university students rate important factors about the meaning of life. Statements are made in the paper that the students’ results correlate with similar results for the general population, but this assertion seems to be based on a very few questions. One would like much more delineation of this apparent correlation, because we wonder about the juxtaposition of developmental factors with the answers the students gave to this questionnaire. First-year university students are at a critical developmental point, and it would be fascinating to follow this large cohort of students over time to see whether... (shrink)

The subject of the study is the ontological nature of the phenomenon of creativity in the context of conceptual constructions of the most important nominal layers of non-classical philosophy. The aim of the work is to reveal the ontological essence of creativity in the context of European philosophy of the XIX–XX centuries based on the works of A. Schopenhauer, A. Bergson, J.-P. Sartre, A. Camus and M. Heidegger. The theoretical and methodological basis of the research is the works of (...) representatives of the non-classical period of the development of philosophical thought, as well as the works of modern domestic and foreign researchers, in their works directly or indirectly touching on the problem of the ontological determinant of creativity. The central research methods are comparative and complex methods for establishing connections and relationships between phenomena that are part of the sphere of creative being, as well as an analytical and interpretive method for analyzing existing interpretations of the phenomenon under study and presenting the author's position. The scientific novelty of the research consists in the identification and systematization of philosophical ideas regarding the ontological determinant of creativity in the conceptual field of Western European non–classical philosophy of the XIX-XX centuries. As a result of the conducted research, the author comes to the conclusion that within the framework of non-classical philosophy, the ontological nature of creativity is revealed both at the level of objective reality and in the existential-personal space of the subject. Unlike the classical tradition of philosophizing, which absolutizes the epistemological component of the subject's creativity, in the subject field of non-classical philosophy, creativity regains its ontological rootedness, since it acts as the general existential of human existence, revealing itself through the prism of such concepts as the Will to live, pure duration, creative evolution, Vital impulse, imaginative consciousness, rebellion against the absurd, the promotion of truth and the way out of inauthenticity. (shrink)

In this paper I defend an 'ontology of binding relations' entailed in a critical examination of the concept of ‘being’ based on a new perspective of the human organism conceived as a Space-Time-Event-Motion entity or containment-field of being. As such the paper serves to defend the viability of ontology by way of revising how we ought to engage in ontological thinking. Central to this analysis is to demonstrate what explanations can be deduced by examining what otherwise have (...) remained disparate ontological categories such to enable a new view of two major metaphysical problems: the ‘problem of identity and persistence’ and associated ‘problem of composition’. As a result of this examination a candidate coupling formulation emerges to serve as a principle of individuation. Part of this analysis is to examine the nature of substance, the concept of energy, and to establish what is required to situate energy as one kind of primary substance. Naimo, J. . Ontology that matters: Binding relations. In P. Hanna , An anthology of philosophical studies, Vol. 5. . Athens, Greece: Athens Institute for Education and Research. (shrink)

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes and the enduring entities that participate therein. For this purpose we introduce the notion a directly depicting ontology. Directly depicting ontologies are based on relatively simple languages and fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and employ distinct though compatible systems of categories. A SNAP (snapshot) ontology comprehends enduring (...) entities such as organisms, geographic features, or qualities as they exist at some given moment of time. A SPAN ontology comprehends perduring entities such as processes and their parts and aggregates as they unfold themselves through some temporal interval. We give an axiomatic account of the theory of directly depicting ontologies and of the core parts of the metaontological fragment within which they are embedded. (shrink)

In this article I show how Schelling elaborates the fundamental topic of the ontological proof, from the first phase of his philosophy on. I make clear how he keenly penetrates the formulation of Descartes, establishing that it is insufficient in order to demonstrate the existence of God. The fact is, Descartes says that it would be contradictory with the nature of the prefect being that he existed only accidentally; so that it can exist only necessarily. But it is different to (...) say that God can exist only necessarily, and to say that He, in fact, exists necessarily. From the first sentence, descends only that He exists necessarily if He exists, but this does not imply that He exists in fact. To arrive to the existence, the only possible way is through experience: the reason gives the concept, the experience gives the existence. On this difference is based the hendiadys between negative and positive philosophy, the nature of which I cleared up in the last part of the article. (shrink)

In the legal domain, ontologies enjoy quite some reputation as a way to model normative knowledge about laws and jurisprudence. This paper describes the methodology followed when developing the ontology used by the second version of the prototype Iuriservice, a web-based intelligent FAQ for judicial use. This modeling methodology has had two important requirements: on the one hand, the ontology needed to be extracted from a repository of professional judicial knowledge (containing nearly 800 questions regarding daily practice). (...) Thus, the construction of ontologies of professional judicial knowledge demanded the description of this knowledge as it is perceived by the judge. On the other hand, due to the distributiveness of the environment, there was a need for controlled discussion and traceability of the arguments used in favor or against the introduction of a concept X as part of the domain ontology. This paper presents the Ontology of Professional Judicial Knowledge (OPJK), extracted manually from the selection of relevant terms from judicial practice questions and modeled according to the DILIGENT methodology. We will show that DILIGENT has proved to be a methodology that facilitates the ontology engineering in a distributed environment, although appropriate tool support needs to be developed. (shrink)

Published in extended form as "Endurants and Perdurants in Directly Depicting Ontologies", -/- We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes and the enduring entities that participate in such processes. For this purpose we distinguish between ontologies and metaontology. Ontologies are based on very simple directly depicting languages and fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and result in (...) distinct though compatible systems of categories. In a SNAP (snapshot) ontology we have the enduring entities in a given domain as they exist to be inventoried at some given moment of time. In a SPAN ontology we have perduring entities such as processes and their parts and aggregates. We argue that both kinds of ontology are required, together with the meta-ontology which joins them together. On the level of meta-ontology we are able to impose constraints on ontologies of a sort which can support efficient processing of large amounts of data. (shrink)

The premise of biological modularity is an ontological claim that appears to come out of practice. We understand that the biological world is modular because we can manipulate different parts of organisms in ways that would only work if there were discrete parts that were interchangeable. This is the foundation of the BioBrick assembly method widely used in synthetic biology. It is one of a number of methods that allows practitioners to construct and reconstruct biological pathways and devices (...) using DNA libraries of standardized parts with known functions. In this paper, we investigate how the practice of synthetic biology reconfigures biological understanding of the key concepts of modularity and evolvability. We illustrate how this practice approach takes engineering knowledge and uses it to try to understand biological organization by showing how the construction of functional parts and processes can be used in synthetic experimental evolution. We introduce a new approach within synthetic biology that uses the premise of a parts-based ontology together with that of organismal self-organization to optimize orthogonal metabolic pathways in E. coli. We then use this and other examples to help characterize semisynthetic categories of modularity, parthood, and evolvability within the discipline. (shrink)

PURPOSE—A substantial fraction of the observations made by clinicians and entered into patient records are expressed by means of negation or by using terms which contain negative qualifiers (as in “absence of pulse” or “surgical procedure not performed”). This seems at first sight to present problems for ontologies, terminologies and data repositories that adhere to a realist view and thus reject any reference to putative non-existing entities. Basic Formal Ontology (BFO) and Referent Tracking (RT) are examples of such paradigms. (...) The purpose of the research here described was to test a proposal to capture negative findings in electronic health record systems based on BFO and RT. METHODS—We analysed a series of negative findings encountered in 748 sentences taken from 41 patient charts. We classified the phenomena described in terms of the various top-level categories and relations defined in BFO, taking into account the role of negation in the corresponding descriptions. We also studied terms from SNOMED-CT containing one or other form of negation. We then explored ways to represent the described phenomena by means of the types of representational units available to realist ontologies such as BFO. RESULTS—We introduced a new family of ‘lacks’ relations into the OBO Relation Ontology. The relation lacks_part, for example, defined in terms of the positive relation part_of, holds between a particular p and a universal U when p has no instance of U as part. Since p and U both exist, assertions involving ‘lacks_part’ and its cognates meet the requirements of positivity. CONCLUSION—By expanding the OBO Relation Ontology, we were able to accommodate nearly all occurrences of negative findings in the sample studied. (shrink)

The ontological model framework provides a rigorous approach to address the question of whether the quantum state is ontic or epistemic. When considering only conventional projective measurements, auxiliary assumptions are always needed to prove the reality of the quantum state in the framework. For example, the Pusey-Barrett-Rudolph theorem is based on an additional preparation independence assumption. In this paper, we give a new proof of psi-ontology in terms of protective measurements in the ontological model framework. The proof does (...) not rely on auxiliary assumptions, and also applies to deterministic theories such as the de Broglie-Bohm theory. In addition, we give a simpler argument for psi-ontology beyond the framework, which is based on protective measurements and a weaker criterion of reality. The argument may be also appealing for those people who favor an anti-realist view of quantum mechanics. (shrink)