This note concerns a recent paper by Hud Hudson on the nature of 'receptacles'. It simplifies the mathematics in Hudson's paper, and it eliminates almost all of the topology in Hudson's arguments.

Drawing on different suggestions from the literature, we outline a unified metaphysical framework, labeled as Modal Meinongian Metaphysics (MMM), combining Meinongian themes with a non-standard modal ontology. The MMM approach is based on (1) a comprehension principle (CP) for objects in unrestricted, but qualified form, and (2) the employment of an ontology of impossible worlds, besides possible ones. In §§1–2, we introduce the classical Meinongian metaphysics and consider two famous Russellian criticisms, namely (a) the charge of inconsistency and (b) the (...) claim that naïve Meinongianism allows one to prove that anything exists. In §3, we have impossible worlds enter the stage and provide independent justification for their use. In §4, we introduce our revised comprehension principle: our CP has no restriction on the (sets of) properties that can characterize objects, but parameterizes them to worlds, therefore having modality explicitly built into it. In §5, we propose an application of the MMM apparatus to fictional objects and defend the naturalness of our treatment against alternative approaches. Finally, in §6, we consider David Lewis’ notorious objection to impossibilia, and provide a reply to it by resorting to an ersatz account of worlds. (shrink)

This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category relations such as instance-of, member-of, and partition-of. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical (...) for formal ontology. We provide examples to support this thesis from the domain of biomedicine. (shrink)

Description Logics [1] are nowadays widely accepted as formalisms for implementing rigorous domain ontologies, and have been used in biomedicine in projects such as GONG [2] and SNOMED-CT [3]. A key feature of such ontologies is that the associated reasoning facilities allow us to discover inconsistencies and other problems in an automatic fashion. This is important since ontologies of complex domains such as medicine are large and complex and have been built by many people over long periods of time.

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes (occurrents) and the enduring entities (continuants) that participate therein. The theory is divided into two major categories of sub-theories: (sub-) theories of type SPAN and (sub-)theories of type SNAP. These theories represent two complementary perspectives on reality and result in distinct though compatible systems of categories. In SNAP we have enduring entities such as substances, qualities, roles, functions; in SPAN we have perduring entities such as (...) processes and their parts and aggregates. We argue that both kinds of ontological theory are required in order to give a non-reductionism account of complex domains of reality. (shrink)

(No abstract is available for this citation).

The reigning orthodoxy on biological teleology assumes that teleology either must be reduced (or eliminated) or it depends on a supernatural agent. The dominant orthodox sect rejects supernaturalism and eliminitivism, and, given the poverty of competing views has been allowed to become complacent about the adequacy of favored reductivist accounts. These are beset by more serious problems than proponents acknowledge. Moreover, the assumption underlying orthodoxy is false; there is an alternative scientifically and philosophically plausible naturalistic account of teleology. We can (...) share reductivists’ realism about biological teleology, embrace ontological and epistemological naturalism about science as well as science’s the ontic authority yet accept sui generis teleology conceived along ontologically emergentist lines. I sketch one such emergentist account, one that deserves serious consideration if supernaturalism and eliminitivism are as impoverished as reductionists believe. (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)

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)

It seems clear that second order fuzziness (indeterminacy) is possible. There can be borderline cases of borderline cases. But how about third order cases? Is there no end of degrees of borderlinehood? I offer a somewhat strange little 'language game' that seems to suggest that the ascension ends with second order cases. (The 'game' is intended to be somewhat like a simplified version of color perception.).

This paper considers two strategies for undermining indispensability arguments for mathematical Platonism. We defend one strategy (the Trivial Strategy) against a criticism by Joseph Melia. In particular, we argue that the key example Melia uses against the Trivial Strategy fails. We then criticize Melia’s chosen strategy (the Weaseling Strategy.) The Weaseling Strategy attempts to show that it is not always inconsistent or irrational knowingly to assert p and deny an implication of p . We argue that Melia’s case for this (...) strategy fails. (shrink)

Some entities, such as fictional characters, propositions, properties, events and numbers are prima facie promising candidates for owing their existence to our linguistic and conceptual practices. However, it is notoriously hard to pin down just what sets such allegedly “language-created” entities apart from ordinary entities. The present paper considers some of the features that are supposed to distinguish between entities of the two kinds and argues that, on an independently plausible account of what it takes to individuate objects, the criteria (...) let in more than friends of the strategy might be happy with. (shrink)

Thomas Polger and Laurence Shapiro argue that Carl Gillett's much publicized dimensioned theory of realization is incoherent, being subject to a reductio. Their argument turns on the fact that Gillett's definition of realization makes property instances the exclusive relata of the realization relation, while his belief in multiple realization implies its denial, namely, that properties are the relata of the realization relation on occasions of multiple realization. Others like Sydney Shoemaker have also expressed their view of realization in terms of (...) property instances, yet they too have accepted the multiple realizability of properties. Thus I am interested in the more general issue raised by Polger and Shapiro's argument. Specifically, I show how to supplement a theory of realization with a category-inclusive auxiliary assumption, which avoids the stated reductio. I then offer a few reasons to justify the proposed category-inclusive view of realization, making some comparisons to supervenience and causation along the way. (shrink)

A person skeptical about other minds supposes it is possible in principle that there are no minds other than his. A person skeptical about an external world thinks it is possible there is no world external to him. Some philosophers think a person can refute the skeptic and prove that his world is not the solitary scenario the skeptic supposes might be realized. In this paper I examine one argument that some people think refutes solipsism. The argument, from Wittgenstein, is (...) grounded in a thesis about language. Some people believe that in using language a person necessarily is linked to persons other than himself. Some people think a person can use the ‘communalist’ principle to refute forms of solipsism. I show that people do not refute solipsism with the Wittgensteinian, language-necessarily-is-shared principle. (shrink)

People see five kinds of views in epistemology and ontology as hinging on there being words a person can learn only by private ostensive definitions, through direct acquaintance with his own sensations: skepticism about other minds, 2. skepticism about an external world, 3. foundationalism, 4. dualism, and 5. phenomenalism. People think Wittgenstein refuted these views by showing, they believe, no word is learnable only by private ostensive definition. I defend these five views from Wittgenstein’s attack.

We propose a modular ontology of the dynamic features of reality. This amounts, on the one hand, to a purely spatial ontology supporting snapshot views of the world at successive instants of time and, on the other hand, to a purely spatiotemporal ontology of change and process. We argue that dynamic spatial ontology must combine these two distinct types of inventory of the entities and relationships in reality, and we provide characterizations of spatiotemporal reasoning in the light of the interconnections (...) between them. (shrink)

There is a long tradition of drawing metaphysical conclusions from investigations into language. This paper concerns one contemporary variation on this theme: the alleged ontological significance of cognitivist truth-theoretic accounts of semantic competence. According to such accounts, human speakers’ linguistic behavior is in part empirically explained by their cognizing a truth-theory. Such a theory consists of a finite number of axioms assigning semantic values to lexical items, a finite number of axioms assigning semantic values to complex expressions on the basis (...) of their structure and the semantic values of their constituents, and a finite number of production schemata. The theory enables the derivation of truth-conditions for each sentence of the language: something of roughly the form ‘S is true iff P’.1 The claim that speakers stand in a cognitive relation to such theories is advanced, not as a conceptual analysis of semantic competence or understanding, but rather as an empirical hypothesis about human speakers in particular, one part of a broader empirical account of our linguistic competence and cognition generally. It therefore must mesh with the rest of our theorizing in these areas and whatever relevant data from neighboring inquiries there may be. (For example, since it’s hypothesized that ‘S’ in the schema above should be replaced by a certain sort of syntactic representation of the sentence, syntactic evidence can bear on the semantic theory and vice versa.) The precise nature of the cognitive relation a speaker is supposed to bear to a truththeory is a matter of some dispute. I speak of ‘‘cognizing’’ (following.. (shrink)

The Process Specification Language (PSL) has been designed to facilitate correct and complete exchange of process information among manufacturing systems, such as scheduling, process modeling, process planning, production planning, simulation, project management, work flow, and business process reengineering. We given an overview of the theories with the PSL ontology, discuss some of the design principles for the ontology, and finish with examples of process specifications that are based on the ontology.

Think of “locations” very abstractly, as positions in a space, any space. Temporal locations are positions in time; spatial locations are positions in (physical) space; particulars are locations in quality space. Should we reify locations? Are locations entities? Spatiotemporal relation- alists say there are no such things as spatiotemporal locations; the fundamental spatial and temporal facts involve no locations as objects, only the instantiation of spatial and temporal relations. The denial of locations in quality space is the bundle theory, according (...) to which particulars do not exist; facts apparently about particulars really concern relations between universals. A “space”, in our abstract sense, consists of a set of objects, together with properties and relations defined on those objects. The objects are the locations of the space, and the distribution of the properties and relations over the locations defines the space’s structure. All spaces are thus quality spaces; when the relations are thought of as spatiotemporal then the space is also a spatiotemporal space. By not reifying locations one denies that these abstract spaces isomorphically represent the real world. The real world does in some sense have a structure that can be non-isomorphically represented by a space (or, more likely, a class of spaces), but the locations in those spaces do not correspond to anything real. We will examine modal considerations on reifying locations. Denying the existence of spatiotemporal locations excludes certain possibilities for spatiotemporal reality. Denying the existence of qualitative locations excludes certain possibilities for qualitative space. In each case the excluded possibilities are pre-analytically possible. Some of the possibilities can be reinstated by modifying the locationless theories, but at the cost of an unattractive holism. Do these modal considerations mandate postulating locations? That depends on whether modal intuition can teach us about the actual world.. (shrink)

Metaphysics has done everything to involve God in the world of being. However, in case of considering Reality as being and nothingness, naturally, the metaphysical approach toward the idea of God is losing its grounds. If Reality is being and nothingness, so the idea of God, too, should concern nothingness as well as being.

As I tried to show in my earlier works (An Endeavor of New Concept of Being and Non-Being, Non-Being and Nothingness and Reality as Being and Nothingness), the environment in which the human being is finding itself should be characterized by being and nothingness, and any non-metaphysical philosophy must consider such an understanding of Reality as the utmost category which is above being, Universe, etc. In this article, I will try to shed light on the place and role of the (...) human being or the presence or this-being in Reality as being and nothingness. (shrink)

The aim of this work is to show that the reality is not only the world of being, it is equally the world of non-being. Such an approach, as I think, is not nihilism, on the contrary - it helps to resolve many problems and contradictions confusing the philosophical mind. The reader will not find any citations or references in this work because I tried to bring it closer to Philosophy as it used to be in its early stages and (...) from which it has departed so far nowadays. (shrink)

The article below is the summary of two earlier works of mine, An Endeavor of New Concept of Being and Non-Being and Non-Being and Nothingness. Only being and nothingness in their unity characterize the environment in which the human being is finding itself, and any non-metaphysical philosophy must consider such an understanding of Reality as the utmost category which is above being, Universe, etc.

The work below is the resume of my forthcoming book which I hope to complete in a year or two. As a matter of fact, this is the synthesis of five previous papers of mine, An Endeavor of New Concept of Being and Non-Being, Non-Being and Nothingness, Reality as Being and Nothingness, Presence in Reality, and God and Reality, or to be more correct, the integrity of them, as only in this connection do they acquire their genuine meaning and significance. (...) I would ask the reader to try to catch what I would call the core of the views stated below, regardless of how controversial or unconventional they may seem at the first sight. (shrink)

This volume aims to investigate the topic of Substance and Attribute.

This is the third draft of a paper that aims to clarify the apparent contradictions in the views presented in certain standards and other specifications of health informatics systems, contradictions which come to light when the latter are evaluated from the perspective of realist philosophy. One of the origins of this document was Klein’s discussion paper of 2005-07-02 entitled “Conceptology vs Reality” and the responses from Smith, as well as the several hours of discussions during the 2005 MIE meeting in (...) Geneva. (shrink)

We provide a methodology for the creation of ontological partitions in biomedicine and we test the methodology via an application to the phenomenon of blood pressure. An ontology of blood pressure must do justice to the complex networks of intersecting pathways in the organism by which blood pressure is regulated. To this end it must deal not only with the anatomical structures and physiological processes involved in such regulation but also with the relations between these at different levels of granularity. (...) For this purpose our ontology offers a variety of distinct partitions – of substances, processes and functions – and integrates these together within a single framework via transitive networks of part-whole and dependence relations among the entities in each of these categories. The paper concludes with a comparison of this methodology with the approaches of GOTM, KEGG, DIP and BIND and provides an outline of how the methodology is currently being applied in the field of biomedical database integration. (shrink)

The Unified Medical Language System and the Gene Ontology are among the most widely used terminology resources in the biomedical domain. However, when we evaluate them in the light of simple principles for wellconstructed ontologies we find a number of characteristic inadequacies. Employing the theory of granular partitions, a new approach to the understanding of ontologies and of the relationships ontologies bear to instances in reality, we provide an application of this theory in relation to an example drawn from the (...) context of the pathophysiology of hypertension. This exercise is designed to demonstrate how, by taking ontological principles into account we can create more realistic biomedical ontologies which will also bring advantages in terms of efficiency and robustness of associated software applications. (shrink)

The essays collected in this volume are all concerned with the connection between fiction and truth. This question is of utmost importance to metaphysics, philosophy of language, philosophical logic and epistemology, raising in each of these areas and at their intersections a large number of issues related to creation, existence, reference, identity, modality, belief, assertion, imagination, pretense, etc. All these topics and many more are addressed in this collection, which brings together original essays written from various points of view by (...) philosophers of diverse trends. These essays constitute major contributions to the current debates that the connection between truth and fiction continually enlivens, and give a sense of the directions in which research on this question is heading. Contributors: Fred Adams, Frederick Kroon, Robert Howell, Brendan Murday, Terence Parsons, Graham Priest, Erich Rast, Manuel Rebuschi, Marion Renauld, R.M. Sainsbury, Grant Tavinor, Alberto Voltolini. (shrink)

– The Joint Battle Management Language (JBML) is an XML-based language designed to allow Command and Control (C2) systems to interface easily with Modeling and Simulation (M&S) systems. While some of the XML-tags defined in this language correspond to types of entities that exist in reality, others are mere syntactic artifacts used to structure the messages themselves. Because these two kinds of tags are not formally distinguishable, JBML messages in effect confuse data with what the data represent. In this paper (...) we show how a realism-based ontology combined with a rule language can be used to make these distinctions explicit. The approach allows storage of the contents of JBML messages in a Referent Tracking System in a format that mimics the structure of reality thereby providing an aid to message validation. (shrink)

This volume will be a fascinating resource for philosophers, cognitive scientists, and psychologists, and the starting point for future research in the study of ...

The shape of the Earth's surface, its topography, is a fundamental dimension of the environment, shaping or mediating many other environmental flows or functions. But there is a major divergence in the way that topography is conceptualized in different domains. Topographic cartographers, information scientists, geomorphologists and environmental modelers typically conceptualize topographic variability as a continuous field of elevations or as some discrete approximation to such a field. Pilots, explorers, anthropologists, ecologists, hikers, and archeologists, on the other hand, typically conceptualize this (...) same variability in terms of hills and valleys, mountains and plains, barrows and trenches, that is, as (special sorts of) objects, with locations, shapes, and often names of their own. In this chapter, we sketch an approach to bridging this fundamental gap in geographic information infrastructure. (shrink)

Does Parmenides really use the non-existence argument to deny the past?

(DRAFT) It is commonplace that belief in possible worlds not only burdens one with a large ontology, but with metaphysical problems about their existence and identity conditions and epistemological problems about justifying belief in them. In this paper, we challenge these commonplaces, and show that belief in possible worlds doesn’t burden necessarily one with large ontology, nor with the mentioned metaphysical and epistemological problems. We argue specifically for the claim that the most fundamental existence principle of world theory is not (...) only true in small models, but is derivable from analytically true principles. If this is true, it puts the lie to the commonplace view that a commitment to possible worlds entails a commitment to a large ontology. Moreover, the particular theory we use to support our claims precisely addresses the metaphysical problems about the existence and identity of worlds and offers a solution of the epistemological problem of justifying our belief in worlds. (shrink)

Or nearly so. There may have been a problem about what a material object is: a substance, a bundle of tropes, a compound of substratum and universals, a collection of sense-data, or what have you. But once that was settled there were supposed to be no further metaphysical problems about material objects. This illusion has now largely been dispelled. No one can get a PhD in philosophy nowadays without encountering the puzzles of the ship of Theseus, the statue and the (...) lump, the cat and its "tail complement", amoebic fission, and others. (shrink)

In this paper I argue that we can solve the interpretation problem of quantum mechanics and the question of ontology of Quantum Field Theory on the basis of simple metaphysical position: The connection of the phase space with the ancient Theory of Logi of Beings, which is, by giving ontological meaning to the entities which "live" at the phase space, the Hamiltonian or Lagrangian formalism. There is a physical subject of such functions and it is the logos of a being. (...) Therefore we can refer to the logical space as the total sum of logi of being. The result of this position is that we can attribute to the wave function a physical meaning, a special case of logos of a being and also give an ontological meaning at a quantum field. The developed metaphysical scheme can interpret the quantum paradoxes, by using the commonly accepted mathematical formalism. It can also interpret certain issues of Quantum Field Theory, although further study of this topic is necessary. (shrink)

In this paper I argue that Nietzsche’s rejection of egalitarianism depends on equivocation between distinct conceptions of power and equality. When these distinct views are disentangled, Nietzsche’s arguments succeed only against a narrow sense of equality as qualitative similarity (die Gleichheit as die Ähnlichkeit), and not against quantitative forms that promote equality not as similarity but as multiple, proportional resistances (die Gleichheit as die Veilheit and der Widerstand). I begin by distinguishing the two conceptions of power at play in Nietzsche’s (...) arguments, power as quantitative superiority of ability and as qualitative feeling of power (das Gefühl der Macht), an affective state that does not directly correlate with quantitative ability and, because based in resistance (der Widerstand), requires relative equality as its condition. Nietzsche presents four principal arguments against egalitarianism, each concluding that equality harms the flourishing of humanity’s highest individuals. First, equality directly promotes qualitative similarity (die Ähnlichkeit) at the expense of multiplicity (die Vielheit). Second, because material inequalities ground the “pathos of distance” (the recognition of spiritual inequality), equality indirectly undermines the desire for self-development. Third, because it opposes aristocratic conditions, egalitarianism promotes a form of liberalism that removes conditions of constraint necessary to human development. Finally, equality is a less efficient means to human enhancement, which is best promoted through unequal distribution of resources to the most able individuals. I argue that in each case Nietzsche’s argument succeeds only if interpreted according to the quantitative conception of power as superiority, but fails when we also consider the qualitative conception of power as feeling. For the promotion of an individual’s qualitative power is compatible with quantitative power equality. Moreover, because power is felt only in resistance, the feeling of power requires relative equality as its precondition—an alternate sense of equality construed, not as qualitative similarity, but as quantitative resistance from proportional counter-powers. I conclude that Nietzsche’s commitment to the promotion of humanity’s highest individuals does not entail the rejection of moral egalitarianism in every form and even supports certain forms. (shrink)

NPs with intensional relative clauses such as 'the impact of the book John needs to write' pose a significant challenge for trope theory (the theory of particularized properties), since they seem to refer to tropes that lack an actual bearer. I will propose a novel semantic analysis of such NPs on the basis of the notion of a variable object. This analysis avoids a range of difficulties that an alternative analysis based on the notion of an individual concept would face.

Minimal entities are, roughly, those that fall under notions defined by only deflationary principles. In this paper I provide an accurate characterization of two types of minimal entities: minimal properties and minimal facts. This characterization is inspired by both Schiffer's notion of a pleonastic entity and Horwich's notion of minimal truth. I argue that we are committed to the existence of minimal properties and minimal facts according to a deflationary notion of existence, and that the appeal to the inferential role (...) reading of the quantifiers does not dismiss this commitment. I also argue that deflationary existence is language-dependent existence—this clarifies why minimalists about properties and facts are not realists about these entities though their language may appear indistinguishable from the language of realists. (shrink)

In this paper it is shown that Heyting and Co-Heyting mereological systems provide a convenient conceptual framework for spatial reasoning, in which spatial concepts such as connectedness, interior parts, (exterior) contact, and boundary can be defined in a natural and intuitively appealing way. This fact refutes the wide-spread contention that mereology cannot deal with the more advanced aspects of spatial reasoning and therefore has to be enhanced by further non-mereological concepts to overcome its congenital limitations. The allegedly unmereological concept of (...) boundary is treated in detail and shown to be essentially affected by mereological considerations. More precisely, the concept of boundary turns out to be realizable in a variety of different mereologically grounded versions. In particular, every part K of a Heyting algebra H gives rise to a well-behaved K-relative boundary operator. (shrink)

Terms such as ‘exist’, ‘actual’, etc., (hereafter, “ontic terms”) are recognized as having ontologically neutral or non-commissive uses, besides their standard commissive uses. (For instance, following David Lewis, ‘Pegasus exists’ will be true when ‘exist’ is relativized to Greek myth.) In this paper, I identify six different non-commissive uses for ontic terms, and along the way I attempt to define (by a kind of via negativa) the commissive use of an ontic term, specifically, the commissive use of ‘actual’. The problem, (...) however, is that the resulting definiens for the commissive ‘actual’ is itself equivocal between a commissive and a non-commissive reading, and thus I consider other proposals for defining the commissive use, including two proposals from David Lewis. However, each proposal is found to be equivocal in the same way--and eventually I argue that it is impossible to define an ontic term unequivocally. Even so, this is not meant to overshadow the fact that we can understand an ontic term as univocally commissive, in certain conversational contexts. I close by applying these observations to the Hirsch-Sider debate in metaontology. (shrink)

The aim of this article is to help to clarify the role which Aristotle gives to definition in his theory of demonstration. I shall begin by examining his handling of the relations between definition and demonstration in chapters 8-10 of the second book of the Posterior Analytics, in order to provide an outline for an interpretation of Aristotle's thought. Secondly, I shall examine chapter 10 in more detail, bringing out the contrast between the commentary by Averroes and that of Grosseteste. (...) I have chosen these two commentators because, both being generally magnificent interpreters of Aristotle, as far as the nature and types of definition are concerned their understanding of Aristotle is strikingly different. (shrink)

Even among those philosophers who hold particular aspects of Hegel's philosophy in high regard, there have been few since the 19th century who have found Hegel's "metaphysics" plausible, and just as few not sceptical about the coherency of the "logical" project on which it is meant to be based. Indeed, against the type of work characteristic of the late nineteenth-century logical revolution which issued in modern analytic philosophy, it is often difficult to see exactly how Hegel's "logical" writings can be (...) read as a contribution to logic at all. Furthermore, any tendency toward skepticism here can only have been reinforced by the well-known views of Bertrand Russell about the logical inadequacy of the "Hegelian" approach of his predecessors. (shrink)

In his early lecture note Versuch einiger Betrachtungen über den Optimismus (1759) a young supporter of metaphysical optimism called Immanuel Kant tested the Leibnizian optimism by posing some counter-arguments against it only to falsify them. His counter-arguments were very inventive and they feature often in modern scholarship on Leibniz. In this paper I will present Kant’s main arguments and evaluate them. I will argue that Kant’s understanding on Leibnizian optimism is little misguided and for this reason his own positive counter-argument (...) despite its ingeniousness is problematic. His second solution to the problem is comparable to the doctrine of metaphysical optimism, but fails also for the same reason as the first one. -/- . (shrink)

Ontologies are being used by information scientists in order to facilitate the sharing of meaningful information. However, computational ontologies are problematic in that they often decontextualize information. The semantic content of information is dependent upon the context in which it exists and the experience through which it emerges. For true semantic interoperability to occur among diverse information systems, within or across domains, information must remain contextualized. In order to bring more context to computational ontologies, we introduce culture as an essential (...) concept for information science. Culture helps to focus our attention on and make meaning of relevant extrapersonal structures and their qualities and dimensions that comprise the context and background of the world. In our approach, culture is integral to the study of semantics and, consequently, the study of ontologies and information technologies. The meaning we make of entities and phenomena in the world is always shaped by our cultural experience. If we understand culture as the emergent interplay of intrapersonal cognitive structures and extrapersonal structures of the world, then the notion of cognitive and cultural schemas becomes essential to understanding ontology and the ways in which we might achieve authentic semantic interoperability among diverse information systems. We explore the nature of ontologies and reconceptualize them as cultural schemas. Our proposal is an alternative to the historical path from philosophical ontology to computational ontologies as one that adheres primarily to the notion of ontology as a categorization and classification system. The obvious implication for ontology as categorization is that there is a single objective world that exists and that it can be described as entirely separate from the person observing it. We draw upon Heidegger’s examination of ontology to ground ontology in a phenomenological perspective, enabling it to remain flexible and adaptable and to accommodate context. (shrink)

I argue that from a very weak recombination principle and plausible assumptions about the nature of parthood and location it follows that it's possible that the mereological structure of the material world and that of spacetime fail to correspond to one another in very radical ways. I defend, moreover, that rejecting the possibility of such failures of correspondence leaves us with a choice of equally radical alternatives. I also discuss a few ways in which their possibility is relevant to various (...) debates in metaphysics. (shrink)

A type theory constructed with reference to a particular language will associate with each monadic predicate P of that language a class of individuals C(P) of which it is categorically significant to predicate P (or which P spans, for short). The extension of P is a subset of C(P), which is a subset of the language’s universe of discourse. The set C(P) is a category discriminated by the language. The relation 'is spanned by the same predicates as' divides the language’s (...) universe of discourse into equivalence classes. These are the types discriminated by the language. This paper criticizes an attempt by Peter Strawson to explain terms peculiar to type theory in terms of other notions not peculiar to type theory. (shrink)

This article explores the Simulated Universe argument with particular reference to Nick Bostrom’s formulation. After providing an exposition of the argument, I address two problems and conclude that we reject the possibility that we exist in a simulation.

Many people argue that history makes a special difference to the subjects of biology and psychology, and that history does not make this special difference to other parts of the world. This paper will show that historical properties make no more or less of a difference to biology or psychology than to chemistry, physics, or other sciences. Although historical properties indeed make a certain kind of difference to biology and psychology, this paper will show that historical properties make the same (...) kind of difference to geology, sociology, astronomy, and other sciences. Similarly, many people argue that nonhistorical properties make a special difference to the nonbiological and the nonpsychological world. This paper will show that nonhistorical properties make the same difference to all things in the world when it comes to their causal behavior and that historical properties make the same difference to all things in the world when it comes to their distributions. Although history is special, it is special in the same way to all parts of the world. (shrink)

It is only by fixing on agreed meanings of terms in biomedical terminologies that we will be in a position to achieve that accumulation and integration of knowledge that is indispensable to progress at the frontiers of biomedicine. Standardly, the goal of fixing meanings is seen as being realized through the alignment of terms on what are called ‘concepts’. Part I addresses three versions of the concept-based approach – by Cimino, by Wüster, and by Campbell and associates – and surveys (...) some of the problems to which they give rise, all of which have to do with a failure to anchor the terms in terminologies to corresponding referents in reality. Part II outlines a new, realist solution to this anchorage problem, which sees terminology construction as being motivated by the goal of alignment not on concepts but on the universals (kinds, types) in reality and thereby also on the corresponding instances (individuals, tokens). We outline the realist approach, and show how on its basis we can provide a benchmark of correctness for terminologies which will at the same time allow a new type of integration of terminologies and electronic health records. We conclude by outlining ways in which the framework thus defined might be exploited for purposes of diagnostic decision-support. (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. Ontologies created by scientists must, of course, be associated with implementations satisfying the requirements of software engineering. But the ontologies are not themselves engineering artifacts, and to conceive them as such brings grievous consequences. Rather, ontologies such as the GO are in different respects comparable to scientific theories, to scientific databases, and to scientific journal publications. Such a view implies a new conception of what is involved in the authoring, maintenance and application of ontologies in scientific contexts, and therewith also a new approach to the evaluation of ontologies and to the training of ontologists. (shrink)

Some would conceive philosophy as being divided into Analytic and Continental. This, as John Searle points out, is rather like conceiving America as being divided into Business and Kansas. Searle’s wise saying has not, as yet, received the theoretical attention it deserves. In both cases we have a certain domain, which is conceived as being divided into two parts, one defined in spatial terms, the other defined in terms of objects, practices or features widely spread through some spatial area.

The Renaissance architect, moral philosopher, cryptographer, mathematician, Papal adviser, painter, city planner and land surveyor Leon Battista Alberti provided the theoretical foundations of modern perspective geometry. Alberti’s work on perspective exerted a powerful influence on painters of the stature of Albrecht Dürer, Leonardo da Vinci and Piero della Francesca. But his Della pittura of 1435–36 contains also a hitherto unrecognized ontology of pictorial projection. We sketch this ontology, and show how it can be generalized to apply to representative devices in (...) general, including maps and spatial and non-spatial databases. (shrink)

What follows is a contribution to the theory of space and of spatial objects. It takes as its starting point the philosophical subfield of ontology, which can be defined as the science of what is: of the various types and categories of objects and relations in all realms of being. More specifically, it begins with ideas set forth by Aristotle in his Categories and Metaphysics, two works which constitute the first great contributions to ontological science. Because Aristotle’s ontological ideas were (...) developed prior to the scientific discoveries of the modern era, he approached the objects and relations of everyday reality with the same ontological seriousness with which scientists today approach the objects of physics. We shall seek to show that what Aristotle has to say about these commonsensical objects and relations can, when translated into more formal terms, be of use also to contemporary ontologists. More precisely, we shall argue that his ideas can contribute to the development of a rigorous theory of those social and institutional components of everyday reality – the settings of human behavior – which are the subject of this volume. When modern-day philosophers turn their attentions to ontology they begin not with Aristotle but rather, in almost every case, with a set-theoretic ontology of the sort which is employed in standard model-theoretic semantics. Set-theoretic ontology sees the world in atomistic terms: it postulates a lowest level of atoms or urelements, from out of which successively higher levels of set-theoretic objects are then constructed. The approach to ontology to be defended here, in contrast, starts not with atoms but with the mesoscopic objects by which we are surrounded in our normal day-to-day.. (shrink)

Where some have attempted to apply cognitive methods to the study of geography, the present paper is designed to serve as a starting point for applying methods of geographic ontology to the phenomena of cognition. Agglomerations are aggregates of entities that are dispersed through space on geographic scales. Examples include: plagues, biological species, major world religions. The paper applies standard mereotopological theories of spatial regions to agglomerations in this sense. It offers the beginnings of a general theory of the relations (...) between social, cultural, ethnic and religious agglomerations on the one hand and territorially demarcated spatial objects on the other. In this way it serves as the basis for a general ontological theory of types of human groups and also of types of conflict between these groups. At the same time it provides ontological foundations for the epidemiological study of cognitive phenomena, and especially of cognitive phenomena in the sociopolitical realm. (shrink)

What follows is an exercise in hunter-gatherer ontology. More precisely, the region of space and of spatial objects will be adopted as a happy hunting ground for the purposes of Meinongian metaphysics. Meinong, notoriously, struggled against the prejudice in favour of the actual and fought on behalf of the ontological rights of incomplete, impossible, and indeterminate objects. A parallel struggle, as we shall see, can be waged in the domain of spatial objects. Meinong's ideas can in this way be seen (...) to have relevance for studies of the philosophical foundations of the theories of land-surveying and of international law. (shrink)

In ancient times was known two kinds of physics. On one side there was the astronomy , which is characterized by the use of exact mathematical principles, on the other hand, there was the physics in the true sense of the word, a science, which coincides often with what we now call `metaphysics' . While astronomy has to do with the region of celestials and the imperishable, the physics is about the range of the sublunary, terrestrial things that come and (...) go, and from their movements. The physicist is familiar with the nature of things, of which he speaks, and so he also understands the causes of their movements. It was not until Copernicus dared to equate the Earth to other planets that all physical events explain the same system to be dynamic postulates. This is still regarded as a commonplace of both philosophy and science of the natural world. I want to show in what follows that we now return from rather unexpected reasons the old dualistic view and we should no longer be guided by the sole prerogative of nachgalileischen physics. (shrink)

What follows is an investigation of the ontology of Franz Brentano with special reference to Brentano's later and superficially somewhat peculiar doctrine to the effect that the substances of the material world are three dimensional places. Taken as a whole, Brentano's philosophy is marked by three, not obviously compatible, trait. In the first place, his work is rooted in the metaphysics of Aristotle, above all in Aristotle's substance/accident ontology and in the Aristotelian theory of categories. In the second place, Brentano (...) embraced a Cartesian epistemology. He saw the source of all knowledge as residing in our direct awareness of our own mental phenomena and in our capacity to grasp evident incompatibilities in the realm of concepts.) Thirdly, he regarded the existence of an external world as at most probable, and denied outright the existence of a world similar to the world that is given in experience. Finally, and in some sense linking together these opposing strands, he propagated an idea of what he called "descriptive psychology", a discipline which would on the one hand yield exact knowledge of the structures and categories of mental life, and on the other hand provide an epistemologically sure foundation for other branches of philosophy. As we shall see, it is this psychological aspect of Brentano's philosophy which leads him to his conception of the substantiality of place. Surprisingly, however, the psychological considerations which underlie Brentano's thinking will be shown to raise a series of questions strictly ontological in nature, questions which are not without a systematic interest of their own. (shrink)

The paper presents a new method for generating typologies of formal-ontological relations. The guiding idea is that formal relations are those sorts of relations which hold between entities which are constituents of distinct ontologies. We provide examples of ontologies (in the spirit of Zemach’s classic “Four Ontologies” of 1970), and show how these can be used to give a rich typology of formal relations in a way which also throws light on the opposition between threeand four-dimensionalism.

Tumors, abscesses, cysts, scars, fractures are familiar types of what we shall call pathological continuant entities. The instances of such types exist always in or on anatomical structures, which thereby become transformed into pathological anatomical structures of corresponding types: a fractured tibia, a blistered thumb, a carcinomatous colon. In previous work on biomedical ontologies we showed how the provision of formal definitions for relations such as is_a, part_of and transformation_of can facilitate the integration of such ontologies in ways which have (...) the potential to support new kinds of automated reasoning. We here extend this approach to the treatment of pathologies, focusing especially on those pathological continuant entities which arise when organs become affected by carcinomas. (shrink)

The concept of niche (setting, context, habitat, environment) has been little studied by ontologists, in spite of its wide application in a variety of disciplines from evolutionary biology to economics. What follows is a first formal theory of this concept, a theory of the relations between objects and their niches. The theory builds upon existing work on mereology, topology, and the theory of spatial location as tools of formal ontology. It will be illustrated above all by means of simple biological (...) examples, but the concept of niche should be understood as being, like concepts such as part, boundary, and location, a structural concept that is applicable in principle to a wide range of different domains. (shrink)

Davies argues that the ontology of artworks as performances offers a principled way of explaining work-relativity of modality. Object oriented contextualist ontologies of art (Levinson) cannot adequately address the problem of work-relativity of modal properties because they understand looseness in what counts as the same context as a view that slight differences in the work-constitutive features of provenance are work-relative. I argue that it is more in the spirit of contextualism to understand looseness as context-dependent. This points to the general (...) problem—the context of appreciation is not robust enough to ground modal intuitions about objective entities. In general, when epistemology dictates ontology there is always a threat of anti-realism, scepticism and relativism. Davies also appeals to the modality principle—an entity’s essential properties are all and only its constitutive properties. Davies understands essentiality in a traditional way: a property P is an essential property of an object o iff o could not exist and lack P. Kit Fine has recently made a convincing case for the view that the notion of essence is not to be understood in modal terms. I explore some of the implications of this view for Davies’ modal argument for the performance theory. (shrink)

It is about the pure theoretical system of EDWs (almost without applications to any particular sciences - cognitive science, physics or biology). I constructed the conditions of the possibility for any EDWs (that exist or possible to exist) given by 13 propositions that represent the axiomatic-hyperontological framework in 13 parts. In general, these propositions refer to the abstract entities andtheir interactions. Being is the only entity that is an epistemological world. In this short book, I deal with the hyperontology of (...) the hyperverse, no more or less than “pure philosophy". (shrink)

The tendency theory of causation and its use in ontological engineering is described.

Trope ontology is exposed and confronted with the question where one trope ends and another begins. It is argued that tropes do not have determinate boundaries, it is arbitrary how tropes are carved up. An ontology, which I call field ontology, is proposed which takes this into account. The material world consists of a certain number of fields, each of which is extended over all of space. It is shown how field ontology can also tackle the problem of determinable properties (...) and the problem of completeness of things. (shrink)

This paper looks at the history of the problem of individuation from Plato to Whitehead. Part I takes as its point of departure Reiner Wiehl’s interpretation of the different meanings of “abstract” in the metaphysics of Alfred North Whitehead and arrives at a corresponding taxonomy of different ways things can be called concrete. Part II compares the way philosophers in different periods understand the relation between thought and intuition. The view mostly associated with ancient philosophy is that thought and sense-perception (...) target different kinds of objects. The view mostly associated with modern philosophy (although it was introduced by the Stoics) is that thought and sense-perception are different ways of targeting the same objects. These differences have specific consequences for theories of individuation, which are assessed historically in Part III and then applied to Whitehead’s difficult texts in part IV. (shrink)

Nicholas Rescher’s way of understanding process philosophy reflects the ambitions of his own philosophical project and commits him to a conceptually ideal interpretation of process. Process becomes a transcendental idea of reflection that can always be predicated of our knowledge of the world and of the world qua known, but not necessarily of reality an sich. Rescher’s own taxonomy of process thinking implies that it has other variants. While Rescher’s approach to process philosophy makes it intelligible and appealing to mainstream (...) analytic philosophy, it leaves behind the more daring ideas of Bergson, James, and Whitehead, all of whom envisioned the primordial reality of process in a radical ontology of becoming. This variant of process thought can be construed as coherent and self-consistent, but not without relinquishing the correspondence theory of truth and embracing challenging ideas that bring us in close proximity to existentialism, apophatic theology, and Buddhism. (shrink)

The IPAP Schizophrenia Algorithm was originally designed in the form of a flow chart to help physicians optimise the treatment of schizophrenic patients. We examined the current version from the perspective of recent work on terminologies and ontologies thereby drawing on the resources of Basic Formal Ontology, and this with the objective to make the algorithm appropriate for Semantic Web applications. We found that Basic Formal Ontology is a rich enough theory to represent all the entities involved and that applying (...) the theory to the IPAP schizophrenia algorithm results in a representation that can be used by software agents to perform monitoring and control in a referent tracking environment. (shrink)

It has recently been suggested that a distinctive relation or relations of (as I put it) "Grounding" is ultimately at issue in contexts where some entities or facts are claimed to, e.g., hold "in virtue of" or be "less fundamental than", "metaphysically dependent on", or "nothing over and above" some others (see Fine 2001, Schaffer 2009, and Rosen 2010). Grounding is supposed to do good work (better than merely modal notions, in particular) in illuminating the structure of metaphysical dependence. I (...) argue that Grounding, qua metaphysical posit, is also too coarse-grained to do this work, obscuring or eliding important differences in the metaphysics of dependence---e.g., between eliminativist, reductionist, and non-reductionist accounts of grounded entities. There is no getting around the need for metaphysically specific grounding relations capable of preserving these distinctions; and once the specific relations are on the scene, there is no need for Grounding. (shrink)