Online research in philosophy

I describe an account of ontological categories which does justice to the facts that not all categories are ontological categories and that ontological categories can stand in containment relations. The account sorts objects into different categories in the same way in which grammar sorts expressions . It then identifies the ontological categories with those which play a certain role in the systematization of collections of categories. The paper concludes by (...) noting that on my account what ontological categories there are is partially interest-relative, and that furthermore no object can belong essentially to its ontological category. (shrink)

There have been attempts to get some logic out of belief dynamics, i.e. attempts to define the constants of propositional logic in terms of functions from sets of beliefs to sets of beliefs. It is interesting to see whether something similar can be done for ontological categories, i.e. ontological constants. The theory presented here will be a (modest) expansion of belief dynamics: it will not only incorporate beliefs, but also parts of beliefs, so called belief fragments. On (...) the basis of this we will give a belief-dynamical account of the ontological categories of states of affairs, individuals, properties of arbitrary adicities and properties of arbitrary orders. (shrink)

The concept of an ontological category is central to metaphysics. Metaphysicians argue about which category of existence an object should be assigned to, whether one category can be reduced to another one, or whether there might be different equally adequate systems of categorization. Answers to these questions presuppose a clear understanding of what precisely an ontological category is, and Jan Westerhoff now provides the first in-depth analysis. After examining a variety of attempted definitions, he proceeds to argue for (...) a new understanding of ontological categories, according to which they are systematizations of our knowledge of the world rather than essential characteristics of the world itself. Metaphysicians will find his work highly stimulating. (shrink)

I shall compare two views of legal concepts: as nodes in inferential nets and as categories in an ontology (a conceptual architecture). Firstly, I shall introduce the inferential approach, consider its implications, and distinguish the mere possession of an inferentially defined concept from the belief in the concept’s applicability, which also involves the acceptance of the concept’s constitutive inferences. For making this distinction, the inferential and eliminative analysis of legal concepts proposed by Alf Ross will be connected to the (...) views on theoretical concepts in science advanced by Frank Ramsey and Rudolf Carnap. Consequently, the mere comprehension of a legal concept will be distinguished from the application of the concept to a particular legal system, since application presupposes a doctrinal commitment, namely, the belief that the inferences constituting the concept hold in that system. Then, I shall consider how concepts can be characterised by defining the corresponding terms and placing them within an ontology. Finally, I shall argue that there is a tension between the inferential and the ontological approach, but that both need to be taken into account, to capture the meaning and the cognitive function of legal concepts. (shrink)

General Ontological Language (GOL) is a formal framework for representing and building ontologies. The purpose of GOL is to provide a system of top-level ontologies which can be used as a basis for building domain-specific ontologies. The present paper gives an overview about the basic categories of the GOL-ontology. GOL is part of the work of the research group Ontologies in Medicine (Onto-Med) at the University of Leipzig which is based on the collaborative work of the Institute of (...) Medical Informatics (IMISE) and the Institute for Computer Science (IfI). It represents work in progress toward a proposal for an integrated family of top-level ontologies and will be applied to several fields of medicine, in particular to the field of Clinical Trials. (shrink)

ONTOLOGY This book is a book about the world. I am concerned with ontology, not merely with language. Many ontological treatises concentrate largely on the ...

This paper reports the results of a series of experiments designed to establish how non-expert subjects conceptualize geospatial phenomena. Subjects were asked to give examples of geographical categories in response to a series of differently phrased elicitations. The results yield an ontology of geographical categories—a catalogue of the prime geospatial concepts and categories shared in common by human subjects independently of their exposure to scientific geography. When combined with nouns such as feature and object, the adjective geographic (...) elicited almost exclusively elements of the physical environment of geographical scale or size, such as mountain, lake and river. The phrase things that could be portrayed on a map, on the other hand, produced many geographical scale artefacts (roads, cities, etc.) and fiat objects (states, countries, etc.), as well as some physical feature types. These data reveal considerable mismatch as between the meanings assigned to the terms ‘geography’ and ‘geographic’ by scientific geographers and by ordinary subjects, so that scientific geographers are not in fact studying geographical phenomena as such phenomena are conceptualized by naive subjects. The data suggest, rather, a special role in determining the subject-matter of scientific geography for the concept of what can be portrayed on a map. This work has implications for work on usability and interoperability in geographical information science, and it throws light also on subtle and hitherto unexplored ways in which ontological terms such as ‘object’, ‘entity’ and ‘feature’ interact with geographical concepts. (shrink)

(No abstract is available for this citation).

Although a considerable degree of precision has been introduced both into the formulation and the discussion of ontological theories by the use of formal methods there is still a remarkable indefiniteness about foundational issues. In particular it is not clear what an ontological category is and why we regard something as an ontological category. This is amazing given that the notion of ontological category is in fact the most basic of the whole of ontology: it is (...) what this discipline is about. (shrink)

Much recent work on Aristotle's Categories assumes that there is an ontological theory presented in that work and tries to reconstruct it on the basis of the slender evidence in the book. I claim that this is misguided. Using a distinction made by G.E.L. Owen between theory and the "phaenomena", I argue that the Categories is mainly concerned with setting out the phenomena -- the intuitions that any ontology must explain. This thesis has consequences for the interpretation (...) of Aristotle's ontological writings. I explore some of these. (shrink)

Roderick Chisholm has been for many years one of the most important and influential philosophers contributing to metaphysics, philosophy of mind, and epistemology. This book can be viewed as a summation of his views on an enormous range of topics in metaphysics and epistemology. Yet it is written in the terse, lucid, unpretentious style that has become a hallmark of Chisholm's work. The book is an original treatise designed to defend an original, non-Aristotelian theory of categories. Chisholm argues that (...) there are necessary things and contingent things; necessary things being things that are not capable of coming into being or passing away. He defends the argument from design, and thus includes the category of necessary substance (God). Further contentions of the essay are that attributes are also necessary beings, but not necessary substances, and that human beings are contingent substances but may not be material substances. (shrink)

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

This is a translation of an early essay by the German philosopher Nicolai Hartmann (1882–1950). In this 1923 essay Hartmann presents many of the fundamental ideas of his new critical ontology. He summarizes some of the main points of his critique of neo-Kantian epistemology, and provides the point of departure for his new approach in an extensive criticism of the errors of the classical ontological tradition. Some of these errors concern the definition of an ontological category or principle, (...) and others concern the relations among categories themselves. The outline for the new ontology is sketched through the correctives Hartmann appends to the treatment of each error, prefiguring his mature ontological system. (shrink)

The somewhat old-fashioned concept of philosophical categories is revived and put to work in automated ontology building. We describe a project harvesting knowledge from Wikipedia’s category network in which the principled ontological structure of Cyc was leveraged to furnish an extra layer of accuracy-checking over and above more usual corrections which draw on automated measures of semantic relatedness.

This article defends linguistic descent in contrast to the possibility of linguistic ascent or the formal mode in metaphysics. We can go both ways, but metaphysics metaphysically defined presupposes metaphysics conceptualstically defined, which presupposes metaphysicas ontologially defined. Predicates implie abstract concepts (categories in metaphysics), and abstract oncepts presuppose the concrete qualities from which they are abstracted. A distinction is made between any quality and that which has the quality. This article contains a refutation of Kant on the ontological (...) argument. Being, conceived as instantiation, is a predicate once we posit universal properties instantiated by whatever is. The article, in the author's subequent work, leads to an explicit nominalism which asserts universals only as practical postulates of theoretical reason, i.e., logical discourse. Qualities are unique, not open to multiple instantiation. (shrink)

A close examination of the literature on ontology may strike one with roughly two distinct senses of this word. According to the first of them, which we shall call traditional ontology , ontology is characterized as the a priori study of various “ontological categories”. In a second sense, which may be called naturalized ontology , ontology relies on our best scientific theories and from them it tries to derive the ultimate furniture of the world. From a methodological point (...) of view these two senses of ontology are very far away. Here, we discuss a possible relationship between these senses and argue that they may be made compatible and complement each other. We also examine how logic, understood as a linguistic device dealing with the conceptual framework of a theory and its basic inference patterns must be taken into account in this kind of study. The idea guiding our proposal may be put as follows: naturalized ontology checks for the applicability of the ontological categories proposed by traditional ontology and give substantial feedback for it. The adequate expression of some of the resulting ontological frameworks may require a different logic. We conclude with a discussion of the case of orthodox quantum mechanics, arguing that this theory exemplifies the kind of relationship between the two senses of ontology. We also argue that the view proposed here may throw some light in ontological questions concerning this theory. (shrink)

The paper first distinguishes ontological priority from epistemological priority and unilateral ontic dependence. Then explications of ontological priority are offered in terms of the reducibility of the actual existence or identity of entities in one ontological category to the actual existence or identity of entities in another. These explications lead to incompatible orders of ontological priority for individuals, properties of individuals and states of affairs. Common to those orders is, however, that the primacy of the category (...) of individuals is abandoned. This primacy is challenged in the paper also by epistemological arguments, and an onto-anthropological explanation is offered for the very common but false idea that individuals are ontological prior to all other kinds of entities. Finally ontological priority is discussed with respect to a fully specified system of ontological categories. (shrink)

This book revives a neglected but important topic in philosophy: the nature of substance. The belief that there are individual substances, for example, material objects and persons, is at the core of our common-sense view of the world yet many metaphysicians deny the very coherence of the concept of substance. The authors develop a novel account of what an individual substance is in terms of independence from other beings. In the process many other important ontological categories are explored: (...) property, event, space, time. The authors show why alternative theories of substance fail, and go on to defend the intelligibility (though not the existence) of interacting spiritual and material substances. (shrink)

Ontological categories form a network of ties of dependence. In this regard, the richest source of distinctions consists in the medieval discussion on the divisions of being. After a preliminary examination of some of those divisions, the paper pays attention to Roman Ingarden’s criteria for classifying the various types of ontological dependence. The following are the main conclusions that can be drawn from this exercise. Ingarden suggests that (1) the most general principles framing the categories of (...) particulars are based on couples of mutually opposed principles; (2) the most general among these couples of principles appear to be based on three different types of modalities; (3) subsequent couples of opposed principles do not seem to require the introduction of further types of modalities, and (4) the overall typology shows that there are three spheres of being, respectively composed of ideal entities, real entities and intentional entities as contents of psychological acts. (shrink)

What primitive concepts does formal ontology require? Forsaking as too indirect the linguistic way of discerning the categories of being, this paper considers what primitives might be required for representing things in themselves (noumena) and representations of them in a thoroughly crafted large autonomous multi-purpose database. Leaving logical concepts and material ontology aside, the resulting 32 categories in 13 families range from the obvious (identity/difference, existence/non-existence) through the fairly obvious (part/whole, one/many, sequential order) and the surprisingly familiar (illocutionary (...) modes, mass/count, indexical/descriptive) to the controversial (moment/fundament, transparent/opaque) and the arcane (modes of class delimitation, taxonomic rank, aspects of designators). Any such list is speculative and tentative, but the test of this one will be in its implementation, a new departure for philosophical category theories. (shrink)

Two hundred and sixty-three subjects each gave examples for one of five geographic categories: geographic features, geographic objects, geographic concepts, something geographic, and something that could be portrayed on a map. The frequencies of various responses were significantly different, indicating that the basic ontological terms feature, object, etc., are not interchangeable but carry different meanings when combined with adjectives indicating geographic or mappable. For all of the test phrases involving geographic, responses were predominantly natural features such as mountain, (...) river, lake, ocean, hill. Artificial geographic features such as town and city were listed hardly at all for geographic categories, an outcome that contrasts sharply with the disciplinary self-understanding of academic geography. However, geographic artifacts and fiat objects, such as roads, cities, boundaries, countries, and states, were frequently listed by the subjects responding to the phrase something that could be portrayed on a map. In this paper, we present the results of these experiments in visual form, and provide interpretations and implications for further research. (shrink)

A classification of models of reduction into three categories — theory reductionism, explanatory reductionism, and constitutive reductionism — is presented. It is shown that this classification helps clarify the relations between various explications of reduction that have been offered in the past, especially if a distinction is maintained between the various epistemological and ontological issues that arise. A relatively new model of explanatory reduction, one that emphasizes that reduction is the explanation of a whole in terms of its (...) parts is also presented in detail. Finally, the classification is used to clarify the debate over reductionism in molecular biology. It is argued there that while no model from the category of theory reduction might be applicable in that case, models of explanatory reduction might yet capture the structure of the relevant explanations. (shrink)

Individual substances are the ground of Aristotle’s ontology. Taking a liberal approach to existence, Aristotle accepts among existents entities in such categories other than substance as quality, quantity and relation; and, within each category, individuals and universals. As I will argue, individual substances are ontologically independent from all these other entities, while all other entities are ontologically dependent on individual substances. The association of substance with independence has a long history and several contemporary metaphysicians have pursued the connection. In (...) this chapter, I will discuss the intersection of these notions of substance and ontological dependence in Aristotle. I will canvass a few contemporary formulations of ontological dependence and discuss some of the interpretative difficulties in ascribing any of these formulations to Aristotle’s characterization of individual substances as ontologically independent. My aim is not to resolve fully these difficulties but to locate the topics of substance and independence relative to certain other controversies in Aristotle studies. However, I will sketch a position. In particular, elsewhere I have speculated that Aristotle is both a primitivist and a pluralist with respect to ontological dependence, and I will develop this line of interpretation a bit further later in the chapter. (shrink)

John Hick's "pluralistic hypothesis" of religion essays a comprehensive vision of religious diversity and its attendant soteriological, epistemological, and ontological implications. At the heart of Hick's proposal is the belief in the transcendental unity and soteriological identity of all religions. While coherent and compelling, Hick's model militates against those traditions that do not possess an ultimate noumenal referent that undergirds the phenomenal responses of culturally conditioned traditions. One of those traditions, namely Sōtō Zen Buddhism, at once defies Hick's (...) class='Hi'>categories and presses for an alternative understanding of the epistemological, metaphysical, and soteriological issues. (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)

In this paper, I present a new reading of Simone de Beauvoir’s first major work, L’Invitée ( She Came to Stay ), in order to reveal the text as a vital place of origin for feminist phenomenological philosophy. My reading of L’Invitée departs from most scholarly interpretations of the text in three notable respects: (1) it is inclusive of the “two unpublished chapters” that were excised from the original manuscript at the publisher’s request, (2) it takes seriously Beauvoir’s claim that (...) phenomenological philosophy is often better expressed in novels than essays or treatises, and (3) it views the novel’s main characters, Françoise and Xavière, as one woman who has multiple, contradictory, excessive selves. Thus approached, L’Invitée provides us with a thick description of one woman’s embodied consciousness and thereby shows us with specificity what a consciousness whose underlying structures reflect sexual difference looks like. This consciousness not only experiences itself as being both gendered, categorized, disciplined, and defined and in excess of these genders, categories, disciplines, and definitions at the same time, but also experiences its own self-relation through the presence of multiple selves who are each simultaneously attracted to and negating of the other. As such, the defining features of this consciousness involve experiences that I have respectively labeled “ontological multiplicity” and “auto-jealousy.”. (shrink)

When Russell argued for his ontological convictions, for instance that there are negative facts or that there are universals, he expressed himself in English. But Wittgenstein must have noticed that from the point of view of Russell's ideal language these ontological statements appear to be pseudo-propositions. He believed therefore that what these statements pretend to say, could not really be said but only shown. Carnap discovered a way out of this mutism: what in the material mode of speech (...) of the object language looks like a pseudo-proposition can be translated into a perfectly meaningful proposition in the formal mode of speech (in the metalinguistic mode of speech of the logical syntax of language). But is this ascent into the metalanguage necessary? Taking advantage of Lésniewski's logical system there exists another way outwe can expand the number of categories of our ideal language. But Leniewski's formulas raise another profound problem, the problem of semantical muteness (cf. W. G. Lycan Semantic Competence and Funny Functors Monist 64 (1979), 209–222). (shrink)

This paper outlines some of the new epistemological and ontological assumptions of contemporary technoscience thereby reframing the question of an epochal break. Important aspects are the question of a new techno-rationality, but also the constitution of a ‘New World Order Inc.’, with its new ‘politics of life itself’, the reconfiguration of categories such as race, class and gender in technoscience, as well as the amalgamation of everyday life, technoscience and culture. Given the difficulties of ‘proving’ a new episteme (...) (or even epoch), I change perspective by reflecting on the epistemological vantage point from which the interpretation of technoscience as a new episteme or epoch becomes (im)plausible—confronting traditional approaches of philosophy and history of science and technology assessment (TA) with interventional approaches, such as postcolonial and feminist cultural studies of technoscience. (shrink)

This paper analyzes and compares the doctrines of categories of Aristotle, Kant and Hegel, each of which is first discussed separately. The paper explains the essential double perspective of the problem, showing how a logico-linguistic analysis of the form of rational discourse serves for them as an important clue to ontological problems. Although Aristotle and Kant’s doctrines differ significantly, they both endorse a kind of isomorphism between language/thought and reality. By contrast, Hegel, who takes a critical attitude toward (...) the capability of human language and discursive thinking, rejects the possibility of deriving the structure of reality from the forms of predication or judgment. Nevertheless, the forms of judgment do play an equally crucial role in Hegel’s doctrine, though in a very different way from his predecessors. It is the structural “deficiency” of the judgmental form that turns out to be the driving force for the dialectical movement of the Concept. By shifting the primary concern from the categories themselves to the transitions between them, Hegel opens up the possibility of a dynamic system of categories. (shrink)

After a short sketch of Lowe’s account of his four basic categories, I discuss his theory of formal ontological relations and how Lowe wants to account for dispositional predications. I argue that on the ontic level Lowe is a pan-categoricalist, while he is a language dualist and an exemplification dualist with regard to the dispositional/categorical distinction. I argue that Lowe does not present an adequate account of disposition. From an Aristotelian point of view, Lowe conflates dispositional predication with (...) h�s epi to poly statements about what is normally or mostly the case. (shrink)

In her book Fiction and Metaphysics (1999) Amie Thomasson, influenced by the work of Roman Ingarden, develops a phenomenological approach to fictional entities in order to explain how non-fictional entities can be referred to intrafictionally and transfictionally, for example in the context of literary interpretation. As our starting point we take Thomasson’s realist theory of literary fictional objects, according to which such objects actually exist, albeit as abstract and artifactual entities. Thomasson’s approach relies heavily on the notion of ontological (...) dependence, but its precise semantics has not yet been developed. Moreover, the modal approach to the notion of ontological dependence underlying the Artifactual Theory has recently been contested by several scholars. The main aims of this paper are (i) to develop a semantic approach to the notion of ontological dependence in the context of the Artifactual Theory of fiction, and in so doing bridge a number of philosophical and logical gaps; (ii) to generalize Thomasson’s categorial theory of ontological dependence by reconstructing ontological categories of entities purely in terms of different structures of ontological dependence, rather than in terms of the basic kinds of entities the categorical entities depend on. (shrink)

After introductory reminder of and comments on Gödel’s ontological proof, we discuss the collapse of modalities, which is provable in Gödel’s ontological system GO. We argue that Gödel’s texts confirm modal collapse as intended consequence of his ontological system. Further, we aim to show that modal collapse properly fits into Gödel’s philosophical views, especially into his ontology of separation and union of force and fact, as well as into his cosmological theory of the nonobjectivity of the lapse (...) of time. As a result, modal collapse should not be conceived in Gödel so much as a deficit, but rather as a kind of the rise of modalities to the “perfect” being. We further show that, in accordance with Gödel’s ontology, the concepts of modality and time should be derived in terms of the “fundamental philosophical concept” of cause. To give an example of how a formalization of such causative Gödelian ontology and ontological proof might look, we propose the transformation of GO into a kind of causally re-interpreted justification logic. (shrink)

In his doctoral dissertation Von der mannigfachen Bedeutung des Seienden nach Aristoteles Brentano tried to show that (against criticism of this) one could indeed give a principle defense of Aristotle's table of categories as a coherent system. In later texts Brentano appears sharply critical of Aristotle, mainly in respect to Aristotle's mereology, or theory of part and whole, and to his theory of substance and accident. It is argued that Brentano hadn't observed that Aristotle's belief that there are as (...) many predicative senses of 'be' as there are categories of being is based not on his mereology but on his theory of definition. Overlooking this Brentano was led to far reaching inadequate ontological consequences. (shrink)

Arguably one of the most fundamental phase shifts that occurred in the intellectual history of Western culture involved the ontological reduction of secondary qualities to primary qualities. To say the least, this reduction worked to undermine the foundations undergirding Aristotelian thought in support of a scientific view of the world based strictly on an examination of the real—primary— qualities of things. In this essay, I identify the so-called “Causal Argument” for a reductive view of secondary qualities and seek to (...) deflect this challenge by deriving some plausible consequences that support a non-reductive view of secondary qualities from an Aristotelian view (via the philosophical commentary of Thomas Aquinas). Specifically, my argument has two facets. First, I show that Aristotle’s view both implies recognition of the extramental existence of secondary qualities and is a prima facia natural view to take regarding the ontology of secondary qualities. Second, I show that the Causal Argument, which is thought to undermine a natural view of secondary qualities as real things, loses its bite when one examines perception in light the ontological relationship among the categories of quality, quantity and substance. (shrink)

This collection explores the structure of consciousness and its place in the world, or inversely the structure of the world and the place of consciousness in it. Amongst the topics covered are: the phenomenological aspects of experience (inner awareness, self-awareness), dependencies between experience and the world (the role of the body in experience, the role of culturally formed background ideas) and the basic ontological categories found in the world at large (unity, state-of-affairs, connectedness, dependence and intentionality). Developing ideas (...) drawn from historical figures such as Descartes, Husserl, Aristotle, and Whitehead, the essays together demonstrate the interdependence of ontology and phenomenology and its significance for the philosophy of mind. (shrink)

There are two different ways of understanding the notion of ‘ontological commitment’. A question about ‘what is said to be’ by a theory or ‘what a theory says there is’ deals with ‘explicit’ commitment; a question about the ontological costs or preconditions of the truth of a theory concerns ‘implicit’ commitment. I defend a conception of ontological commitment as implicit commitment, and argue that existentially quantified idioms in natural language are implicitly, but not explicitly, committing. I use (...) the distinction between the two kinds of ontological commitment to diagnose a flaw in a widely used argument to the effect that existential quantification is not ontologically committing. (shrink)

This paper provides an account of Kant's categories of freedom, explaining how they fit together and what role they are supposed to play. My interpretation places particular emphasis on the structural features that the table of the categories of freedom shares with the table of judgements and the table of categories laid out by Kant in the Critique of Pure Reason. In this way we can identify two interpretative constraints, namely (i) that the categories falling under (...) each heading must form a synthetic unity whereby the third one derives from the combination of the other two. and (ii) that the first two categories falling under each heading must be morally undetermined and sensibly conditioned, while the third category is sensibly unconditioned and determined only by the moral law. (shrink)

Many philosophers use “physicalism” and “naturalism” interchangeably. In this paper, I will distinguish ontological naturalism from physicalism. While broad versions of physicalism are compatible with naturalism, naturalism doesn't have to be committed to strong versions of physical reductionism, so it cannot be defined as equivalent to it. Instead of relying on the notion of ideal physics, naturalism can refer to the notion of ideal natural science that doesn't imply unity of science. The notion of ideal natural science, as well (...) as the notion of ideal physics, will be vindicated. I will shortly explicate the notion of ideal natural science, and define ontological naturalism based on it. (shrink)

According to the familiar Quinean understanding of ontological commitment, (1) one undertakes ontological commitments only via theoretical regimentations, and (2) ontological commitments are to be identified with the domain of a theory’s quantifiers. Jody Azzouni accepts (1), but rejects (2). Azzouni accepts (1) because he believes that no vernacular expression carries ontological commitments. He rejects (2) by locating a theory’s commitments with the extension of an existence predicate. I argue that Azzouni’s two theses undermine each other. (...) If ontological commitments follow from predications of existence, then ontological commitments can be expressed in the vernacular via negative existential sentences. (shrink)

James Van Cleve has argued that Kant’s Transcendental Deduction of the categories shows, at most, that we must apply the categories to experience. And this falls short of Kant’s aim, which is to show that they must so apply. In this discussion I argue that once we have noted the differences between the first and second editions of the Deduction, this objection is less telling. But Van Cleve’s objection can help illuminate the structure of the B Deduction, and (...) it suggests an interesting reason why the rewriting might have been thought necessary. (shrink)

In this paper, I argue that Kant's famous critique of the Ontological Argument largely begs the question against that argument, and is no better when supplemented by the modern quantificational analysis of "exists." In particular, I argue that the claim, common to Hume and Kant, that conceptual truths can never entail substantive existential claims is false,and thus no ground for rejecting the Ontological Argument.

I argue, without offering what Ameriks has called a 'short argument', that idealism follows already from the constraints that the use of the categories, in particular the categories of quality, places on the conceivability of things in themselves. My claim is that, although it is not only possible but also necessary to think things in themselves, it doesn't follow that by merely thinking we have a full grasp of the nature of things in themselves. For support, I look (...) to a much overlooked chapter in the Critique, the Transcendental Ideal, where Kant discusses what it is for a thing to be a thing-in-itself proper, namely something that is thoroughly determined. I claim that the chief reason why, given Kant's view of determinative judgment, we cannot determine a thing-in-itself is because of two connected reasons: (1) a thing-in-itself is already fully determined and therefore not further determinable and (2) we cannot possibly determine all of the thing's possible determinations. (shrink)

In recent years, the ontological argument and theistic metaphysics have been criticized by philosophers working in both the analytic and continental traditions. Responses to these criticisms have primarily come from philosophers who make use of the traditional, and problematic, concept of God. In this volume, Daniel A. Dombrowski defends the ontological argument against its contemporary critics, but he does so by using a neoclassical or process concept of God, thereby strengthening the case for a contemporary theistic metaphysics. Relying (...) on the thought of Charles Hartshorne, he builds on Hartshorne's crucial distinction between divine existence and divine actuality, which enables neoclassical defenders of the ontological argument to avoid the familiar criticism that the argument moves illegitimately from an abstract concept to concrete reality. His argument, thus, avoids the problems inherent in the traditional concept of God as static. (shrink)

E. J. Lowe, a prominent figure in contemporary metaphysics, sets out and defends his theory of what there is. His four-category ontology is a metaphysical system which recognizes four fundamental categories of beings: substantial and non-substantial particulars and substantial and non-substantial universals. Lowe argues that this system has an explanatory power which is unrivaled by more parsimonious theories and that this counts decisively in its favor. He shows that it provides a powerful explanatory framework for a unified account of (...) causation, dispositions, natural laws, natural necessity and many other related matters, thus constituting a full metaphysical foundation for natural science. (shrink)

This book is a unique contribution to the philosophy of religion. It offers a comprehensive discussion of one of the most famous arguments for the existence of God: the ontological argument. The author provides and analyses a critical taxonomy of those versions of the argument that have been advanced in recent philosophical literature, as well as of those historically important versions found in the work of St Anselm, Descartes, Leibniz, Hegel and others. A central thesis of the book is (...) that ontological arguments have no value in the debate between theists and atheists. There is a detailed review of the literature on the topic (separated from the main body of the text) and a very substantial bibliography, making this volume an indispensable resource for philosophers of religion and others interested in religious studies. (shrink)

The game of life is an excellent framework for metaphysical modeling. It can be used to study ontological categories like space, time, causality, persistence, substance, emergence, and supervenience. It is often said that there are many levels of existence in the game of life. Objects like the glider are said to exist on higher levels. Our goal here is to work out a precise formalization of the thesis that there are various levels of existence in the game of (...) life. To formalize this thesis, we develop a set-theoretic construction of the glider. The method of this construction generalizes to other patterns in the game of life. And it can be extended to more realistic physical systems. The result is a highly general method for the set-theoretical construction of substances. (shrink)

This was an attempt to show what is wrong with Anselm’s ‘Ontological Argument’ for the existence of God. My present view is that Peter Millican has given us a similar, but much better line of attack in his “The One Fatal Flaw….” Paper.

ABSTRACT: A general interpretation and close textual analysis of Kant’s theory of the categories of freedom (or categories of practical reason) in his Critique of Practical Reason. My main concerns in the paper are the following: (1) I show that Kant’s categories of freedom have primarily three functions: as conditions of the possibility for actions (i) to be free, (ii) to be comprehensible as free and (iii) to be morally evaluated. (2) I show that for Kant actions, (...) although qua theoretical objects they are always already constituted by means of the theoretical categories, qua practical objects (objects of reason in its practical use, i.e. objects qua possibly good or bad) they are constituted by means of the categories of freedom; and that it is only in this way that actions, qua phenomena, can be a consequence of freedom, and can be understood and evaluated as such. (English translation in progress.). (shrink)

This is a précis of a forthcoming book which expounds and defends Kant's claim to the derivation of the categories from the principle of apperception in the vein of Klaus Reich.

In his "Ontological proof", Kurt Gödel introduces the notion of a second-order value property, the positive property P. The second axiom of the proof states that for any property φ: If φ is positive, its negation is not positive, and vice versa. I put forward that this concept of positiveness leads into a paradox when we apply it to the following self-reflexive sentences: (A) The truth value of A is not positive; (B) The truth value of B is positive. (...) Given axiom 2, sentences A and B paradoxically cannot be both true or both false, and it is also impossible that one of the sentences is true whereas the other is false. (shrink)

This study of the interpretations of Aristotle's "Categories" in the thirteenth century provides an introduction to some main themes of medieval philosophical ...

I argue that Kant's and Frege's refutations of the ontological argument are more similar than has generally been acknowledged. As I clarify, for both Kant and Frege, to say that something exists is to assert of a concept that it is instantiated. With such an assertion one expresses that there is a particular relation between the instantiating object and a rational subject - a particular mode of presentation for the object in question. By its very nature such a relation (...) cannot be the property of an object and thus cannot be included in the concept of that object. Thus the ontological argument, which takes existence to be a part of the concept of the supreme being, cannot, according to Kant and Frege, succeed. A secondary goal of the paper is to illuminate what I take to be an important affinity between Kant's and Frege's views more generally: that Frege's fundamental distinction between the sense and the referent of a proposition echoes, in an important way, Kant's distinction between concepts and the formal principles for their application to experience. (shrink)

Recently, Terry Horgan and Matjaž Potrč have defended the thesis of ‘existence monism’, according to which the whole cosmos is the only concrete object. Their arguments appeal largely to considerations concerning vagueness. Crucially, they claim that ontological vagueness is impossible, and one key assumption in their defence of this claim is that vagueness always involves ‘sorites-susceptibility’. I aim to challenge both the claim and this assumption. As a consequence, I seek to undermine their defence of existence monism and support (...) a common-sense pluralist ontology of ‘ordinary objects’ as being fully consistent with a thoroughgoing metaphysical realism. (shrink)

This paper describes the processes of cognitive modeling and representation of human expertise for developing an ontology and knowledge base of an expert system. An ontology is an organization and classification of knowledge. Ontological engineering in artificial intelligence (AI) has the practical goal of constructing frameworks for knowledge that allow computational systems to tackle knowledge-intensive problems and supports knowledge sharing and reuse. Ontological engineering is also a process that facilitates construction of the knowledge base of an intelligent system, (...) which can be defined as a computer program that can duplicate problem-solving capabilities of human experts in specific areas. This paper presents the processes of knowledge acquisition, analysis, and representation, which laid the basis for ontology construction. In this case, the processes are applied in ontological engineering for construction of an expert system in the domain of monitoring of a petroleum production and separation facility. The acquired knowledge was also formally represented in two knowledge acquisition tools. (shrink)

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

This paper discusses the proposal made by Lombardi and Labarca (Found Chem 7:125–148, 2005) that internal realism can secure the ontological autonomy of chemistry. I argue that internal realism is not, by itself, sufficient to accomplish this task. The fact that conceptual schemes may differ with respect to their theoretical virtues, and the possibility that the relations between them may be reductive undermine the premise that each conceptual scheme has an equal right to define its own ontology, which is (...) a key premise in Lombardi and Labarca’s proposal. (shrink)

For more than 100 years, anthropologists have collected ethnographic research among communities who assert that the spirits, animal allies, and other entities of the unseen world are “really real,” yet we have historically contextualized this information under the umbrella of cultural relativism rather than taking the veracity of these claims seriously. In the last decade, some anthropologists claim that our discipline has finally undergone an ontological turn, which opens a door for anthropologists to finally take claims of nonhuman sentience (...) seriously under the umbrella of ontological, rather than cultural, relativism. This paper takes issue with ontological relativism as just one more frame for explaining away the stories of other-than-human consciousness that ethnographers report and suggests that there is an urgent need to consider the relevance, rather than the relativism, of other-than-human consciousness. It looks to Michael Harner's work as a welcome alternative to ontological relativism and encourages opening our minds to a reconsideration of what is “really real.”. (shrink)

In his 2010 article, ‘Secular Spirituality and the Logic of Giving Thanks’, John Bishop recalls a striking theme in a recent address by Richard Dawkins in which he appeared to enthusiastically endorse the appropriateness of a ‘naturalised spirituality’ that involved ‘existential gratitude’, and this led him to investigate the notion of a naturalised or secular spirituality with particular reference to Robert Solomon’s Spirituality for the Skeptic (2002). This essay looks to pick up on Bishop’s engagements with both Dawkins and Solomon, (...) but to extend the conversation well beyond them in order to defend the credibility and integrity of secular spirituality in its movement of ontological gratitude. In this way it looks to offer a first sketch of what might be termed a ‘hermeneutics of ontological gratitude’. To this end – and via a distinction between gratitude for existence and life – the essay considers Dawkins’ argument and Solomon’s work in further detail, before turning to consider various other perspectives on the problem including Kenneth Schmitz’s existential Thomist notion of ontological contingency, Hannah Arendt’s concept of primary natality, and Emmanuel Levinas’ sketch of the self in its interiority and economy. My claim is that any serious naturalistic spirituality needs to take into account not only a gratitude for one’s existence per se, but for the whole context of individual and collective being. (shrink)

Translation with notes of Ammonius' Commentary on Aristotle's Categories.

A symmetric monoidal category naturally arises as the mathematical structure that organizes physical systems, processes, and composition thereof, both sequentially and in parallel. This structure admits a purely graphical calculus. This paper is concerned with the encoding of a fixed causal structure within a symmetric monoidal category: causal dependencies will correspond to topological connectedness in the graphical language. We show that correlations, either classical or quantum, force terminality of the tensor unit. We also show that well-definedness of the concept of (...) a global state forces the monoidal product to be only partially defined, which in turn results in a relativistic covariance theorem. Except for these assumptions, at no stage do we assume anything more than purely compositional symmetric-monoidal categorical structure. We cast these two structural results in terms of a mathematical entity, which we call a causal category . We provide methods of constructing causal categories, and we study the consequences of these methods for the general framework of categorical quantum mechanics. (shrink)

This paper aims at discussing the usage by Davidson as to events of Quine's criterion of ontological commitment. According to Davidson, we are ontologically committed to the existence of events as individuals as we employ literally terms such as ‘Caesar’s death’, for instance. Davidson extends this analysis to actions as well, since actions are human events. One of the consequences of this view is that psychology deals with individual events in a non-lawful way. An alternative view is here proposed, (...) based on a complementary criterion, namely ontological density, according to which from the point of view of a given theory, we can always distinguish between events (or phenomena) and individuals (entities) among the overall occurrences described by the theory. Some consequences of this alternative view of psychology as a science dealing lawfully with general human events are also explored here. (shrink)

Proof and perception : the context of the argumentum cartesianum -- Refutations of atheism : ontological arguments in English philosophy, 1652-1705 -- Being and intuition : Malebranche's appropriation of the argument -- An adequate conception : the argument in Spinoza's philosophy -- Ontological arguments in Leibniz and the German enlightenment -- Kant's systematic critique of the ontological argument -- Hegel's reconstruction of the argument.

Our analysis reveals two major types of "Community of Learners" (COL) projects: instrumental and ontological. In instrumental COL, the notion of community is separated from instruction in order to reach some preset endpoints: curricular or otherwise. We notice three main instrumental COL models: relational, instructional, and engagement. Ontological COL redefines learning as an ill-defined, distributed, social, multi-faceted, poly-goal, agency-based, and situated process that integrates all educational aspects. We will consider two ontological COL projects into: narrowly dialogic and (...) polyphonic. (shrink)

This paper argues that there is no possible structural way of drawing a distinction between objects of different types, such as individuals and properties of different adicities and orders. We show first that purely combinatorial information (information about how objects combine to form states of affairs) is not sufficient for doing this. We show that for any set of such combinatorial data there is always more than one way of typing them – that is, there are always several ways of (...) classifying the different constituents of states of affairs as individuals and properties. Therefore, contrary to received ontological opinion, no object is essentially of any specific type. In the second part we argue that taking into account logical information does not help either, since logic presupposes the very distinction we are trying to draw. Furthermore, this distinction is not even essential for logic, since logic can function perfectly well without it. We conclude that certain distinctions which have been traditionally regarded as ontologically basic (such as that between individuals and properties) cannot be as fundamental as is often supposed. (shrink)

The paper relates the basic ontological categories defined by Roman Ingarden to an engineering model of function known by the name of Functional Basis. The intended aim of this exercise in applied philosophy is to make this model more consistent and outline some possible extensions thereof.

I consider the field of aesthetics to be at its most productive and engaging when adopting a broadly philosophically informative approach to its core issues (e.g., shaping and testing putative art theoretic commitments against the relevant standard models employed in philosophy of language, metaphysics, and philosophy of mind) and to be at its most impotent and bewildering when cultivating a philosophically insular character (e.g., selecting interpretative, ontological, or conceptual models solely for fit with pre-fixed art theoretic commitments). For example, (...) when philosophical aesthetics tends toward insularity, we shouldn’t be surprised to find standard art-ontological categories incongruous with those standardly employed in contemporary metaphysics. Of course, when contemporary metaphysics tends to ignore aesthetic and art theoretic concerns, perhaps we likewise shouldn’t be surprised to find the climate of contemporary metaphysics inhospitable for a theory of art. While this may seem to suggest at least a prima facie tension between our basic art theoretic commitments considered from within philosophical aesthetics and our standard ontological commitments considered from without, I think any perceived tension or antagonism largely due to metaphysicians and aestheticians (at least implicitly) assuming there to be but two available methodological positions with respect to the relationship between contemporary metaphysics and philosophical aesthetics (in the relevant overlap areas). I call these two opposing views the Deference View and the Independence View. I argue that either view looks to lead to what I call the Paradox of Standards. (shrink)

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes and the enduring entities that participate therein. For this purpose we introduce the notion a directly depicting ontology. Directly depicting ontologies are based on relatively simple languages and fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and employ distinct though compatible systems of categories. A SNAP (snapshot) ontology comprehends enduring (...) entities such as organisms, geographic features, or qualities as they exist at some given moment of time. A SPAN ontology comprehends perduring entities such as processes and their parts and aggregates as they unfold themselves through some temporal interval. We give an axiomatic account of the theory of directly depicting ontologies and of the core parts of the metaontological fragment within which they are embedded. (shrink)

The Ontological Square is a categorial scheme that combines two metaphysical distinctions: that between types (or universals ) and tokens (or particulars ) on the one hand, and that between characters (or features ) and their substrates (or bearers ) on the other hand. The resulting four-fold classification of things comprises particular substrates, called substances , universal substrates, called kinds , particular characters, called modes or moments , and universal characters, called attributes . Things are joined together in facts (...) by primitive ontological ties or nexus . This article describes a logic that is meant to capture the basic intuitions behind the Ontological Square. Given a minimal correspondence between atomic logical form and ontological structure, the commitment to nexus as a distinct ontological category entails a rehabilitation of copulae as ties of predication. Thus, the Logic of the Ontological Square is a copula calculus rather than a predicate calculus; its soundness and completeness can be established with respect to a model akin to a so-called first-order semantics for standard second-order logic. (shrink)

We propose category theory, the mathematical theory of structure, as a vehicle for defining ontologies in an unambiguous language with analytical and constructive features. Specifically, we apply categorical logic and model theory, based upon viewing an ontology as a sub-category of a category of theories expressed in a formal logic. In addition to providing mathematical rigor, this approach has several advantages. It allows the incremental analysis of ontologies by basing them in an interconnected hierarchy of theories, with an operation on (...) the hierarchy that expresses the formation of complex theories from simple theories that express first principles. Another operation forms abstractions expressing the shared concepts in an array of theories. The use of categorical model theory makes possible the incremental analysis of possible worlds, or instances, for the theories, and the mapping of instances of a theory to instances of its more abstract parts. We describe the theoretical approach by applying it to the semantics of neural networks. (shrink)

Sophist 255c14 distinguishes καθ’ αὑτά and πρὸς ἄλλα (in relation to others). Many commentators identify this with the ‘absolute’ and ‘relative’ category distinction. However, terms such as ‘same’ cannot fit into either category. Several reliable manuscripts read πρὸς ἄλληλα (in relation to each other) for πρὸς ἄλλα. I show that πρὸς ἄλληλα is a palaeographically plausible reading which accommodates the problematic terms. I then defend my reading against objections.

Reasons can play a variety of roles in a variety of contexts. For instance, reasons can motivate and guide us in our actions (and omissions), in the sense that we often act in the light of reasons. And reasons can be grounds for beliefs, desires and emotions and can be used to evaluate, and sometimes to justify, all these. In addition, reasons are used in explanations: both in explanations of human actions, beliefs, desires, emotions, etc., and in explanations of a (...) wide range of phenomena involving all sorts of animate and inanimate substances. This diversity has encouraged the thought that the term 'reason' is ambiguous or has different senses in different contexts. Moreover, this view often goes hand in hand with the claim that reasons of these different kinds belong to different ontological categories: to facts (or something similar) in the case of normative/justifying reasons, and to mental states in the case of motivating/explanatory reasons. In this paper I shall explore some of the main roles that reasons play and, on that basis, I shall offer a classification of kinds of reasons. As will become clear, my classification of reasons is at odds with much of the literature in several respects: first, because of my views about how we should understand the claim that reasons are classified into different kinds; second, because of the kinds into which I think reasons should be classified; and, finally, because of the consequences I think this view has for the ontology of reasons. (shrink)

Actualism is the doctrine that the only things there are, that have being in any sense, are the things that actually exist. In particular, actualism eschews possibilism, the doctrine that there are merely possible objects. It is widely held that one cannot both be an actualist and at the same time take possible world semantics seriously — that is, take it as the basis for a genuine theory of truth for modal languages, or look to it for insight into the (...) modal structure of reality. For possible world semantics, it is supposed, commits one to possibilism. In this paper I take issue with this view. To the contrary, I argue that one can take possible world semantics seriously and yet remain in full compliance with actualist scruples. (shrink)

A novel conceptual framework is introduced for the Complexity Levels Theory in a Categorical Ontology of Space and Time. This conceptual and formal construction is intended for ontological studies of Emergent Biosystems, Super-complex Dynamics, Evolution and Human Consciousness. A claim is defended concerning the universal representation of an item’s essence in categorical terms. As an essential example, relational structures of living organisms are well represented by applying the important categorical concept of natural transformations to biomolecular reactions and relational structures (...) that emerge from the latter in living systems. Thus, several relational theories of living systems can be represented by natural transformations of organismic, relational structures. The ascent of man and other living organisms through adaptation, is viewed in novel categorical terms, such as variable biogroupoid representations of evolving species. Such precise but flexible evolutionary concepts will allow the further development of the unifying theme of local-to-global approaches to highly complex systems in order to represent novel patterns of relations that emerge in super- and ultra-complex systems in terms of compositions of local procedures. Solutions to such local-to-global problems in highly complex systems with ‘broken symmetry’ might be possible to be reached with the help of higher homotopy theorems in algebraic topology such as the generalized van Kampen theorems (HHvKT). Categories of many-valued, Łukasiewicz-Moisil (LM) logic algebras provide useful concepts for representing the intrinsic dynamic ‘asymmetry’ of genetic networks in organismic development and evolution, as well as to derive novel results for (non-commutative) Quantum Logics. Furthermore, as recently pointed out by Baianu and Poli (Theory and applications of ontology, vol 1. Springer, Berlin, in press), LM-logic algebras may also provide the appropriate framework for future developments of the ontological theory of levels with its complex/entangled/intertwined ramifications in psychology, sociology and ecology. As shown in the preceding two papers in this issue, a paradigm shift towards non-commutative, or non-Abelian, theories of highly complex dynamics—which is presently unfolding in physics, mathematics, life and cognitive sciences—may be implemented through realizations of higher dimensional algebras in neurosciences and psychology, as well as in human genomics, bioinformatics and interactomics. (shrink)

How are philosophical questions about what kinds of things there are to be understood and how are they to be answered? This paper defends broadly Fregean answers to these questions. Ontological categories—such as object , property , and relation —are explained in terms of a prior logical categorization of expressions, as singular terms, predicates of varying degree and level, etc. Questions about what kinds of object, property, etc., there are are, on this approach, reduce to questions about truth (...) and logical form: for example, the question whether there are numbers is the question whether there are true atomic statements in which expressions function as singular terms which, if they have reference at all, stand for numbers, and the question whether there are properties of a given type is a question about whether there are meaningful predicates of an appropriate degree and level. This approach is defended against the objection that it must be wrong because makes what there depend on us or our language. Some problems confronting the Fregean approach—including Frege’s notorious paradox of the concept horse—are addressed. It is argued that the approach results in a modest and sober deflationary understanding of ontological commitments. (shrink)

Recently, I’ve championed the doctrine that fundamentally different sorts of things exist in fundamentally different ways.1 On this view, what it is for an entity to be can differ across ontological categories.2 Although historically this doctrine was very popular, and several important challenges to this doctrine have been dealt with, I suspect that contemporary metaphysicians will continue to treat this view with suspicion until it is made clearer when one is warranted in positing different modes of existence.3 I (...) address this concern here. The question of when to posit ways of being is closely related to a more general question: when should one think that some philosophically interesting expression is analogous? Accordingly, my strategy here is as follows. First, I briefly explain my interpretation of ontological pluralism, the doctrine that there are ways of being.4 Second, I introduce the notion of an analogous term, and show how, on most ways of implementing ontological pluralism, “existence” is analogous. Third, I discuss two sufficient conditions for when one is warranted in claiming that a philosophically interesting term is analogous. Fourth, I present a series of ontological schemes, each of which satisfies at least one of the sufficient conditions. The upshot is this: if you are attracted to one of these ontologies, you have reason to believe in ways of being. The careful reader will have noted the apparent modesty of my conclusion. Unfortunately, I do not believe that one could ever be rationally required to believe in ways of being. Still, in general a metaphysic is a live option to the extent that it is shown to be rationally permissible to believe. Since the apparent consensus among contemporary analytic metaphysicians is that believing that things can exist in different ways is silly or confused, establishing the rational permissibility of belief in ways of being is a non-trivial task. Let us begin. (shrink)

Arguably no concept is more fundamental to science than that of causality, for investigations into cases of existence, persistence, and change in the natural world are largely investigations into the causes of these phenomena. Yet the metaphysics and epistemology of causality remain unclear. For example, the ontological categories of the causal relata have been taken to be objects (Hume 1739), events (Davidson 1967), properties (Armstrong 1978), processes (Salmon 1984), variables (Hitchcock 1993), and facts (Mellor 1995). (For convenience, causes (...) and effects will usually be understood as events in what follows.) Complicating matters, causal relations may be singular (Socrates’s drinking hemlock caused Socrates’s death) or general (Drinking hemlock causes death); hence the relata might be tokens (e.g., instances of properties) or types (e.g., types of events) of the category in question. Other questions up for grabs are: Are singular causes metaphysically and/or epistemologically prior to general causes or vice versa (or neither)? What grounds the intuitive asymmetry of the causal relation? Are macro-causal relations reducible to micro-causal relations? And perhaps most importantly: Are causal facts (e.g., the holding of causal relations) reducible to non-causal facts (e.g., the holding of certain spatiotemporal relations)? (shrink)

The concept of a physical object has figured prominently in the history of philosophy, and is probably more important now than it has ever been before. Yet the question What are physical objects?, i.e., What is the correct analysis of the concept of a physical object?, has received surprisingly little attention. The purpose of this paper is to address this question. I consider several attempts at answering the question, and give my reasons for preferring one of them over its rivals. (...) The account of physical objects that I recommend – the Spatial Location Account – defines physical objects as objects with spatial locations. The intuitive idea behind the Spatial Location Account is this. Objects from all of the different ontological categories – physical objects; non-physical objects like souls, if there are any; propositions; universals; etc. – have this much in common: they all exist in time. But not all of them exist in space. The ones that exist in time and space, i.e., the ones that have spatial locations, are the ones that count as physical objects. (shrink)

Aristotelian (or neo-Aristotelian) metaphysics is currently undergoing something of a renaissance. This volume brings together fourteen new essays from leading philosophers who are sympathetic to this conception of metaphysics, which takes its cue from the idea that metaphysics is the first philosophy. The primary input from Aristotle is methodological, but many themes familiar from his metaphysics will be discussed, including ontological categories, the role and interpretation of the existential quantifier, essence, substance, natural kinds, powers, potential, and the development (...) of life. The volume mounts a strong challenge to the type of ontological deflationism which has recently gained a strong foothold in analytic metaphysics. It will be a useful resource for scholars and advanced students who are interested in the foundations and development of philosophy. (shrink)

A work of music is repeatable in the following sense: it can be multiply performed or played in different places at the same time, and each such datable, locatable performance or playing is an occurrence of it: an item in which the work itself is somehow present, and which thereby makes the work manifest to an audience. As I see it, the central challenge in the ontology of musical works is to come up with an ontological proposal (i.e. an (...) account of what sort of thing a work of music is) which enables us to explain what such repeatability consists in, whilst doing maximal justice to the way in which we conceive of musical works in our reflective critical and appreciative practice. To this end, many have found it tempting to defend some version or other of the type-token theory : the thesis that a work is a type and its occurrences are its tokens. Much of the early debate prompted by the publication of Jerrold Levinson's seminal 'What a Musical Work Is' in 1980 has taken the type-token theory for granted, choosing to focus on how musical works, qua types, are individuated. (A key question here has been whether we should hold, with the sonicist , that works are identical just in case they sound exactly alike; or whether we should agree with Levinson's contextualist thesis that exact sound-alikes are distinct, if composed in distinct musico-historical contexts.) More recently, however, the type-token theory itself has been put under pressure, and alternatives have been suggested. So, e.g. Gregory Currie and David Davies have held versions of the thesis that musical works (and artworks generally) are acts of composition, whilst Guy Rohrbaugh has recommended that we think more innovatively about our metaphysical categories, and treat musical works (along with all repeatable artworks) as historical individuals . Historical individuals, like particular substances, come into and go out of existence, could have been somewhat different than they are, and can change through time; but such items, unlike particular substances, are nonetheless capable of having occurrences. In the last few years, ontologists of music have also stepped back to consider the very nature of their enterprise. In particular, a debate has ensued concerning the cogency of ontological proposals (such as those of Nelson Goodman, Nicholas Wolterstorff and Julian Dodd) that are substantially revisionary of our folk concept of a work of music. Amie Thomasson, David Davies and Andrew Kania occupy, to a greater or lesser degree, the descriptivist standpoint, according to which such revisionary ontologies are misconceived. The debate between revisionists and descriptivists in the ontology of music – if prosecuted against the backdrop of an awareness of developments in meta-ontology more generally – is a particularly fertile area in the philosophy of music at present. Author Recommends Wollheim, Richard. Art and its Objects . 2nd ed. Cambridge: Cambridge University Press, 1980. This seminal study nicely introduces and motivates the type-token theory, and in the course of doing so, helpfully, although perhaps contentiously, distinguishes types from both sets and properties. Wollheim's treatment was to a large part responsible for stimulating the subsequent debate as to the ontological nature of musical works. Levinson, Jerrold. 'What a Musical Work Is.' Journal of Philosophy 77 (1980); reprinted in his Music, Art and Metaphysics , 63–88. This paper has, perhaps, been the most influential account of the nature of musical works, post-Wollheim. Presuming the type-token theory to be correct, Levinson elaborates it by claiming musical works to be, not sound structures (i.e. structured patterns of sound-types), but a species of types he calls indicated structures . According to Levinson, a work of music is not to be identified with its sound structure, S ; it is, in fact, a compound of S and a performance-means structure, PM , as indicated (typically, via a score) by its composer on a certain occasion : something that we can represent as S/PM -as-indicated-by- X -at- t . Such indicated structures, Levinson argues, fit the bill for being what works of music are, because they come into being with their indication (i.e. their composition), are individuated in terms of the musico-historical context in which they were composed, and have their specified performance-means (i.e. their instrumentation) essentially. Wolterstorff, Nicholas. Works and Worlds of Art . Oxford: Clarendon Press, 1980. Part I of this book sees Wolterstorff defend a Platonistic version of the type-token theory (although Wolterstorff calls them 'kinds' rather than 'types'). According to Wolterstorff, considerations about the existence conditions of types commit us to the thesis that works of music, qua types, are entities that cannot come into or go out of existence. Kivy, Peter. 'Platonism in Music: A Kind of Defence.' Grazer Philosophische Studien 19 (1983): 109–29. In this article, Kivy ingeniously (and wittily) defends a variety of Platonism about works of music against the animadversions of Levinson. Currie, Gregory. An Ontology of Art . New York: St, Martin's Press, 1989. Here Currie introduces and defends the thesis that works of music (and, indeed, all artworks) are compositional action-types. The book also contains some well-aimed criticisms of Levinson's account. Dodd, Julian. Works of Music: An Essay in Ontology . Oxford: Oxford University Press, 2007. In this book, Dodd defends the type-token theory, but argues that no version of it can escape the Platonisic consequence that musical works exist at all times (and hence, are discovered, rather than created, by their composers). Dodd also defends another controversial thesis, this time concerning musical works' individuation. According to Dodd, and pace Levinson and others, sonicism is correct: works that sound exactly alike are identical. Rohrbaugh, Guy. 'Artworks as Historical Individuals.' European Journal of Philosophy 11 (2003): 177–205. In this essay, Rohrbaugh makes some pointed criticisms of the type-token theory of repeatable artworks in the course of arguing that such works should be viewed, not as types, but as historical individuals (see above). Rohrbaugh suggests that treating musical works as historical individuals best captures our intuitions about such works' temporal and modal characteristics, and, in the course of elaborating his position, he makes some meta-ontological claims that see him endorsing a non-revisionary, descriptivist approach to the ontology of art. As Rohrbaugh sees it, ontologies of art are 'beholden to our artistic practices' (179), and 'aesthetics should not be beholden to the metaphysics on offer, but rather should drive new work in metaphysics' (197). Ridley, Aaron. 'Against Musical Ontology,' Journal of Philosophy 100 (2003): 203–220. This paper sees Ridley outlining a sceptical attitude towards the project of formulating ontological proposals. In his view, a 'serious philosophical engagement with music is orthogonal to, and may well in fact be impeded by, the pursuit of ontological issues' (203). Thomasson, Amie. 'The Ontology of Art and Knowledge in Aesthetics.' JAAC 63 (2005:221–9). Thomasson defends descriptivism in the ontology of art by arguing that such a position is a consequence of the only defensible solution to a problem in the theory of reference: the so-called 'qua' problem concerning how the reference of a term can be fixed. Davies, David. Art as Performance . Oxford: Blackwell, 2004. Davies' position is characterised by two theses: one methodological, the other ontological. The methodological claim is that the ontology of art faces a pragmatic constraint : roughly speaking, the ontology of art is answerable to the epistemology of art. The ontological claim is that the rigorous enforcement of the pragmatic constraint commits us to the thesis that all artworks are compositional action-tokens. Online Materials http://www.blackwell-compass.com/subject/philosophy/article_view?article_id=phco_articles_bpL173 Dodd, Julian. 'Musical Works: Ontology and Meta-Ontology.' Philosophy Compass 3/6 (2008): 1113–34. doi: [DOI link] http://www3.interscience.wiley.com/journal/118557784/abstract Thomasson, Amie. 'Debates about the Ontology of Art: What are We Doing Here?' Philosophy Compass 1/3 (2006): 245–55. doi: [DOI link] http://www3.interscience.wiley.com/journal/122517227/abstract Davies, David. 'Works and Performances in the Performing Arts.' forthcoming in Philosophy Compass . doi: [DOI link] http://plato.stanford.edu/entries/music/ Kania, Andrew. 'The Philosophy of Music.' Stanford Encyclopedia of Philosophy . Sample Mini-Syllabus Week 1: The Type/Token Theory Introduced Wollheim, Richard. Art and its Objects , §§4–8, 21–3, 35–7. Kivy, Peter. Introduction to a Philosophy of Music , chapter 11. Oxford: Clarendon Press, 2002. Dodd, Julian. Works of Music: An Essay in Ontology , chapter 1. Wolterstorff, Nicholas. Works and Worlds of Art , chapter 2. Week 2: The Type/Token Theory and Platonism in Music Wolterstorff, Nicholas. Works and Worlds of Art , chapter 2. Levinson, Jerrold. 'What a Musical Work Is'. Dodd, Julian. Works of Music: An Essay in Ontology , chapters 2–5. Kivy, Peter. 'Platonism in Music: A Kind of Defence.' Grazer Philosophische Studien 19 (1983): 109–29. Kivy, Peter. 'Platonism in Music: Another Kind of Defence.' American Philosophical Quarterly 24 (1987): 245–52. Predelli, Stefano. 'Against Musical Platonism.' British Journal of Aesthetics 35 (1995): 338–50. Caplan, Ben and Carl Matheson. 'Can a Musical Work be Created?' British Journal of Aesthetics 44 (2004): 113–34. Week 3: Musical Works as Indicated Structures Levinson, Jerrold. 'What a Musical Work Is'. Levinson, Jerrold. 'What a Musical Work Is, Again', in his Music, Art and Metaphysics . Ithaca, NY: Cornell UP, 1990. 215–63. Dodd, Julian. 'Musical Works as Eternal Types.' British Journal of Aesthetics 40 (2000). Davies, Stephen. Musical Works and Performances: A Philosophical Account , chapter 2. Oxford: Oxford University Press, 2000. Howell, Robert. 'Types, Indicated and Initiated.' British Journal of Aesthetics 42 (2002): 105–27. Caplan, Ben and Carl Matheson. 'Fine Individuation.' British Journal of Aesthetics 47 (2007): 113–37. Week 4: Musical Work as Historical Individuals Rohrbaugh, Guy. 'Artworks as Historical Individuals'. Dodd, Julian. Works of Music: An Essay in Ontology , chapter 6. Caplan, Ben and Carl Matheson. 'Defending Musical Perdurantism.' British Journal of Aesthetics 46 (2006): 59–69. Caplan, Ben and Carl Matheson. 'Defending "Defending Musical Perdurantism".' British Journal of Aesthetics 48 (2008): 331–37. Week 5: Musical Works as Compositional Actions Currie, Gregory. An Ontology of Art . New York: St, Martin's Press, 1989. Davies, David. Art as Performance . Oxford: Blackwell, 2004. Dodd, Julian. Works of Music: An Essay in Ontology , chapter 7. Week 6: Meta-ontology of Music: What are we Doing When we do the Ontology of Music? Ridley, Aaron. 'Against Musical Ontology'. Thomasson, Amie. 'The Ontology of Art and Knowledge in Aesthetics'. Thomasson, Amie. Ordinary Objects , chapter 11. OUP, 2007. Davies, David. 'The Primacy of Practice in the Ontology of Art.' Journal of Aesthetics and Art Criticism 67 (2009): 159–72. Kania, Andrew. 'Piece for the End of Time: In Defence of Musical Ontology,' British Journal of Aesthetics 48 (2008): 65–79. Kania, Andrew. 'The Methodology of Musical Ontology: Descriptivism and its Implications.' British Journal of Aesthetics 48 (2008): 426–44. Cameron, Ross. 'There are No Things That are Musical Works.' British Journal of Aesthetics 48 (2008): 295–314. Dodd, Julian. 'Musical Works: Ontology and Meta-Ontology.' Philosophy Compass 3/6 (2008): 1113–1134. doi: [DOI link] Focus Questions 1. Are musical works literally created by their composers? 2. Critically examine Levinson's thesis that musical works are 'indicated structures'. 3. What, if anything, is wrong with the thesis that musical works are identical just in case they sound exactly alike? 4. Should we immediately be sceptical of ontological proposals for works of music that are substantially revisionary of the way in which we ordinarily think of them? (shrink)

In Being and Nothingness (1943), Sartre explains love as a strategy for achieving control over "being-for-others," the objectified aspect of the self-imposed by others' defining looks. Two contemporaneous fictions by Sartre, The Room (1939) and Dirty Hands (1948), expand the notions of love and of being-for-others in surprising directions. Dirty Hands shows the creative, productive potential of being-for-others: Hugo's reliance on the other for his self-definition paradoxically generates his decisive embrace of being for-itself. The Room dramatizes the role of the (...) family in constituting a child's subjectivity: Eve's family situation explains her ontological imprisonment in the dimension of being-for-others. The two stories' tolerant vision of the complex social and psychological reasons for adopting being-for-others as one's dominant modality contrasts with Sartre's rigorous critique of reliance on being-for-others as a form of bad faith in Being and Nothingness. The fictions' enlarged perspective on human love and on being-for-others provides a framework for complicating and critiquing the ontological categories presented in Being and Nothingness. (shrink)

"Husserl's work include lengthy treatment of universals, categories, meanings, numbers, manifolds, etc. from an ontological perspective. Here, however, we shall concentrate almost exclusively on the Logical Investigations, which contain in a clear form the ontological ideas which provided the terminological and theoretical basis both for much of the detailed phenomenological description and for many of the metaphysical theses presented in Husserl's later works.

Psychological evidence suggests that laypeople understand the world around them in terms of intuitive ontologies which describe broad categories of objects in the world, such as ‘person’, ‘artefact’ and ‘animal’. However, because intuitive ontologies are the result of natural selection, they only need to be adaptive; this does not guarantee that the knowledge they provide is a genuine reflection of causal mechanisms in the world. As a result, science has parted ways with intuitive ontologies. Nevertheless, since the brain is (...) evolved to understand objects in the world according to these categories, we can expect that they continue to play a role in scientific understanding. Taking the case of human evolution, we explore relationships between intuitive ontological and scientific understanding. We show that intuitive ontologies not only shape intuitions on human evolution, but also guide the direction and topics of interest in its research programmes. Elucidating the relationships between intuitive ontologies and science may help us gain a clearer insight into scientific understanding. (shrink)

This paper puts together an ancientand a recent approach to classificatory language, thought, and ontology.It includes on the one hand an interpretation of Aristotle's ten categories,with remarks on his first category, called (or translated as) substancein the Categories or What a thing is in the Topics. On the other hand is the ideaof domain-specific cognitive abilities urged in contemporary developmentalpsychology. Each family of ideas can be used to understand the other. Neitherthe metaphysical nor the psychological approach is intrinsically (...) morefundamental; they complement each other. The paper incidentally clarifies distinct uses of the word category in different disciplines, and also attempts to make explicit several notions of domain. It also examines Aristotle's most exotic and least discussed categories, being-in-a-position (e.g., sitting) and having-(on) (e.g., armour). Finally the paper suggests a tentative connectionbetween Fred Sommers' theory of types and Aristotle's first category. (shrink)

The general question to be considered in this paper points to the nature of the world described by chemistry: what is macro-chemical ontology like? In particular, we want to identify the ontological categories that underlie chemical discourse and chemical practice. This is not an easy task, because modern Western metaphysics was strongly modeled by theoretical physics. For this reason, we attempt to answer our question by contrasting macro-chemical ontology with the mainstream ontology of physics and of traditional metaphysics. (...) In particular, we introduce the distinction between stuff-ontology, proper of chemistry, and individual-ontology, proper of physics. These two ontologies differ from each other in the basic categories of their own structures. On this basis, we characterize individual-ontology in such a way that the features of stuff-ontology will arise by contrast with it. (shrink)

According to the standard view of particularity, an entity is a particular just in case it necessarily has a unique spatial location at any time of its existence. That the basic entities of the world we speak about in common sense and science are particular entities in this sense is the thesis of “foundational particularism,” a theoretical intuition that has guided Western ontological research from its beginnings to the present day. The main aim of this paper is to review (...) the notion of particularity and its role in ontology. I proceed in four steps. First, I offer a brief reconstruction of the tasks of ontology as “theory of categorial inference in L”. An ontological theory states which (combinations of) entity types or categories make true L-sentences true; the features of the stipulated categories explain why L-speakers are entitled to draw certain material inferences from the classificatory expressions of L. Second, I draw attention to the fact that since Aristotle this theoretical program typically has been implemented with peculiar restrictions prescribing certain combinations of category features, e.g., the combination of particularity, concreteness, individuality, and subjecthood. I briefly sketch how these restrictions of the “substance paradigm” or “myth of substance” are reinforced by the standard readings of predicate-logical constants, viz. the existential quantifier and the identity sign. Third, I argue that in the context of the substance paradigm foundational particularism is incoherent. I discuss the current standard conceptions of particulars as developed in the debate about individuation (bare particulars, nude particulars, tropes) and show that their main difficulties derive from the traditional restriction that particulars are so also logical subjects and/or individuals. Fourth, to show that the traditional linkages of category features are not conceptual necessities, I sketch the outlines of an ontology (General Process Theory) based on non-particular individuals. For ontologists in computer science working with description logic this monocategoreal ontology based on more or less generic ‘dynamics’ may hold special interest. As General Process Theory documents, ontologists may well abandon the notion of particularity: in common sense and science we do reason about items that have a unique spatial location at any time, but the uniqueness of their location can be taken to be a contingent affair. (shrink)

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

In this paper I examine a cognitive mechanism of incommensurability. Using the frame model of concept representation to capture structural relations within concepts, I reveal an ontological difference between object and event concepts: the former are spatial but the latter temporal. Experiments from cognitive sciences further demonstrate that the mind treats object and event concepts differently. Thus, incommensurability can occur in conceptual change across different ontological categories. I use a historical case to illustrate how the ontological (...) difference between an object and an event concept actually caused incommensurability in the context of nineteenth‐century optics. The cognitive and historical analyses indicate that incommensurability can be a local phenomenon and does not necessarily imply incomparability. (shrink)

A central tenet of Heil's ontological conception is a no-levels account of reality, according to which there is just one class of basic properties and relations, while all higher-level entities are configurations of these base-level entities. I argue that if this picture is not to collapse into an eliminativist picture of the world – which, I contend, should be avoided –, Heil's ontological framework has to be supplemented by an independent theory of which configurations of basic entities should (...) count as complex entities. However, such an amendment represents a substantial ontological enhancement, so that the ensuing ontological picture is not as parsimonious as Heil claims it to be. (shrink)

Michael Wedin argues against the prevailing notion that Aristotle's views on the nature of reality are fundamentally inconsistent. According to Wedin's new interpretation, the difference between the early theory of the Categories and the later theory of the Metaphysics reflects the fact that Aristotle is engaged in quite different projects in the two works--the earlier focusing on ontology, and the later on explanation.

This text explores the different ontological categories of things that we encounter in everyday life, including material substances, persons, abstract things ...