This essay provides an opinionated survey of some recent developments in the literature on ontological dependence. Some of the most popular definitions of ontological dependence are formulated in modal terms; others in non-modal terms (e.g., in terms of the explanatory connective, ‘because’, or in terms of a non-modal conception of essence); some (viz., the existential construals of ontological dependence) emphasise requirements that must be met in order for an entity to exist; others (viz., the (...) essentialist construals) focus on conditions that must be satisfied in order for an entity to be the very entity it is at each time at which it exists; some are rigid, in the sense that they concern a relation between particular entities; others are generic, in the sense that they involve only a relation between an entity and some entities or other, which bear certain characteristics. I identify three potential measures of success with respect to which these different definitions of ontological dependence can be evaluated and consider the question of how well they in fact meet these desiderata. I end by noting that certain challenges face even the most promising essentialist construals of ontological dependence. (shrink)

The relation of ontological dependence or grounding, expressed by the terminology of separation and priority in substance, plays a central role in Aristotle’s Categories, Metaphysics, De Anima and elsewhere. The article discusses three current interpretations of this terminology. These are drawn along the lines of, respectively, modal-existential ontological dependence, essential ontological dependence, and grounding or metaphysical explanation. I provide an opinionated introduction to the topic, raising the main interpretative questions, laying out a few of (...) the exegetical and philosophical options that influence one’s reading, and locating questions of Aristotle scholarship within the discussion of ontological dependence and grounding in contemporary metaphysics. (shrink)

When an entity ontologically depends on another entity, the former ‘presupposes’ or ‘requires’ the latter in some metaphysical sense. This paper defends a novel view, Dependence Deflationism, according to which ontological dependence is what I call an aggregative cluster concept: a concept which can be understood, but not fully analysed, as a ‘weighted total’ of constructive and modal relations. The view has several benefits: it accounts for clear cases of ontological dependence as well as the (...) source of disagreement in controversial ones; it gives a nice story about the evidential relevance of modal, mereological and set-theoretic facts to ontological dependence; and it makes sense of debates over the relation's formal properties. One important upshot of the deflationary account is that questions of ontological dependence are generally less deep and less interesting than usually thought. (shrink)

This paper discusses attributively limited concrete objects such as disturbances (holes, folds, scratches etc), tropes, and attitudinal objects, which lack the sort of spatial location or part structures expected of them as concrete objects. The paper proposes an account in terms of (quasi-Fregean) abstraction, which has so far been applied only to abstract objects.

A great deal has been written about 'would' counterfactuals of causal dependence. Comparatively little has been said regarding 'would' counterfactuals of ontological dependence. The standard Lewis-Stalnaker semantics is inadequate for handling such counterfactuals. That's because some of these counterfactuals are counterpossibles, and the standard Lewis-Stalnaker semantics trivializes for counterpossibles. Fortunately, there is a straightforward extension of the Lewis-Stalnaker semantics available that handles counterpossibles: simply take Lewis's closeness relation that orders possible worlds and unleash it across impossible worlds. (...) To apply the extended semantics, an account of the closeness relation for counterpossibles is needed. In this paper I offer a strategy for evaluating 'would' counterfactuals of ontological dependence that understands closeness between worlds in terms of the metaphysical concept of grounding. (shrink)

Aristotle holds that individual substances are ontologically independent from nonsubstances and universal substances but that non-substances and universal substances are ontologically dependent on substances. There is then an asymmetry between individual substances and other kinds of beings with respect to ontological dependence. Under what could plausibly be called the standard interpretation, the ontological independence ascribed to individual substances and denied of non-substances and universal substances is a capacity for independent existence. There is, however, a tension between this (...) interpretation and the asymmetry between individual substances and the other kinds of entities with respect to ontological independence. I will propose an alternative interpretation: to weaken the relevant notion of ontological independence from a capacity for independent existence to the independent possession of a certain ontological status. (shrink)

The Gene Ontology is an important tool for the representation and processing of information about gene products and functions. It provides controlled vocabularies for the designations of cellular components, molecular functions, and biological processes used in the annotation of genes and gene products. These constitute three separate ontologies, of cellular components), molecular functions and biological processes, respectively. The question we address here is: how are the terms in these three separate ontologies related to each other? We use statistical methods and (...) formal ontological principles as a first step towards finding answers to this question. (shrink)

Metaphysical orthodoxy maintains that the relation of ontological dependence is irreflexive, asymmetric, and transitive. The goal of this paper is to challenge that orthodoxy by arguing that ontological dependence should be understood as non- symmetric, rather than asymmetric. If we give up the asymmetry of dependence, interesting things follow for what we can say about metaphysical explanation— particularly for the prospects of explanatory holism.

There has been much work on ontological dependence in recent literature. However, relatively little of it has been dedicated to the ways in which individual physical objects may depend on other distinct, non-overlapping objects. This paper gives several examples of such object-dependence and distinguishes between different types of it. The paper also introduces and refines the notion of an n-tet. N-tets (typically) occur when there are object-dependence relations between n objects. I claim that the identity (or, (...) rather, what I call the n-dentity) conditions for n-tets are not grounded in the individual identity conditions of each of the n objects, but instead are metaphysically basic. The paper then briefly discusses some ramifications of accepting object-dependence (and n-tets) on the philosophy of biology, ethics, and logic. (shrink)

In recent work, the interrelated questions of whether there is a fundamental level to reality, whether ontological dependence must have an ultimate ground, and whether the monist thesis should be endorsed that the whole universe is ontologically prior to its parts have been explored with renewed interest. Jonathan Schaffer has provided arguments in favour of 'priority monism' in a series of articles (2003, 2004, 2007a, 2007b, forthcoming). In this paper, these arguments are analysed, and it is claimed that (...) they are not compelling: in particular, the possibility that there is no ultimate level of basic entities that compose everything else is on a par with the possibility of infinite 'upward' complexity. The idea that we must, at any rate, postulate an ontologically fundamental level for methodological reasons ( Cameron 2008 ) is also discussed and found unconvincing: all things considered, there may be good reasons for endorsing 'metaphysical infinitism'. In any event, a higher degree of caution in formulating metaphysical claims than found in the extant literature appears advisable. (shrink)

Ontology is the philosophical discipline which aims to understand how things in the world are divided into categories and how these categories are related together. This is exactly what information scientists aim for in creating structured, automated representations, called 'ontologies,' for managing information in fields such as science, government, industry, and healthcare. Currently, these systems are designed in a variety of different ways, so they cannot share data with one another. They are often idiosyncratically structured, accessible only to those who (...) created them, and unable to serve as inputs for automated reasoning. This volume shows, in a nontechnical way and using examples from medicine and biology, how the rigorous application of theories and insights from philosophical ontology can improve the ontologies upon which information management depends. (shrink)

The aim of this article is to argue that ontological choices in scientific practice undermine common formulations of the value-free ideal in science. First, I argue that the truth values of scientific statements depend on ontological choices. For example, statements about entities such as species, race, memory, intelligence, depression, or obesity are true or false relative to the choice of a biological, psychological, or medical ontology. Second, I show that ontological choices often depend on non-epistemic values. On (...) the basis of these premises, I argue that it is often neither possible nor desirable to evaluate scientific statements independently of non-epistemic values. Finally, I suggest that considerations of ontological choices do not only challenge the value-free ideal but also help to specify positive roles of non-epistemic values in an often neglected area of scientific practice. (shrink)

If there is something (P) that every possible agent is committed to value, and certain actions or attitudes either enhance or diminish P, then normative claims about a range of intentional actions can be objectively and non-trivially evaluated. I argue that the degree of existence as an agent depends on the consistency of reflexive-relating with other individuals of the agent-kind: the ontological thesis. I then show that in intending to act on a reason, every agent is rationally committed to (...) value ‘above all else’ being an agent, what consists in exercising the capacity to act and having the freedom to discriminate between more or less valuable actions: the transcendental thesis. Since the degree of possession of this personal but non-contingent good depends on relating to other agents in a special way, certain actions and attitudes may be objectively right or wrong for all agents. (shrink)

I use Plotinus to present absolute divine simplicity as the consequence of principles about metaphysical and explanatory priority to which most theists are already committed. I employ Phil Corkum’s account of ontological independence as independent status to present a new interpretation of Plotinus on the dependence of everything on the One. On this reading, if something else (whether an internal part or something external) makes you what you are, then you are ontologically dependent on it. I show that (...) this account supports Plotinus’s claim that any entity with parts cannot be fully independent. In particular, I lay out Plotinus’s case for thinking that even a divine self-understanding intellect cannot be fully independent. I then argue that a weaker version of simplicity is not enough for the theist since priority monism meets the conditions of a moderate version of ontological independence just as well as a transcendent but complex ultimate being. (shrink)

Traditionally, social entities (i.e., social properties, facts, kinds, groups, institutions, and structures) have not fallen within the purview of mainstream metaphysics. In this chapter, we consider whether the exclusion of social entities from mainstream metaphysics is philosophically warranted or if it instead rests on historical accident or bias. We examine three ways one might attempt to justify excluding social metaphysics from the domain of metaphysical inquiry and argue that each fails. Thus, we conclude that social entities are not justifiably excluded (...) from metaphysical inquiry. Finally, we ask how focusing on social entities could change the character of metaphysical inquiry. We suggest that starting from examples of social entities might lead metaphysicians to rethink the assumption that describing reality in terms of intrinsic, independent, and individualistic features is preferable to describing it in terms of relational, dependent, and non-individualistic features. (shrink)

One notable area in analytic metaphysics that has seen a revival of Aristotelian and scho- lastic inspired metaphysics is the return to a more robust construal of the notion of essence, what some have labelled “real” or “serious” essentialism. However, it is only recently that this more robust notion of essence has been implemented into the debate on truthmaking, mainly by the work of E. J. Lowe. The first part of the paper sets out to explore the scholastic roots of (...) essential dependence as well as an account of truthmaking for accidental predications in terms of accidents. Along the way, the author examines the dialectical role the possibility of separated accidents in the Eucharist play with respect to developing a scholastic account of truthmaking as essential dependence. In conclusion the author utilises Aquinas’s hylomorphic ontology to suggest a new way forward for an essentialist account of truthmaking. (shrink)

Constitution is the relation that holds between an object and what it is made of: statues are constituted by the lumps of matter they coincide with; flags, one may think, are constituted by colored pieces of cloth; and perhaps human persons are constituted by biological organisms. Constitution is often thought to be a.

Ethnobotanical research provides ample justification for comparing diverse biological nomenclatures and exploring ways that retain alternative naming practices. However, how (and whether) comparison of nomenclatures is possible remains a subject of discussion. The comparison of diverse nomenclatural practices introduces a suite of epistemic and ontological difficulties and considerations. Different nomenclatures may depend on whether the communities using them rely on formalized naming conventions; cultural or spiritual valuations; or worldviews. Because of this, some argue that the different naming practices may (...) not be comparable if the ontological commitments employed differ. Comparisons between different nomenclatures cannot assume that either the naming practices or the object to which these names are intended to apply identifies some universally agreed upon object of interest. Investigating this suite of philosophical problems, I explore the role grey nomenclatures play in classification. ‘Grey nomenclatures’ are defined as those that employ names that are either intentionally or accidentally non-Linnaean. The classification of the lichen thallus (a symbiont) has been classified outside the Linnaean system by botanists relying on the International Code of Nomenclature for algae, fungi, and plants (ICN). But, I argue, the use of grey names is not isolated and does not occur exclusively within institutionalized naming practices. I suggest, ‘grey names’ also aptly describe nomenclatures employed by indigenous communities such as the Samí of Northern Finmark, the Sherpa of Nepal, and the Okanagan First Nations. I pay particular attention to how naming practices are employed in these communities; what ontological commitments they hold; for what purposes are these names used; and what anchors the community’s nomenclatural practices. Exploring the history of lichen naming and early ethnolichenological research, I then investigate the stakes that must be considered for any attempt to preserve, retain, integrate, or compare the knowledge contained in both academically formalized grey names and indigenous nomenclatures in a way that preserves their source-specific informational content. (shrink)

This paper is concerned with the paradox of decrease. Its aim is to defend the answer to this puzzle that was propounded by its originator, namely, the Stoic philosopher Chrysippus. The main trouble with this answer to the paradox is that it has the seemingly problematic implication that a material thing could perish due merely to extrinsic change. It follows that in order to defend Chrysippus’ answer to the paradox, one has to explain how it could be that Theon is (...) destroyed by the amputation without changing intrinsically. In this paper, I shall answer this challenge by appealing to the broadly Aristotelian idea that at least some of the proper parts of a material substance are ontologically dependent on that substance. I will also appeal to this idea in order to offer a new solution to the structurally similar paradox of increase. In this way, we will end up with a unified solution to two structurally similar paradoxes. (shrink)

Dombrowski and Murdoch offer versions of the ontological argument which aim to avoid two types of objection – those concerned with the nature of the divine, and those concerned with the move from an abstract concept to a mind-independent reality. For both, the nature of the concept of God/Good entails its instantiation, and both supply a supporting argument from experience. It is only Murdoch who successfully negotiates the transition from an abstract concept to the instantiation of that concept, however, (...) and this is achieved by means of an ontological argument from moral experience which, in a reversal of the Kantian doctrine, depends ultimately on a form of the cosmological argument. (shrink)

There are several passages in the Metaphysics where Aristotle explains ontological priority in terms of ontological dependence, but there are others where he seems to adopt a teleological conception of ontological priority. It is sometimes maintained that the latter priority too must be construed in terms of the former, or that the priorities in question are not both endorsed (or simultaneously endorsed) by Aristotle. The goal of this paper is to show otherwise; I argue that what (...) is at issue are two distinct priorities that Aristotle simultaneously endorses. (shrink)

I argue that perception is necessarily situation-dependent. The way an object is must not just be distinguished from the way it appears and the way it is represented, but also from the way it is presented given the situational features. First, I argue that the way an object is presented is best understood in terms of external, mind-independent, but situation-dependent properties of objects. Situation-dependent properties are exclusively sensitive to and ontologically dependent on the intrinsic properties of objects, such as their (...) shape, size, and color, and the situational features, such as the lighting conditions and the perceiver’s location in relation to the perceived object. Second, I argue that perceiving intrinsic properties is epistemically dependent on representing situation-dependent properties. Recognizing situation-dependent properties yields four advantages. It makes it possible to embrace the motivations that lead to phenomenalism and indirect realism by recognizing that objects are presented a certain way, while holding on to the intuition that subjects directly perceive objects. Second, it acknowledges that perceptions are not just individuated by the objects they are of, but by the ways those objects are presented given the situational features. Third, it allows for a way to accommodate the fact that there is a wide range of viewing conditions or situational features that can count as normal. Finally, it makes it possible to distinguish perception and thought about the same object with regard to what is represented. (shrink)

It is often assumed that the first stage of many classical arguments for theism depends upon some version of the Principle of Sufficient Reason being true. Unfortunately for classical theists, PSR is a controversial thesis that has come under rather severe criticism in the contemporary literature. In this article, I grant for the sake of argument that every version of PSR is false. Thus, I concede with the critics of PSR, that it is possible that there is, at least, one (...) fact that is ontologically brute. I then proffer an epistemological challenge to ontological bruteness. Specifically, I argue that whenever a knowledge seeker, S, perceives some unexplained fact, F, it is never reasonable for S to believe F is ontologically brute. I conclude that, even if PSR is false, it is more reasonable to believe that the key premise in the first stage of classical arguments for theism is true. (shrink)

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

Thomasson’s easy ontology approach (2015) aims at deflating existence questions through a revival of Carnap’s (1950) distinction between internal and external questions. Importantly, her account depends on an analysis of the ordinary meaning of ‘exist(s)’ as a second-order predicate. I do two things in this paper. First, I show that Thomasson’s analysis fails to do justice to the complexity of the English predicate ‘exist(s)’. Against Thomasson, I argue that there are cases in which ‘exist(s)’ functions as a first-order predicate. Because (...) these cases were first noted by P.F. Strawson (1967), I will call them ‘Strawson-cases’. Secondly, I argue that these counterexamples give some support to (i) more substantive theories about existence as well as (ii) accounts that treat ‘exist(s)’ as varying in meaning. (shrink)

The paper argues that causal systems and spatial patterns are species of the same genus, namely pattern, and that a clear view of spatial patterns throws light on some aspects of the ontological nature of causal systems. In particular, it is argued that all patterns (and systems) depend on a fiat delimitation of something which in itself is a unity without borders. Pattern realism is true.

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

The question of what ontological insights can be gained from the knowledge of physics (keyword: ontic structural realism) cannot obviously be separated from the view of physics as a science from an epistemological perspective. This is also visible in the debate about 'scientific realism'. This debate makes it evident, in the form of the importance of perception as a criterion for the assertion of existence in relation to the 'theoretical entities' of physics, that epistemology itself is 'ontologically laden'. This (...) is in the form of the assumption that things (or entities) in themselves exist as such and such determined ones (independent of cognition, autonomously). This ontological assumption is not only the basis of our naïve understanding of cognition, but also its indispensable premise, insofar as this understanding is a fundamentally passive, 'receptive' one. Accordingly, just as 'perception' is the foundation, ('objective') description is the aim of cognition, that which cognition is about. In this sense, our idea of cognition and our idea of the things are inseparably linked. Without the ontological premise mentioned we just would not know what cognition is, but it is basically just a kind of image that we have in our minds (an assumption that helps us understand 'cognition'). Epistemology not only shares this basic assumption (which it also shares with metaphysics), but it revolves (unlike metaphysics) entirely around it by making the idea and demand of 'certainty' a condition of 'real' knowledge. As 'certainty' is a subjective criterion this entails the 'remodelling' of the real, holistic cognitive situation (to which metaphysics adheres) into a linear subject-object-relation (which results in the strict 'transcendence' of the objects). And it also establishes, due to its 'expertise' in matters of cognition, the 'primacy of epistemology' over all other sciences. Now, on closer inspection, however, the expertise of epistemology seems not all that dependable, because it basically consists only of paradigms which, from the point of view of the holism of the real cognitive situation itself, are nothing more than relatively simplistic interpretations of this situation. However, we do not yet know what another conception of cognition might look like (which is not surprising given the high rank of the phenomenon of cognition in the hierarchy of phenomena according to their complexity). 'Certainty' as a criterion of cognition is thus excluded from the outset, and thus the linear relational model of cognition appears as what it is, a gross distortion of the real, holistic cognitive situation. The significance of this argumentation with regard to physics is that the linear epistemological model of cognition itself is a major obstacle to an adequate epistemological understanding of physics. This is because it is fixed 'a priori' to an object-related concept of cognition, and to 'description' as the only mode of ('real') cognition. But physics (without questioning our naïve notion of cognition on the level of epistemology) simply works past it and its basic assumptions. Its cognitive concept (alias heuristic) is fundamentally different from that of metaphysics. The acceptance of the real, holistic cognitive situation is, in my opinion, the condition for an adequate understanding of physics' heuristic access to objects, its transcendental, generalizing cognitive concept, as well as its ontological relevance and dimension of its own. (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)

A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

Many philosophers take mind-independence to be criterial for realism about kinds. This is problematic when it comes to psychological and social kinds, which are unavoidably mind-dependent. But reflection on the case of artificial or synthetic kinds shows that the criterion of mind-independence needs to be qualified in certain ways. However, I argue that none of the usual variants on the criterion of mind-dependence is capable of distinguishing real or natural kinds from non-real kinds. Although there is a way of (...) modifying the criterion of mind-independence in such a way as to rule in artificial kinds but rule out psychological and social kinds, this does not make the latter non-real. I conclude by proposing a different way of distinguishing real from non-real kinds, which does not involve mind-independence and does not necessarily exclude psychological and social kinds. (shrink)

In this paper I sketch some arguments that underlie Hegel's chapter on judgment, and I attempt to place them within a broad tradition in the history of logic. Focusing on his analysis of simple predicative assertions or ‘positive judgments’, I first argue that Hegel supplies an instructive alternative to the classical technique of existential quantification. The main advantage of his theory lies in his treatment of the ontological implications of judgments, implications that are inadequately captured by quantification. The second (...) concern of this paper is the manner in which Hegel makes logic not only dependent on ontology generally, but also variant in regard to domains of objects. In other words, he offers a domain-specific logical theory, according to which the form of judgment or inference is specific to the subject of judgment. My third concern lies with the metaphilosophical consequences of this theory, and this includes some more familiar Hegelian themes. It is well known that Hegel frequently questioned the adequacy of the sentential form for expressing higher order truths. My reading of his theory of predication explains and contextualizes this tendency by demystifying notions like the so-called speculative proposition. (shrink)

A scientific theory is successful, according to Stanford (2000), because it is suficiently observationally similar to its corresponding true theory. The Ptolemaic theory, for example, is successful because it is sufficiently similar to the Copernican theory at the observational level. The suggestion meets the scientific realists' request to explain the success of science without committing to the (approximate) truth of successful scientific theories. I argue that Stanford's proposal has a conceptual flaw. A conceptually sound explanation, I claim, respects the (...) class='Hi'>ontological order between properties. A dependent property is to be explained in terms of its underlying property, not the other way around. The applicability of this point goes well beyond the realm of the debate between scientific realists and antirealists. Any philosophers should keep the point in mind when they attempt to give an explanation of a property in their field whatever it may be. (shrink)

In the Fifth Meditation, Descartes makes a remarkable claim about the ontological status of geometrical figures. He asserts that an object such as a triangle has a 'true and immutable nature' that does not depend on the mind, yet has being even if there are no triangles existing in the world. This statement has led many commentators to assume that Descartes is a Platonist regarding essences and in the philosophy of mathematics. One problem with this seemingly natural reading is (...) that it contradicts the conceptualist account of universals that one finds in the Principles of Philosophy and elsewhere. In this paper, I offer a novel interpretation of the notion of a true and immutable nature which reconciles the Fifth Meditation with the conceptualism of Descartes' other work. Specifically, I argue that Descartes takes natures to be innate ideas considered in terms of their so-called 'objective being'. (shrink)

In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem.Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge this gap, (...) we present in this paper a theory for representing ontologies in a dependently typed framework which relies on strong formal foundations including both a constructive logic and a functional type system. The language of this theory defines in a precise way what ontological primitives such as classes, relations, properties, etc., and thereof roles, are. The first part of the paper details how these primitives are defined and used within the theory. In a second part, we focus on the formalization of the role primitive. A review of significant role properties leads to the specification of a role profile and most of the remaining work details through numerous examples, how the proposed theory is able to fully satisfy this profile. It is demonstrated that dependent types can model several non-trivial aspects of roles including a formal solution for generalization hierarchies, identity criteria for roles and other contributions. A discussion is given on how the theory is able to cope with many of the constraints inherent in a good role representation. (shrink)

I defend a one category ontology: an ontology that denies that we need more than one fundamental category to support the ontological structure of the world. Categorical fundamentality is understood in terms of the metaphysically prior, as that in which everything else in the world consists. One category ontologies are deeply appealing, because their ontological simplicity gives them an unmatched elegance and spareness. I’m a fan of a one category ontology that collapses the distinction between particular and property, (...) replacing it with a single fundamental category of intrinsic characters or qualities. We may describe the qualities as qualitative charactersor as modes, perhaps on the model of Aristotelian qualitative (nonsubstantial) kinds, and I will use the term “properties” interchangeably with “qualities”. The qualities are repeatable and reasonably sparse, although, as I discuss in section 2.6, there are empirical reasons that may suggest, depending on one’s preferred fundamental physical theory, that they include irreducibly intensive qualities. There are no uninstantiated qualities. I also assume that the fundamental qualitative natures are intrinsic, although physics may ultimately suggest that some of them are extrinsic. On my view, matter, concrete objects, abstract objects, and perhaps even spacetime are constructed from mereological fusions of qualities, so the world is simply a vast mixture of qualities, including polyadic properties (i.e., relations). This means that everything there is, including concrete objects like persons or stars, is a quality, a qualitative fusion, or a portion of the extended qualitative fusion that is the worldwhole. I call my view mereological bundle theory. (shrink)

This article clarifies three principles that should guide the development of any cognitive ontology. First, that an adequate cognitive ontology depends essentially on an adequate task ontology; second, that the goal of developing a cognitive ontology is independent of the goal of finding neural implementations of the processes referred to in the ontology; and third, that cognitive ontologies are neutral regarding the metaphysical relationship between cognitive and neural processes.

Abstract. The aim of this paper is first to defend the intuition that truth is grounded in how things are and, second, to argue that this fact is consistent with Minimalism. After having cashed out that intuition in terms of explanatory claims of the form ‘if it is true that p, it is true that p because p’, I set out an argument against Minimalism which is based on the same intuition, and I argue that a strategy the minimalist could (...) adopt to resist the argument, i.e. to deny the correctness of the intuition, is flawed. Then I explain why the intuition is correct and I make some claims concerning the kind of explanations which are involved in it. Now the stage is set up to present the right way for the minimalist to resist the argument. I finally answer some objections. (shrink)

Revised version of chapter in J. N. Mohanty and W. McKenna (eds.), Husserl’s Phenomenology: A Textbook, Lanham: University Press of America, 1989, 29–67. -/- Logic for Husserl is a science of science, a science of what all sciences have in common in their modes of validation. Thus logic deals with universal laws relating to truth, to deduction, to verification and falsification, and with laws relating to theory as such, and to what makes for theoretical unity, both on the side of (...) the propositions of a theory and on the side of the domain of objects to which these propositions refer. This essay presents a systematic overview of Husserl’s views on these matters as put forward in his Logical Investigations. It shows how Husserl’s theory of linguistic meanings as species of mental acts, his formal ontology of part, whole and dependence, his theory of meaning categories, and his theory of categorial intuition combine with his theory of science to form a single whole. Finally, it explores the ways in which Husserl’s ideas on these matters can be put to use in solving problems in the philosophy of language, logic and mathematics in a way which does justice to the role of mental activity in each of these domains while at the same time avoiding the pitfalls of psychologism. (shrink)

The term ‘formal ontology’ was first used by the philosopher Edmund Husserl in his Logical Investigations to signify the study of those formal structures and relations – above all relations of part and whole – which are exemplified in the subject-matters of the different material sciences. We follow Husserl in presenting the basic concepts of formal ontology as falling into three groups: the theory of part and whole, the theory of dependence, and the theory of boundary, continuity and contact. (...) These basic concepts are presented in relation to the problem of providing an account of the formal ontology of the mesoscopic realm of everyday experience, and specifically of providing an account of the concept of individual substance. (shrink)

This article examines one way in which a fiction can carry ontological commitments. The ontological commitments that the article examines arise in cases where there are norms governing discourse about items in a fiction that cannot be accounted for by reference to the contents of the sentences that constitute a canonical telling of that fiction. In such cases, a fiction may depend for its contents on the real-world properties of real-world items, and the fiction may, in that sense, (...) be ontologically committed. Having outlined a way of gauging the ontological commitments of a fiction, the article concludes by illustrating the way in which these considerations can be put to work in assessing the prospects of using fictionalism as a tactic for understanding the metaphysics of modality without incurring a commitment to the real existence of merely possible worlds. (shrink)

The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist theories of part and whole, and above all the mereology of Leniewski, can be generalised to embrace not only relations between concrete objects and object-pieces, but also relations between (...) what we shall call dependent parts or moments. A two-dimensional formal language is canvassed for the resultant ontological theory, a language which owes more to the tradition of Euler, Boole and Venn than to the quantifier-centred languages which have predominated amongst analytic philosophers since the time of Frege and Russell. Analytic philosophical arguments against moments, and against the entire project of a formal ontology, are considered and rejected. The paper concludes with a brief account of some applications of the theory presented. (shrink)

A traditional conception of ontology takes existence to be its proprietary subject matter—ontology is the study of what exists (§ 1). Recently, Jonathan Schaffer has argued that ontology is better thought of rather as the study of what is basic or fundamental in reality (§ 2). My goal here is twofold. First, I want to argue that while Schaffer’s characterization is quite plausible for some ontological questions, for others it is not (§ 3). More importantly, I want to offer (...) a unified characterization of ontology that covers both existence and fundamentality questions (§§ 4-5). (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)

This paper examines the need for static dispositions within the basic ontology of the powers view of properties. To lend some focus, Neil Williams’s well developed case for static dispositions is considered. While his arguments are not necessarily intended to address fundamental ontology, they still provide a useful starting point, a springboard for diving into the deeper metaphysical waters of the dispositionalist approach. Within that ontological context, this paper contends that Williams’s arguments fail to establish the need to posit (...) static dispositions, or at least any sort not already well appreciated by advocates of the powers view. The paper then proceeds to suggest an alternative motivation for positing static dispositions, the success of which depends greatly on which ontological approach to objects is paired with the powers view. (shrink)

"Ontology" focuses on three ways ground and ontology are said to relate. One way involves ground's ability to provide a safe and sane way of admitting certain kinds of things in our theories. Another way involves ground's ability to show how we should measure ontological simplicity. And a third way involves ground's ability to restrict what things or kinds of things can depend on other things or kinds.

The ontology of marketing, particularly the question of what products and brands are, is still largely unexplored. The ontological status of brands hinges on their relationship with products. Idealists about brands see perceptual or cognitive acts of consumers grouped under the heading ‘brand awareness’ or ‘brand image’ as constitutive for the existence of brands so that, in their view, tools of the marketing mix can influence relevant mental dispositions and attitudes. Brand realists, on the other hand, reject the view (...) of brands as mere marks or names and interpret them as emergent products with properties that afford branding in the sense of Gibson’s ecological psychology. Brand strength is a function of the degree to which brands occupy defensible niches in product space. Branding as a process involves changing external or internal boundaries of products. Several arguments are proposed in favor of brand realism. The fragments of an ontology of marketing are developed in a broadly Aristotelian framework. Brand realism has significant implications for a new understanding of issues ranging from the effects of advertising to financial brand valuation, the nature of trademarks, and marketing strategy in general. It permits one to treat brand equity as a real phenomenon not dependent on associations, attitudinal states such as brand loyalty, or spurious constructs such as brand character or personality. (shrink)

In this century technology, production, and their consequent environmental impact have advanced to the point where unrectifiable and uncontroIlable global imbalances may emerge. Hence, decisions made by existing human beings are capable of dramaticaIly affecting the welfare of future generations. Current controversy about environmental protection involves the question of whether our present obligations to future generations can be grounded in their present rights. Many philosophers would question the very intelligibility of the idea that future individuals might have present rights. They (...) do not see how a non-existing object could be said to have anything, let alone rights. Others see no obstacle to attributing properties to such objects. Thus, the controversy about the rights of future individuals shifted to a different, that is, ontological level. What is the proper method for resolving conflicts on this “deeper” level? This essay has two inter-dependent goals: to suggest and assess a testing procedure for ontological claims, through the use of an example of conflicting ontological theses; and to illuminate the concept of a right, through a discussion of the most general features of the requirements for the possible possession of rights. (shrink)

We articulate a distinction between ontology, understood as involving existence questions, and metaphysics, understood as either providing for metaphysical profiles of entities or else as dealing with fundamentality and/or grounding and dependence questions. The distinction, we argue, allows a better understanding of the roles of metaontology and metametaphysics when it comes to discussing the relations between ontology and science on the one hand, and metaphysics and science on the other. We argue that while ontology, as understood in this paper, (...) may have reasonable perspectives for naturalization, given its relation to science, the same cannot be said for metaphysics, given that it is typically understood as an additional theoretical layer over science, not participating in the scientific investigation. That may result either in skepticism over metaphysics, or else on accepting that metaphysics is an autonomous branch of investigation, depending on one’s concern for metaphysics. (shrink)