The ontological question goes way back to Plato. In his Teetetus he already searched for the answer to question of “how is it possible that when a man stares at something he would not see anything anyway”. Quine is the author of a doctrine on ontology, “On what there is”. His work follows the path of medieval authors such as William of Ockham, who proposed the methodology that came to be known as Okcham's razor. The excessive proliferation of entities is (...) known as “Plato's beard”. Quine, among others, has shaved Plato's beard searching for logical and scientific simplicity. (shrink)

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.

For the metaphysician, photographs are very puzzling entities indeed. And even from the non-philosopher's intuitive point of view, it is not that clear what sort of thing a photograph is. Typically, if a client wants to purchase a photograph, she can mean very different things by 'buying a photograph' : she can mean to buy a print or a number of prints, or she can mean to buy a negative (when traditional film photographs are concerned) or a file (when digital (...) photography is concerned), or she can mean to buy a right to use a photograph a precisely determined number of times in a number of brochures or on a website, and so on. When facing a new client, I always, without exception, face the problem of explaining to her what it is that she is actually buying – and it is not always clear that she is ever buying a photograph. As a metaphysician, I face a much more difficult challenge : find out to what ontological category photographs belong to. Are they concrete spatio-temporal entities like prints, are they universals since there can be many 'prints-instances' of a same photograph, are they sets or aggregates of prints, or something even different ? This is the task that I wish to undertake in this paper : examine all plausible metaphysical categories to which photographs could belong to, and see which one is the fittest. As we shall see, in this 'survival for the fittest' competition between traditional metaphysical categories, there will be no real winner : several categories will reveal themselves to be enlightening and useful when describing features of what photographs are, but none will prove to be entirely satisfactory. Photographs, it seems, are a sort of borderline entities that share some but not all aspects of several traditional metaphysical categories. Is it then justified to postulate a new ontological category to which photographs would properly belong ? On mainly methodological grounds, I shall argue that it is not, and I will suggest a different way out of this metaphysician's trouble by defending a nihilism about photographs. To put it bluntly, I will defend the claim that photographs do not exist – but I will also argue that this is not a very revisionary or anti-commonsensical claim. (shrink)

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)

Abstract According to an influential theory, English tenses are anaphoric to an aforementioned reference point. This point is sometimes construed as a time (e.g. Reichenbach 1947, Partee 1973, Stone 1997) and sometimes as an event (e.g. Kamp 1979, 1981, Webber 1988). Moreover, some researchers draw semantic parallels between tenses and pronouns (e.g. Partee 1973, 1984, Stone 1997), whereas others draw parallels between tenses and anaphorically anchored (in)definite descriptions (e.g.

Crosslinguistically, causative constructions conform to the following generalization: If the causal relation is syntactically concealed, then it is semantically direct. Concealed causatives span a wide syntactic spectrum, ranging from resultative complements in English to causative subjects in Miskitu. A unified type-driven theory is proposed which attributes the understood causal relation—and other elements of constructional meaning—to type lifting operations predictably licensed by type mismatch at LF. The proposal has far-reaching theoretical implications not only for the theory of compositionality and causation, but (...) also for the underlying theory of events, space, and time, in natural language discourse. (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).

Introduction I propose in this work, first, to consider the process of doing ontology and, second, to argue for the importance which an understanding of ...

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)

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)

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.).

The paper has two parts. In the first, I argue that the view that there are no musical works needs to be taken seriously, since it is a consequence of a plausible metaphysical thesis. In the second, I outline two jointly exhaustive accounts of musical discourse that imply the nonexistence of musical works. I conclude by indicating how the arguments offered here may be generalized to show that, startlingly, there might be no artworks at all.

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)

Sellars claims completeness for both the “manifest” and the “scientific images” in a way that tempts one to assume that they are independent of each other, while, in fact, they must share at least one common element: the language of individual and community intentions. I argue that this significantly muddies the waters concerning his claim of ontological primacy for the scientific image, though not in favor of the ontological primacy of the manifest image. The lesson I draw is that we (...) need to reassess the aims of ontology. (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.

In the present essay the author suggests that the main reason why history failed to develop societies in harmony with Nature, including our internal nature as well, is that we failed to evaluate the exact basis of the factor ultimately governing our thoughts. We failed to realize that it is the worldview that ultimately governs our thoughts and through our thoughts, our actions. In this work we consider the ultimate foundations of philosophy, science, religion, and art, pointing out that they (...) were and can be again in harmony with each other if their ultimate tasks are specified. It is specified here the first task of philosophy as considering the philosophical significance of the ultimate principles of physics, biology and man/society. These ultimate principles are in direct connection with the ultimate questions of religion. It is shown that the fundamental nature of art makes it able to perceive the ultimate destination of mankind and the Universe, the world-to-be. It is proposed that philosophy, religion and art together are able to supply us with an inter-subjective picture of the world-process, including the inter-subjective picture of the future of mankind and the Universe. Care is taken to enlighten the possible role of values in founding scientific research in the frame of present wide-ranging discussions. It is found that universal values of respect for existence, life and reason represent the inevitable basis of science. The exact foundations of a new, integral worldview are outlined, involving the worldprocess-picture, Nature-picture, images of man, society, self, history and manipulation. A list of our common tasks for founding the Integral Culture is proposed. (shrink)

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)

Fifty years ago the philosopher Wilfred Sellars identified two images of “man”, which he called respectively the “manifest image” and the “scientific image”; and he considered whether and how these two images could be reconciled. In this paper, I will very briefly look at the distinction drawn by Sellars and at his suggestions for reconciliation of these images. I will suggest that a broad distinction as suggested by Sellars can indeed usefully be drawn, but that the distinction can be more (...) helpfully characterised than it was by Sellars. I will argue that there are more ways of reconciling the two images than those proposed by Sellars. And I will elaborate on what I think are the most promising lines along which the reconciliation could take place. (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)

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 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. The way leading to this aim is a dialogue between Islamic and Western Philosophy. Our project is motivated by the observation that the historical roots of Islamic and of Western philosophy are very similar. Thus some of the articles in this volume are dedicated to the history of philosophy in Islamic thinking as well as in Western traditions. But the dialogue between both philosophies is not only an historical issue, (...) it also has systematic relevance for actual philosophical questions. The topic Substance and Attribute particularly has systematic relevance for the actual ontological debate. (shrink)

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 seem to talk about repeatable artworks, like symphonies, films, and novels, all the time. We say things like, "The Moonlight Sonata has three movements" and "Duck Soup makes me laugh". How are these sentences to be understood? We argue against the simple subject/predicate view, on which the subjects of the sentences refer to individuals and the sentences are true iff the referents of the subjects have the properties picked out by the predicates. We then consider two alternative responses that (...) involve reading these sentences as generics, similar to "The polar bear has four paws". The first response takes these sentences to be about kinds, and the second takes the relevant noun-phrases to act as predicates. We reject these accounts, but offer a third alternative which is informed by both, and which enables us to deny the existence of repeatable artworks while endorsing the truth of sentences seemingly about them. (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)

When people deny that there are objects of a certain kind, they normally take this to be a reason to stop speaking as if such objects existed. For instance, when atheists deny the existence of God, they take this to be a reason to stop speaking about God’s will or His mercy. Or, to take a more mundane example, when people deny that there are round squares or that there are unicorns, they take this to be a reason to stop (...) speaking as if rounds squares or unicorns existed. (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?

Like many of his contemporaries, Hegel considered Spinoza a modern reviver of ancient Eleatic monism, in whose system “all determinate content is swallowed up as radically null and void”. This characterization of Spinoza as denying the reality of the world of finite things had a lasting influence on the perception of Spinoza in the two centuries that followed. In this article, I take these claims of Hegel to task and evaluate their validity. Although Hegel’s official argument for the unreality of (...) modes in Spinoza’s system will turn out to be unsound, I do believe there is one crucial line in Spinoza’s system – Spinoza’s rather weak and functional conception of individuality – which provides some support for Hegel’s reading of Spinoza. (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. This paper proposes a novel semantic analysis of such NPs on the basis of the notion of a variable object. The analysis avoids a range of difficulties that an alternative analysis based on the notion of an individual concept would face.

This paper argues that certain complements in philosophically significant constructions, especially predicative and clausal complements and intensional NPs, should not be analysed as providing an argument for a relation expressed by the verb, but rather as forming a complex predicate together with the verb. Apparent evidence for the traditional relational analyses, namely the possibility of replacing the complement by quantifiers such as 'something', will be shown to be misguided. Quantifiers like 'something' rather act as nominalizing expressions introducing ‘new’, derived objects (...) into the semantic structure of a sentence. The resulting analyses will have several philosophical ramifications. (shrink)

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)

Quine's early arguments in favor of "Ontological Relativity" depend on wild but interesting alternatives to standard ontology,most apparent when viewing his unusual idea of undetached object parts. In Quine's later philosophy, by contrast, he invokes trivial proxy functions and simple permutations to standard ontology, and in so doing paves the way for his claim of "Inscrutability of Reference". Nevertheless, Quine's more recent alternatives to standard ontology have thus far remained uninteresting for ontological questions, as his later arguments fail to offer (...) any real alternative to our standard identity relation. For this reason, I have chosen to return to Quine's original idea of "Ontological Relativity" and put it to the test. In my investigation, development and subsequent defense of Quine's original presentation, I attempt to show that it is in fact possible to read Quine's ontology of undetached object parts into a large sphere of our language. (shrink)

Pacifists and their opponents disagree not only about moral questions, but most often about factual questions as well. For example, they came to divergent descriptions of the crisis in Kosovo. According to my reconstruction of pacifism, this is not a surprise because the pacifist, legitimately, looks at the facts in the light of her system of value. Her opponent, in turn, looks at the facts in the light of alternative systems of value, and the quarrel between the two parties about (...) supposedly descriptive matters does not come to an end as there is no objective reality about the war in question that could settle the issue. If I am right, the pacifist's value-laden way of looking at reality can be reconstructed as an obedience to three epistemic imperatives. First, the Epistemic Imperative concerning Human Nature ("Resist against demonizing the other side; always try to understand the case from their point of view"). Second, the Epistemic Imperative concerning Non-Violent Alternatives ("Always search for non-violent alternatives to projected military action"). Third, the Epistemic Imperative concerning Uncontrolled Escalation ("Sharpen your attention for uncontrolled, irreversible side effects of military action, particularly for the danger of escalation to another world war"). Objective reality does not decide how far one should go in following these imperatives. Rather, the decision about this is our's—similarly as in case of the scientist who decides to search for common deep structure behind the chaos of the manifold. So the pacifist's epistemic imperatives can be compared to Kant's regulative principles that are necessary for guiding the scientific scrutiny of reality. (shrink)

Dentro de la tradición de la hermenéutica filosófica y, más específicamente, de la ontología hermenéutica del filósofo alemán H.G. Gadamer, "Interpretar y argumentar" constituye una indagación en el modelo de racionalidad propio ...

Terms such as ‘exist’, ‘actual’, etc., (hereafter, “ontic terms”) are recognized as having ontologically neutral or non-commissive uses, besides their standard commissive uses. (Consider, e.g., the two interpretations of ‘There is an even prime.’) 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)

I observe Iris Murdoch's distinctive use of the word ‘flux’ in discussion of Sartre's Nausea and show that her usage is persuasive and revolutionary, first as Sartre exegesis, second as Heraclitus exegesis, and throughout as a contribution to the philosophy of language. Murdoch's usage of ‘flux’ frames a comparison of Sartre's Roquentin with other figures who have had similarly flowing experience but without nausea. Roquentin's plight is shown to be ‘a philosopher's plight’ precipitated by a defective theory of descriptive success. (...) I then show how the Heraclitean fragments would support Murdoch's treatment of flux and on close analysis contradict the established view exemplified in the work of Wittgenstein and Jonathan Barnes. Flux is not a variety of change, and the river image ‘cannot be analysed into non-metaphorical components without a loss of substance’. (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)

This paper examines the interplay of changelessness and change, being and becoming, from an historical and dialectical standpoint. Topological paradox is employed to elucidate the dynamic interweaving of these ontological opposites. The essay concludes by exploring the relevance of the dialectic to question of human freedom.

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)

The article outlines the main motivations for the Guise Theory and its intriguing theses concerning identity, predication, existence, and fiction. The second part of the article is devoted to assessment of Castañeda’s theory. It discusses the most influential critiques of the Guise Theory, as well as (important from a historical point of view) Russell’s objection to theories of nonexistent objects. The last section of the article contains a comparison of the Guise Theory with the Meinong’s Theory of Objects, and points (...) out that despite various similarities, we should draw a distinction between original and moderate versions of Meinong’s theory. The main motivation for this distinction are differences between accounts of predications, which allow us to call the Guise Theory “quasi-Meinongian” rather than just “Meinongian”. This is because one of its main claims comes rather form the work of Meinong’s pupil Ernst Mally, and not from Meinong himself. (shrink)

This note is to show that a well-known point about David Lewis’s (1986) modal realism applies to Timothy Williamson’s (1998; 2002) theory of necessary existents as well.1 Each theory, together with certain “recombination” principles, generates individuals too numerous to form a set. The simplest version of the argument comes from Daniel Nolan (1996).2 Assume the following recombination principle: for each cardinal number, ν, it’s possible that there exist ν nonsets. Then given Lewis’s modal realism it follows that there can be (...) no set of all (that is, Absolutely All) the nonsets. For suppose for reductio that there were such a set, A; let ν be A’s cardinality; and let µ be any cardinal number larger than ν. By the recombination principle, it’s possible that there exist µ nonsets; by modal realism, there exists a possible world containing, as parts, µ nonsets; each of these nonsets is a member of A. (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)

As available intelligence data and information expand in both quantity and variety, new techniques must be deployed for search and analytics. One technique involves the semantic enhancement of data through the creation of what are called ‘ontologies’ or ‘controlled vocabularies.’ When multiple different bodies of heterogeneous data are tagged by means of terms from common ontologies, then these data become linked together in ways which allow more effective retrieval and integration. We describe a simple case study to show how these (...) benefits are being achieved, and we describe our strategy for developing a suite of ontologies to serve the needs of the war-fighter in the ever more complex battlespace environments of the future. (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)

Ontology is a burgeoning field, involving researchers from the computer science, philosophy, data and software engineering, logic, linguistics, and terminology domains. Many ontology-related terms with precise meanings in one of these domains have different meanings in others. Our purpose here is to initiate a path towards disambiguation of such terms. We draw primarily on the literature of biomedical informatics, not least because the problems caused by unclear or ambiguous use of terms have been there most thoroughly addressed. We advance a (...) proposal resting on a distinction of three levels too often run together in biomedical ontology research: 1. the level of reality; 2. the level of cognitive representations of this reality; 3. the level of textual and graphical artifacts. We propose a reference terminology for ontology research and development that is designed to serve as common hub into which the several competing disciplinary terminologies can be mapped. We then justify our terminological choices through a critical treatment of the ‘concept orientation’ in biomedical terminology research. (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)

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)

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)

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.

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)

The author attempts to show how mereology, taken together with certain topological notions, can yield the foundations for future investigations in formal ontology. He also attempts to show how the mereological framework allows for the direct and natural formulation of a series of theses - for example pertaining to the concept of a boundary - which can be only indirectly formulated (if at all) in set-theoretic terms. The far-reaching ain of the present framework is to serve as a basis for (...) a formal ontology of the common-sense world. The author is interested in producing formally precise theories of structures of certain sorts in such a way that it is the structures themselves that intrest him and not formal machinery that has been set up to describe them. Hence the axioms are chosen primarily for the sake of the light they throw on the intended subject-matters (and not for their logical independence). The world itself - or its picture given in ordinary experience - is the only model the paper concentrates upon. Thus for example the presented system allows to prove that every boundary is the boundary of something, and that in particular no point exists in isolation from a large extended whole that is its boundary. (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)