The arising of smart cities has shown the limitations of the traditional attempts to understand and characterize cities. The smart city marks a relevant step in the evolution of urban systems which is expected to have disruptive impacts in the near future. Indeed, the ‘smartness’ qualification of cities points to relevant changes in the possibilities these complex systems offer mainly due to changes in the information which is made available. This chapter studies the notion of city from an ontological (...) viewpoint, and provides the first elements of a general framework aimed to characterize and unify how to understand the city and its evolution. It starts from historical considerations to isolate the factors that drove the changes from ancient to modern cities, and the complexity that characterizes the nature of cities. Our analysis departs from the traditional views and leads to distinguish three ontological components in the city: the modified physical place, the distributed agentivity, and the knowledge present in the system. The analysis of these components and their interactions, we argue, provides a coherent reading of the city across its evolution steps, and may be used to establish the maturity of today’s smart cities. (shrink)

We performed a qualitative analysis of the Thesaurus in order to assess its conformity with principles of good practice in terminology and ontology design. We used both the on-line browsable version of the Thesaurus and its OWL-representation (version 04.08b, released on August 2, 2004), measuring each in light of the requirements put forward in relevant ISO terminology standards and in light of ontological principles advanced in the recent literature. Version 04.08b of the NCI Thesaurus suffers from the same (...) broad range of problems that have been observed in other biomedical terminologies. For its further development, we recommend the use of a more principled approach that allows the Thesaurus to be tested not just for internal consistency but also for its degree of correspondence to that part of reality which it is designed to represent. (shrink)

This book teaches ontology by analyzing and interpreting the major ontological problems which have existed throughout history and which still engage thinkers and scholars today.

There is a common prejudice against “different ones”, not just for Jewish people, also against Gypsies, homosexuals, Poles, and communists. But the most significant minority in Austria and Germany was Jews in those years. Some of them were a merchant and working under suitable conditions, so they were living wealthy and affluent. So they were affected more than the others. Public opinion and support were taking importance for Hitler, this is why he evaluated this situation was dangerous for the German (...) public. He blamed Jews even for the crisis of Austria. From year to year, he specified his thinking around small groups and affected them. In the future, Hitler would blame the Jews for the Second World War. In this paper, we will analyze Hitler’s attitude towards Jews and examine the film made upon him. (shrink)

Individuals operating within the scientific paradigm presume that the world is made of matter. Although the perspective engendered by this presupposition is very powerful, it excludes value and subjective experience from its fundamental ontology. In addition, it provides very little guidance with regards to the fundamentals of ethical action. Individuals within the religious paradigm, by contrast, presume that the world is made out of what matters. From such a perspective, the phenomenon of meaning is the primary reality. This meaning is (...) revealed both subjectively and objectively, and serves—under the appropriate conditions—as an unerring guide to ethical action.The ancient stories of Genesis cannot be properly understood without viewing them from within the religious paradigm. Genesis describes the primary categories of the world of meaning, as well as the eternal interactions of those categories. Order arises out of Chaos, through the creative intermediation of Logos, and man is manifested, in turn. Man, a constrained Logos, exists within a bounded state of being, Eden. Eden is a place where order and chaos, nature and culture, find their optimal state of balance. Because Eden is a walled garden, however—a bounded state of being—something is inevitably excluded. Unfortunately, what is excluded does not simply cease to exist. Every bounded paradise thus contains something forbidden and unknown. Man's curiosity inevitably drives him to investigate what has been excluded. The knowledge thus generated perpetually destroys the presuppositions and boundaries that allow his temporary Edens to exist. Thus, man is eternally fallen. The existential pain generated by this endlessly fallen state can undermine man's belief in the moral justifi0ability of being—and may turn him, like Cain, against brother and God. (shrink)

Despite the recent advances in information and communication technology that have increased our ability to store and circulate information, the task remains of ensuring that the right sorts of information reach the right sorts of people. In what follows we defend the thesis that efforts to develop efficient means for sharing information across healthcare systems and organizations would benefit from a careful analysis of human action in healthcare organizations, and that the communication of healthcare information and knowledge needs to (...) rest on a sound ontology of social interaction. We illustrate this thesis in relation to the HL7 RIM, which is one centrally important tool for communication in the healthcare domain. (shrink)

I shall attempt in what follows to show how mereology, taken together with certain topological notions, can yield the basis for future investigations in formal ontology. I shall attempt to show also how the mereological framework here advanced can allow the direct and natural formulation of a series of theses – for example pertaining to the concept of boundary – which can be formulated only indirectly (if at all) in set-theoretic terms.

Prince of Networks is the rst treatment of Bruno Latour speci cally as a philosopher. Part One covers four key works that display Latour’s underrated contributions to metaphysics: Irreductions, Science in Action, We Have Never Been Modern, and Pandora’s Hope. Harman contends that Latour is one of the central gures of contemporary philosophy, with a highly original ontology centred in four key concepts: actants, irreduction, translation, and alliance.

Some theories of language tell us that names have no meaning. A name just refers to the object named. On the other hand, we certainly may use the word „meaning” in the terminological way Frege uses the German word „Bedeutung”.

Statistics play a critical role in biological and clinical research. However, most reports of scientific results in the published literature make it difficult for the reader to reproduce the statistical analyses performed in achieving those results because they provide inadequate documentation of the statistical tests and algorithms applied. The Ontology of Biological and Clinical Statistics (OBCS) is put forward here as a step towards solving this problem. Terms in OBCS, including ‘data collection’, ‘data transformation in statistics’, ‘data visualization’, ‘statistical data (...) analysis’, and ‘drawing a conclusion based on data’, cover the major types of statistical processes used in basic biological research and clinical outcome studies. OBCS is aligned with the Basic Formal Ontology (BFO) and extends the Ontology of Biomedical Investigations (OBI), an OBO (Open Biological and Biomedical Ontologies) Foundry ontology supported by over 20 research communities. We discuss two examples illustrating how the ontology is being applied. In the first (biological) use case, we describe how OBCS was applied to represent the high throughput microarray data analysis of immunological transcriptional profiles in human subjects vaccinated with an influenza vaccine. In the second (clinical outcomes) use case, we applied OBCS to represent the processing of electronic health care data to determine the associations between hospital staffing levels and patient mortality. Our case studies were designed to show how OBCS can be used for the consistent representation of statistical analysis pipelines under two different research paradigms. By representing statistics-related terms and their relations in a rigorous fashion, OBCS facilitates standard data analysis and integration, and supports reproducible biological and clinical research. (shrink)

Heidegger's primary concern in Being and Time is the question of the meaning of being—a distinctly ontological concern. Yet, with discussions of death, guilt, conscience, anxiety, uncanniness, authenticity, and inauthenticity, Heidegger seems to end up in existential territory. The ontological import of these existential excursions is difficult to discern—indeed, it has not been identified in leading interpretations. In this paper, I aim to highlight the ontological import of Heidegger's analysis of anxiety—it manifests the inadequacy of Dasein's (...) fallen and inauthentic self-understanding, which is motivated by the inadequacy of Dasein's fallen and inauthentic, average understanding of being. In making this case, I will clarify the sense in which anxiety involves an experience of world-collapse and show how it functions to reveal the possibilities of authenticity and inauthenticity. (shrink)

Ontologies, as the term is used in informatics, are structured vocabularies comprised of human- and computer-interpretable terms and relations that represent entities and relationships. Within informatics fields, ontologies play an important role in knowledge and data standardization, representation, integra- tion, sharing and analysis. They have also become a foundation of artificial intelligence (AI) research. In what follows, we outline the Coronavirus Infectious Disease Ontology (CIDO), which covers multiple areas in the domain of coronavirus diseases, including etiology, transmission, epidemiology, pathogenesis, (...) diagnosis, prevention, and treatment. We emphasize CIDO development relevant to COVID-19. (shrink)

Both Franz Brentano and Edmund Husserl addressed sound while trying to explain the inner consciousness of time and gave to it the status of a supporting example. Although their inquiries were not aimed at clarifying in detail the nature of the auditory experience or sounds themselves, they made some interesting observations that can contribute to the current philosophical discussion on sounds. On the other hand, in analytic philosophy, while inquiring the nature of sounds, their location, auditory experience or the audible (...) qualities and so on, the representatives of that trend of thought have remained silent about the depiction of sound and the auditory phenomena in the phenomenological tradition. The paper’s intention is to relate both endeavours, yet the perspective carried out is that of analytic philosophy and, thus, I pay special attention to conceptual analysis as a methodological framework. In this sense, I first explain what sound ontology is in the context of analytic philosophy and the views that it encompasses— namely, the Property View (PV), the Wave View (WV) and the Event View (EV)—. Secondly, I address the problems it entails, emphasising that of sound individuation. In a third section, I propose the possibly controversial conjunction of a “Brentano-Husserl Analysis of the Consciousness of Time” (for short “Brentano-Husserl analysis”) and outline the commonalities of both authors, without ignoring its discrepancies. My main focus is Husserl’s 1905 Vorlesungen zur Phänomenologie des Inneren Zeitbewusstseins. While addressing the Brentano-Husserl analysis, I elaborate on the problem of temporal and spatial extension (Raumlichkeit and Zeitlichkeit, respectively) of both consciousness and sound. Such comparison is a key one, since after these two developments, one can notice some theoretical movements concerning the shift of attention from sounds to the unity of consciousness, and how they mirror each other. After examining the controversial claims concerning the temporal and spatial extension of both consciousness and sound, I argue in the concluding paragraphs that while considering the accounts of sound ontology, the Brentano-Husserl analysis would probably endorse a Property View and that this could have interesting consequences for the issue of Sound Individuation. (shrink)

It is the aim of the present study to introduce the reader to the ways of thinking of those contemporary philosophers who apply the tools of symbolic logic to classical philosophical problems. Unlike the "conti nental" reader for whom this work was originally written, the English speaking reader will be more familiar with most of the philosophers dis cussed in this book, and he will in general not be tempted to dismiss them indiscriminately as "positivists" and "nominalists". But the English (...) version of this study may help to redress the balance in another respect. In view of the present emphasis on ordinary language and the wide spread tendency to leave the mathematical logicians alone with their technicalities, it seems not without merit to revive the interest in formal ontology and the construction of formal systems. A closer look at the historical account which will be given here, may convince the reader that there are several points in the historical develop ment whose consequences have not yet been fully assessed: I mention, e. g., the shift from the traditional three-level semantics of sense and deno tation to the contemporary two-level semantics of representation; the relation of extensional structure and intensional content in the extensional systems of Wittgenstein and Carnap; the confusing changes in labelling the different kinds of analytic and apriori true sentences; etc. Among the philosophically interesting tools of symbolic logic Lesniewski's calculus of names deserves special attention. (shrink)

In this paper, I argue that the debate on Composition as Identity—the thesis that any composite object is identical to its parts—is deadlocked because both the defenders and the detractors of the claim have so far failed to take its philosophical core at face value and have, as a result, defended and criticized respectively something that is not Composition as Identity. After establishing how Composition as Identity should properly be understood and proposing for it a new interpretation centered around the (...) novel notion of metaphysical information, I set forth a strategy to defend it that crucially rests on the indefinite extensibility of the domain of quantification. I eventually suggest that “Composition as Analysis” is a name that better reflects the content and theoretical proposal of the thesis that Composition as Identity is supposed to be. (shrink)

A detailed analysis of Quine's paper on ontologicalreduction shows that the proxy-function requirement, in hischaracterization of the concept of ontological reduction,is superfluous for blocking Pythagoreism and inappropriate for a generalblockade of ontological monism.

We use a mechanized verification system, PVS, to examine the argument from Anselm’s Proslogion Chapter III, the so-called “Modal Ontological Argument.” We consider several published formalizations for the argument and show they are all essentially similar. Furthermore, we show that the argument is trivial once the modal axioms are taken into account. This work is an illustration of Computational Philiosophy and, in addition, shows how these methods can help detect and rectify errors in modal reasoning.

The aim of this paper is to prove strong completeness theorems for several Anderson-like variants of Gödels theory wrt. classes of modal structures, in which: (i). 1st order terms order receive only rigid extensions in the constant objectual 1st order domain; (ii). 2nd order terms receive non-rigid extensions in preselected world-relative objectual domains of 2nd order and rigid intensions in the constant conceptual 2nd order domain.

We remark that the A Contrario Argument is an ambiguous technique of justification of judicial decisions. We distinguish two uses and versions of it, strong and weak, taking as example the normative sentence “Underprivileged citizens are permitted to apply for State benefit”. According to the strong version, only underprivileged citizens are permitted to apply for State benefit, so stateless persons are not. According to the weak, the law does not regulate the position of underprivileged stateless persons in this respect. We (...) propose an inferential analysis of the two uses along the lines of the scorekeeping practice as described by Robert Brandom, and try to point out what are the ontological assumptions of the two. We conclude that the strong version is justified if and only if there is a relevant incompatibility between the regulated subject and the present case. (shrink)

Ingarden conceives ontology as a philosophia prima, which deals with being as purely possible. It is an intuitive and a priori analysis of the content of the relevant ideas. It consists of three parts: existential, formal and material ontology. Existential ontology deals with the possible modes of existence. Problems of factual existence pertain to metaphysics, which is a separate branch of theoretical philosophy, based on ontology.

Ontologies represent the standard way to model the knowledge about specific domains. This holds also for the legal domain where several ontologies have been put forward to model specific kinds of legal knowledge. Both for standard users and for law scholars, it is often difficult to have an overall view on the existing alternatives, their main features and their interlinking with the other ontologies. To answer this need, in this paper, we address an analysis of the state-of-the-art in legal (...) ontologies and we characterise them along with some distinctive features. This paper aims to guide generic users and law experts in selecting the legal ontology that better fits their needs and in understanding its specificity so that proper extensions to the selected model could be investigated. (shrink)

Ontologies represent the standard way to model the knowledge about specific domains. This holds also for the legal domain where several ontologies have been put forward to model specific kinds of legal knowledge. Both for standard users and for law scholars, it is often difficult to have an overall view on the existing alternatives, their main features and their interlinking with the other ontologies. To answer this need, in this paper, we address an analysis of the state-of-the-art in legal (...) ontologies and we characterise them along with some distinctive features. This paper aims to guide generic users and law experts in selecting the legal ontology that better fits their needs and in understanding its specificity so that proper extensions to the selected model could be investigated. (shrink)

In this paper I argue that the requirement for the qualitative is theory-dependent, determined by the fundamental assumptions built into the ontology. John Heil’s qualitative, in its role as individuator of objects and powers, is required only by a theory that posits a world of distinct objects or powers. Does Heil’s ‘deep’ view of the world, such that there is only one powerful object require the qualitative as individuator of objects and powers? The answer depends on whether it is possible (...) to account for the manifest objects and the ostensible spatial primacy of our perceived world without recourse to the qualitative. In this paper I outline just such an account with the intention of extending Heil’s efforts to incorporate fundamental power in the world while providing a coherent explanation for our strong intuition of spatial, as against relational, priority. (shrink)

Ontologies represent the standard way to model the knowledge about specific domains. This holds also for the legal domain where several ontologies have been put forward to model specific kinds of legal knowledge. Both for standard users and for law scholars, it is often difficult to have an overall view on the existing alternatives, their main features and their interlinking with the other ontologies. To answer this need, in this paper, we address an analysis of the state-of-the-art in legal (...) ontologies and we characterise them along with some distinctive features. This paper aims to guide generic users and law experts in selecting the legal ontology that better fits their needs and in understanding its specificity so that proper extensions to the selected model could be investigated. (shrink)

This paper confronts a certain modern view of the relation between semantics and ontology with that of the late-medieval nominalist philosophers, William Ockham and John Buridan. The modern view in question is characterized in terms of what is called here “the thesis of onto-semantic parallelism,” which states that the primitive categorematic concepts of our semantics mark out the primary entities in reality. The paper argues that, despite some apparently plausible misinterpretations to the contrary, the late-medieval nominalist program of “ontological (...) reduction” was not driven by considerations that try to “read off” ontology from semantic analysis or those that try to identify semantic primitives in their search for ontological primitives. The medieval authors presented a much more flexible, dynamic view of “Aristotelian naturalism,” which challenges both of the unappealing modern alternatives of “conceptual tribalism” and “conceptual imperialism.”. (shrink)

Ontological dependence is a relation—or, more accurately, a family of relations—between entities or beings. For there are various ways in which one being may be said to depend upon one or more other beings, in a sense of “depend” that is distinctly metaphysical in character and that may be contrasted, thus, with various causal senses of this word. More specifically, a being may be said to depend, in such a sense, upon one or more other beings for its existence (...) or for its identity. Some varieties of ontological dependence may be analyzed in modal terms—that is, in terms of distinctly metaphysical notions of possibility and necessity—while others seem to demand an analysis in terms of the notion of essence. The latter varieties of ontological dependence may accordingly be called species of essential dependence. Notions of ontological dependence are frequently called upon by metaphysicians in their proposed analyses of other metaphysically important notions, such as the notion of substance. (shrink)

Russian Abstract: Данный документ является сборником «заметок на полях», раскрывающих состав и содержание метода структурно-онтологического анализа. Указанный метод разработан для системного описания предметной области изучаемых явлений. Он включает специальную процедуру по построению структурно-онтологических матриц и алгоритм их описания. Междисциплинарная направленность метода продемонстрирована на примере анализа процесса социализации личности. English Abstract: This document is a collection of `marginal notes` revealing the composition and content of the structural ontological analysis method. The specified method is developed for a systemic description of (...) the subject matter area of the studied phenomena. It includes a special procedure for constructing structural-ontological matrices and an algorithm for their description. The interdisciplinary focus of the method is demonstrated by the example of an analysis of the personality socialization process. (shrink)

A universal reasoning approach based on shallow semantical embeddings of higher-order modal logics into classical higher-order logic is exemplarily employed to analyze several modern variants of the ontological argument on the computer. Several novel findings are reported which contribute to the clarification of a long-standing dispute between Anderson and Hájek. The technology employed in this work, which to some degree realizes Leibniz’s dream of a characteristica universalis and a calculus ratiocinator for solving philosophical controversies, is ready to be fruitfully (...) adopted in larger scale by philosophers. (shrink)

This is an excellent book, providing a broad understanding ‘of the ways of thinking of those contemporary philosophers who apply the tools of symbolic logic to classical philosophical problems’, with a very complete, exact analysis of contemporary problems that bear on the correlation of language and reality. The book should be of great value to the logician, the technical linguist, the mathematician and the philosopher.

Gustav Bergmann was, arguably, the greatest ontologist of the twentieth century in pursuing the fundamental questions of first philosophy as deeply as any philosopher of any time. In 2006 and 2007, international conferences devoted solely to Bergmann's work were held at the University of Iowa in the USA, Université de Provence in France, and Università degli Studi Roma Tre in Italy. The papers in this volume were presented at the first of these conferences, in Iowa City, where Bergmann taught for (...) nearly four decades after escaping from Europe, following the dissolution of the Vienna Circle of which he had been the youngest member. There are nine philosophical papers, reminiscences of three of his students, and a complete bibliography of his published writings. (shrink)