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)

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.

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)

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)

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)

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)

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)

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)

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)

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)

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)

Most philosophers treat ontological dependence and metaphysical dependence as distinct relations. A number of key differences between the two relations are usually cited in support of this claim: ontological dependence's unique connection to existence, differing respective connections to metaphysical necessitation, and a divergence in their formal features. Alongside reshaping some of the examples used to maintain the distinction between the two, I argue that the additional resources offered by the increased attention the notion of grounding (...) has received in recent years potentially offer us a way to unite the two relations, promising the attendant benefits parsimony offers, as a result. (shrink)

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)

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

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Discussions on the alleged methodological specificity of social knowledge are fueled to not the least extent by a kind of retarded position of the latter against technological advancements of natural and information science based on exact methods and formal or quantitative languages. It is more or less obvious that applicability of exact scientific methods to social disciplines is highly dependent on a chosen conception of social reality, i. e., on social ontology. In the article, the author critically approaches the (...) class='Hi'>ontological views of Tony Lawson and proposes a computational view on social ontology that is supposed to eliminate some internal contradictions of Lawson's realist conception. (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)

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)

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)

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)

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.

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)

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)

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.

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.

We can attend to the logic of Anselm's ontological argument, and amuse ourselves for a few hours unraveling its convoluted word-play, or we can seek to look beyond the flawed logic, to the search for God it expresses. From the perspective of this second approach the Ontological Argument might be seen as more than a mere argument - indeed, as something of a contemplative exercise. One can see in the argument a tantalizing attempt to capture in logical form (...) the devotee’s experience of the presence of God in the contemplation of God. It is a peculiarity of the argument that it can seem hopelessly silly or richly evocative depending upon which of these approaches one takes. In this essay I examine the flawed logic of the Ontological Argument, but then attempt to reflect upon the contemplative experience that may underlie it. (shrink)

The current resurgence of interest in cognition and in the nature of cognitive processing has brought with it also a renewed interest in the early work of Husserl, which contains one of the most sustained attempts to come to grips with the problems of logic from a cognitive point of view. Logic, for Husserl, is a theory of science; but it is a theory which takes seriously the idea that scientific theories are constituted by the mental acts of cognitive subjects. (...) The present essay begins with an exposition of Husserl's act-based conception of what a science is, and goes on to consider his account of the role of linguistic meanings, of the ontology of scientific objects, and of evidence and truth. The essay concentrates almost exclusively on the Logical Investigations of 1900/01. This is not only because this work, which is surely Husserl's single most important masterpiece, has been overshadowed first of all by his Ideas I and then later by the Crisis. It is also because the Investigations contain, in a peculiarly clear and pregnant form, a whole panoply of ideas on logic and cognitive theory which either simply disappeared in Husserl's own later writings or became obfuscated by an admixture of that great mystery which is 'transcendental phenomenology'. (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)

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)

Discussion of reductive and non-reductive physicalism formulated in a priority monist framework.

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)

Foundational relations play an important role in the ontological foundations of conceptual modeling. Their investigation has been theoretically addressed in philosophical/ontological theories, and empirically offered in foundational ontologies (FOs). FOs are comprehensive theories that model the world as top-level entities and relations. Empirically, for modelers aiming to use foundational relations without an urge for entity types, FOs seem to be complex to comprehend, comply with, and integrate in practice. And since the practice of these relations is critical for (...) conceptual modeling tasks, we present an approach that builds a well-founded entity-type free relations theory within a first-order-logic formalization, besides large complex FOs. The theory contributes to a minimal set of foundational ontological relations (FORT) by importing extant theories (mereotopology and location) and (re-)formalizing other relations (dependence, membership, constitution, and entity-location), while no FO has compromised this set. (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)

Recent debates about mathematical ontology are guided by the view that Platonism's prospects depend on mathematics' explanatory role in science. If mathematics plays an explanatory role, and in the right kind of way, this carries ontological commitment to mathematical objects. Conversely, the assumption goes, if mathematics merely plays a representational role then our world-oriented uses of mathematics fail to commit us to mathematical objects. I argue that it is a mistake to think that mathematical representation is necessarily ontologically innocent (...) and that there is an argument from mathematics' representational capacity to Platonism. Given that it is common ground between the Platonist and nominalist that mathematics plays a representational role in science, this representationalist argument is to be preferred over the explanatory, or enhanced, indispensability argument. (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)