I argue for patternism, a new answer to the question of when some objects compose a whole. None of the standard principles of composition comfortably capture our natural judgments, such as that my cat exists and my table exists, but there is nothing wholly composed of them. Patternism holds, very roughly, that some things compose a whole whenever together they form a “real pattern”. Plausibly we are inclined to acknowledge the existence of my cat and my table but not of (...) their fusion, because the first two have a kind of internal organizational coherence that their putative fusion lacks. Kolmogorov complexity theory supplies the needed rigorous sense of “internal organizational coherence”. (shrink)

Although widely used across psychology, economics, and philosophy, the concept ofeffort is rarely ever defined. This article argues that the time is ripe to look for anexplicit general definition of effort, makes some proposals about how to arrive at thisdefinition, and suggests that a force-based approach is the most promising. Section 1presents an interdisciplinary overview of some chief research axes on effort, and arguesthat few, if any, general definitions have been proposed so far. Section 2 argues thatsuch a definition is (...) now needed and proposes a basic methodology to arrive at it, whosefirst step is to make explicit the various tacit assumptions about effort made acrosssciences and ordinary thinking. Section 3 unearths 4 different conceptions of effortfrom research on effort so far:primitive-feelings accounts,comparator-based accounts,resource-based accountsandforce-based accounts. It is then argued that the first 2kinds of accounts, although interesting in their own right, are not strictly speaking abouteffort. Section 4 considers the 2 most promising general approaches to efforts: re-source-based and force-based accounts. It argues that these accounts are not only compatible but actually extensionally equivalent. This notwithstanding, it explains why force-based accounts should be regarded as more fundamental than resource-basedaccounts -/- . (shrink)

This paper defends a realist account of the composition of Newtonian forces, dubbed ‘residualism’. According to residualism, the resultant force acting on a body is identical to the component forces acting on it that do not prevent each other from bringing about its acceleration. Several reasons to favor residualism over alternative accounts of the composition of forces are advanced. (i) Residualism reconciles realism about component forces with realism about resultant forces while avoiding any threat of causal overdetermination. (ii) Residualism provides (...) a systematic semantics for the term ‘force’ within Newtonian mechanics. (iii) Residualism allows us to precisely apportion the causal responsibility of each component force in the ensuing acceleration. (iv) Residualism handles special cases such as null forces, single forces, and antagonistic forces in a natural way. (v) Residualism provides a neat picture of the causal powers of forces: each force essentially has two causal powers⎯the power to bring about accelerations (sometimes together with other co-directionnal forces) and the power to prevent other forces from doing so⎯exactly one of which is manifested at a time. (vi) Residualism avoids commitment to unobservable effects of forces: forces cause either stresses (tensile or compressive) or accelerations. (shrink)

I defend an ontological distinction between three kinds of relation: internal,external and grounded relations. Even though, as we shall see, this trichotomy is basic, it is not found in influential contemporary metaphysics. Specifically, the widespread tendency, exemplified notably by David Armstrong, of not recognizing grounded relations as distinct from external relations, can be shown to be mistaken. I propose a definition of each of the three kinds of relation. Of vital importance to the parsimony of metaphysics, I also argue that (...) only external relations are ontologically fundamental. (shrink)

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

Ingvar Johansson has argued that there are not only determinate universals, but also determinable ones. I here argue that this view is misguided by reviving a line of argument to the following effect: what makes determinates falling under a same determinable similar cannot be distinct from what makes them different. If true, some similarities — imperfect similarities between simple determinate properties — are not grounded in any kind of property-sharing. I suggest that determinables are better understood as maximal disjunctions of (...) brutely and imperfectly similar determinates. Such brute similarities have been thought to clash with realism about universals. I argue that this worry stems from the mistaken assumption that perfect and imperfect similarities are relations of a same kind. If exact and inexact resemblances are distinct and heterogeneous explananda, the realist about universals might explain the first thanks to property-sharing, while happily leaving imperfect similarities between properties unexplained. (shrink)

This paper defends the view that Newtonian forces are real, symmetrical and non-causal relations. First, I argue that Newtonian forces are real; second, that they are relations; third, that they are symmetrical relations; fourth, that they are not species of causation. The overall picture is anti-Humean to the extent that it defends the existence of forces as external relations irreducible to spatio-temporal ones, but is still compatible with Humean approaches to causation (and others) since it denies that forces are a (...) species of causation. (shrink)

The paper ends with an argument that says: necessarily, if there are finitely spatially extended particulars, then there are monadic universals. Before that, in order to characterize the distinction between particulars and universals, Roman Ingarden’s notions of existential moments and modes (ways) of being are presented, and a new pair of such existential moments is introduced: multiplicity–monadicity. Also, it is argued that there are not only real universals, but instances of universals (tropes) and fictional universals too.

Do component forces exist in conjoined circumstances? Cartwright (1980) says no; Creary (1981) says yes. I'm inclined towards Cartwright's side in this matter, but find several problems with her argumentation. My primary aim here is to present a better, distinctly causal, argument against component forces: very roughly, I argue that the joint posit of component and resultant forces in conjoined circumstances gives rise to a threat of causal overdetermination, avoidance of which best proceeds via eliminativism about component forces. A secondary (...) aim is to show that rejecting component forces does not require, pace Cartwright, rejecting certain attractive theses about what laws of nature express and the role such laws play in scientific explanations. (shrink)

In his (2001a) and in some related papers, Tim Crane has maintained that intentional objects are schematic entities, in the sense that, insofar as being an intentional object is not a genuine metaphysical category, qua objects of thought intentional objects have no particular nature. This approach to intentionalia is the metaphysical counterpart of the later Husserl's ontological approach to the same entities, according to which qua objects of thought intentionalia are indifferent to existence. But to buy a metaphysically deflationary approach (...) does not mean to buy an ontologically deflationary approach, according to which we have to accept all the intentional objects there apparently are. Being metaphysically deflationary on intentionalia rather means that from the ontological point of view one must really allow only for those intentionalia for which one is entitled to say that there are such things; typically, for which an ontological proof is available. From metaphysical schematism plus conditional, or partial, ontological committment to intentionalia, further interesting consequences follow. First, this theoretical combination allows one to deal with the ‘too-many entities’ problem (may one fail to accept an ontological proof for an entity of a given kind if she thinks that the entity we would have to be committed to is an entity of another kind?). Second, it allows one to deal with the ‘genuinely true report’ problem (how is it that if we exercise mindreading with respect to a somehow deluded person, we want our reports to come out as really, not merely fictionally, true?). (shrink)

The analytical philosophy of the last hundred years has been heavily influenced by a doctrine to the effect that the key to the correct understanding of reality is captured syntactically in the ‘Fa’ (or, in more sophisticated versions, in the ‘Rab’) of standard first order predicate logic. Here ‘F’ stands for what is general in reality and ‘a’ for what is individual. Hence “f(a)ntology”. Because predicate logic has exactly two syntactically different kinds of referring expressions—‘F’, ‘G’, ‘R’, etc., and ‘a’, (...) ‘b’, ‘c’, etc.—so reality must consist of exactly two correspondingly different kinds of entity: the general (properties, concepts) and the particular (things, objects). We describe the historical influence of this view, and also show how standard first-order predicate logic can be used for the logical formalization of a more adequate “six category ontology”, which recognizes, at the level of both particulars and universals, not only things or objects but also events and qualities. (shrink)

Spatiotemporal and qualitative continuity are not sufficient to trace the career or path of one and the same object through its history. One needs sortal continuity, guaranteed by the form-token of the object. In this paper I concentrate on the question of sortal continuity linked to the problem of the cohabitation of objects. I intend to test whether it is possible to stick to the belief in continuants or endurers as well as the sortal dependence of identity and at the (...) same time avoid an undesirable multiplication of spatially coinciding objects, i.e., avoid the thesis of cohabitation. I abandon the philosophical view – this is the price to be paid – that the set of the material constituents making up an object is an object proper. The basic units of reality are the objects falling under sortals and not the ultimate components thereof. That a determinate piece of copper is not identical with the statue made from it, therefore, does not imply that we have a cohabitation of two numerically different objects. (shrink)

Being an "untimely review", this paper reviews Aristotle's 'Categories' as if they were published today, in the era of computerised information, where categorisation becomes more and more essential for information retrieval. I suggest a systematic ordering of Aristotle's list of categories and argue that Aristotle's discussion of ontological dependency and his focus on concrete entities are still a source of new insight and can indeed be read as a contribution to the emerging field of applied ontology and ontological engineering.

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 as a branch of philosophy is the science of what is, of the kinds and structures of objects, properties, events, processes and relations in every area of reality. ‘Ontology’ in this sense is often used by philosophers as a synonym of ‘metaphysics’ (a label meaning literally: ‘what comes after the Physics’), a term used by early students of Aristotle to refer to what Aristotle himself called ‘first philosophy’. But in recent years, in a development hardly noticed by philosophers, the (...) term ‘ontology’ has gained currency in the field of computer and information science, and in information-driven research in bioinformatics and related areas. We examine these new developments in applied ontology, and show what lessons they might have for both philosophers and information scientists. (shrink)

In this article, I aim at showing how powers may ground different types of probability in the universe. In Section 1 I single out several dimensions along which the probability of something can be determined. Each of such dimensions can be further specified at the type-level or at the token-level. In Section 2 I introduce some metaphysical assumptions about powers. In Section 3 I show how powers can ground single-case probabilities and frequency-probabilities in a deterministic setting. Later on, in Section (...) 4, I move to a theoretical framework where the falsity of determinism is assumed. Within such a framework, I first argue that some probabilities are grounded on basic powers. Moreover, in Section 5, I introduce tendencies and suggest that they are endowed with specific degrees of activation that may change over time. Such degrees explain why tendencies are more likely to be activated than non-activated, or vice versa. In Section 6 I compare my account of tendencies with other accounts. Finally, in Section 7, I anticipate some general objections against my account – objections that it shares with propensity-accounts of probability – and against degrees of activation of tendencies. (shrink)

In the present paper, the notion that brains in vats with perceptual experiences of the same type as ours could perceptually represent other entities than shapes is challenged. Whereas it is often held that perceptual experiences with the same phenomenal character as ours could represent computational properties, I argue that this is not the case for shapes. My argument is in brief that the phenomenal character of a normal visual experience exemplifies shapes – phenomenal shapes – which functions as the (...) vehicle for our perceptual representation of shapes. Due to the unique mereological structure of shapes, phenomenal shapes are unable to reliably track any property but shapes. In so far as reliable tracking is a necessary condition for perceptual representation, phenomenal shapes can consequently and contrary to received wisdom only represent shapes. (shrink)

In this thesis I argue against unrestricted mereological hybridism, the view that there are absolutely no constraints on wholes having parts from many different logical or ontological categories, an exemplar of which I take to be ‘mixed fusions’. These are composite entities which have parts from at least two different categories – the membered (as in classes) and the non-membered (as in individuals). As a result, mixed fusions can also be understood to represent a variety of cross-category summation such as (...) the abstract with the concrete, the physical with the non-physical, and the possible with the impossible, just to name a few. -/- Proposed by David Lewis (1991) alongside his defence of classical mereology (the major theory of parthood which permits such transcategorial composites through its principle of unrestricted composition) it is my contention that mixed fusions are an under-examined consequence of indiscriminate mereological fusion which harbour a multitude of complications. In my attempt to discern their substantive character, throughout this thesis I make a case study of mixed fusions and uncover several problematic consequences which I think follow from their most plausible assessment. -/- These include: (1) that mixed fusions’ probable membership relations may lead to dubious foundational loops in the mereological Universe, or (2) otherwise that mixed fusions oblige an implausible ontological priority of the mereological Universe as a whole; (3) that mixed fusions contradict the reductive account of set theory they are proposed within, by plausibly being seen to have the same members as their class parts, and (4) that mixed fusions therefore confound a mereological thesis of Composition as Identity, which some (including Lewis) use to support classical mereology – a consequence which is potentially self-defeating; (5) that mixed fusions as sums of abstract and concrete entities both subvert Lewis’s (1986) system of modal realism, while (6) also undermining less expansive theories of possible worlds; and finally, (7) that even where some of the foregoing is resisted, it remains implausible that mixed fusions are ontologically innocent, because their supposed distinction from their parts in this case ensures that they need to be counted as additional entities in one’s ontology. -/- To be clear, I do not advance a theory of mereological hybrid nihilism in the sense of denying all cases of transcategorial composition. (I only cover a few select instances of mereological hybridism via mixed fusions after all.) Rather, I deny that mereological hybridism is plausible in full generality, by demonstrating that any cases of it are at least limited by the constraints that I identify. This in turn vindicates a call for a restriction on parthood theories and composition principles which allow certain types of categorially mixed entities – including restricting classical mereology with its principle of unrestricted composition. -/- Although theories of parthood like the standard classical mereology are not ordinarily developed for the sake of mereological hybrids like mixed fusions, these and other transcategorial composites are still among the logical consequences of such parthood systems operating with sufficient generality. The significance of my thesis, then, comes from showcasing how some of these kinds of entities do not conform to the systems in which they are included as required, and hence I argue for the rejection of unrestricted mereological hybridism as well as any mereological principles which support it. (shrink)

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

The thesis investigates how the notion of ‘ontology’ has been used in the field of medical informatics and knowledge representation. Partly to investigate what an ‘ontology’ can be said to represent and what requirements we can have on a good ‘ontology’. The author studies the already existing medical terminologies and ‘ontologies’ to elucidate what theories they are based on. The terminological theories of Eugen Wüster and his legacy in medical informatics are studied. It is noted that terminological theories handling linguistic (...) entities are not suited for describing and representing medical theories, since these are assumed to refer to the real world, which consists of more than linguistics entities. In order to find a metaphysical theory in accordance with the world view that medical theories describe, the author turn to the critical realism of Karl Popper, Roy Bhaskar and Ilkka Niiniluoto. These theories, taken together with the metaphysical theories regarding universals of David M Armstrong and Ingvar Johansson, are used as a basis to find out what an ‘ontology’ can be said to represent, and what criteria and requirements we can have on a good ‘ontology’. Among the requirements presented in the thesis are stability, interoperability and the requirement that a good ‘ontology’ must be in accordance with our best available theories. Finally, it is discussed how these requirements and criteria can come into conflict with one another, and how one should reason when handling these trade-offs. The author emphasises the importance of including the medical expertise in the process of creating ‘ontologies’, in order to produce as useful and relevant ‘ontologies’ as possible. (shrink)

One reason for the renewed interest in Austrian philosophy, and especially in the work of Brentano and his followers, turns on the fact that analytic philosophers have become once again interested in the traditional problems of metaphysics. It was Brentano, Husserl, and the philosophers and psychologists whom they influenced, who drew attention to the thorny problem of intentionality, the problem of giving an account of the relation between acts and objects or, more generally, between the psychological environments of cognitive subjects (...) and the different sorts of external (physical, geographical, social) environments which they inhabit. The present essay addresses this environmental version of the problem of intentionality. It draws not only on the work of Husserl and Scheler but also on the Gestalt psychological writings of Kurt Koffka and Kurt Lewin. It considers the influential subjective idealist theory of animal environments put forward by J. von Uexküll and contrasts this with a realist theory of organism-environment interaction based on the work of the ecological psychologists J. J. Gibson and Roger Barker. This realist theory is then exploited as a basis for an ontology of social objects of a range of different sorts. (This is the English original of the French translation.). (shrink)

It has been a common assumption that words are substances that instantiate or have properties. In this paper, I question the assumption that our ontology of words requires posting substances by outlining a bundle theory of words, wherein words are bundles of various sorts of properties (such as semantic, phonetic, orthographic, and grammatical properties). I argue that this view can better account for certain phenomena than substance theories, is ontologically more parsimonious, and coheres with claims in linguistics.

In 1859–1860, Johan Jacob Borelius published two diatribes against Christopher Jacob Boström, the then dominating philosopher in Sweden. Boström was accused of inconsistency, because he asserted the principle of esse est percipi while at the same time maintaining that different agents can perceive one and the same thing differently. It is suggested that Borelius misunderstood Boström’s intention. In his printed defence, in 1860, Boström clarifies his use of a dual conception of meaning, resembling Frege’s distinction between Sinn (sense) and Bedeutung (...) (reference) some thirty years later. Boström appears to equate the reference of esse with that of percipi, whereas Borelius argued as if the principle concerned the senses of the two expressions. According to Borelius, two observers cannot possibly have different perceptions of the same object, if “to be” means “to be perceived”. In Boström’s view, as reconstructed here, two different phenomenal perceptions may well refer to one and the same true object, of which the phenomena are aspects. The true object exists in virtue of its being determined by God’s perfect ideas. (shrink)

While there are reasons to believe that both component forces and a resultant force operate on a body in combined circumstances, the threat of overdetermination largely prevents adoption of this view. Accordingly, a lively debate has arisen over which force actually exists and which force is eliminated in combined circumstances, the components or the resultant. In this article I present a non-reductive model of resultant force which ensures the existence of both the resultant force and the component forces without overdetermination. (...) According to the non-reductive model, the resultant force is the summation of component forces, where summation is interpreted as meaning that the component forces, when temporally and spatially overlapping, form a superposed mixture which is the resultant force, but which is not identical to the conjunction of component forces taken with temporal and spatial independence. (shrink)

Kevin Mulligan a introduit la distinction entre les descriptions épaisses et minces dans la philosophie des relations. Cette distinction lui a permis d’affirmer les thèses suivantes : toutes les relations sont « minces » et internes, et aucune n’est « épaisse » et externe. J’accepte et j’utilise la distinction de Mulligan entre mince et épais afin de soutenir que ce ne sont pas toutes les relations internes qui sont minces. Il existe également des relations internes épaisses, et celles-ci abondent en (...) physique mathématique. Je soutiens en outre qu’il peut y avoir des relations externes minces. Cependant, en introduisant une distinction entre relations fortement et faiblement internes, je suis d’accord pour affirmer avec Mulligan que toutes les relations fortement internes sont des relations minces.Kevin Mulligan has brought the distinction between thick and thin descriptions into the philosophy of relations, and with its help he has put forward the theses that all relations are “thin” and internal, and that none is “thick” and external. Accepting and using Mulligan’s thin — thick distinction, I argue that not all internal relations are thin. There are thick internal relations, too ; and they abound in mathematical physics. Also, I claim that there might be thin external relations. However, introducing a distinction between strongly and weakly internal relations, I agree with Mulligan that all strongly internal relations are thin relations. (shrink)

In what sense does empty space feature in visual experience? In the first part of this essay I sketch a view advanced by Soteriou and Richardson on which one's visual awareness of empty space is explained by appeal to ‘structural’ features of the phenomenology of visual experience, in particular the phenomenology of experiencing one's visual field as bounded. I suggest that although this ‘structuralist’ view is silent on whether empty space has a phenomenal appearance, the very appeal to structural features (...) seems a natural foil to some such thought. In the second part, I outline a view on which it can be granted that empty space does, after all, have a phenomenal appearance and, so, is not best cast as a species of absence perception as the structuralist avows, at least on a certain construal of ‘absence perception’. After O'Shaughnessy , I contend that although some privations have a phenomenal appearance, ‘absence perception’ should single out the putative perception of phenomena that lack phenomenal reality. I finally consider how the descriptive phenomenology that the structuralist points to, and which I urge should be embraced, can nonetheless be reconciled with the view I spell out. (shrink)

According to Johansson (2009: 22) an infinite regress is vicious just in case “what comes first [in the regress-order] is for its definition dependent on what comes afterwards.” Given a few qualifications (to be spelled out below (section 3)), I agree. Again according to Johansson (ibid.), one of the consequences of accepting this way of distinguishing vicious from benign regresses is that the so-called Russellian Resemblance Regress (RRR), if generated in a one-category trope-theoretical framework, is vicious and that, therefore, the (...) existence of tropes only makes sense if trope-theory is understood (minimally) as a two-category theory which accepts, besides the existence of tropes, also the existence of at least one universal: resemblance.1 I disagree. But how can that be? How can Johansson and I agree about what distinguishes a vicious from a benign regress, yet disagree about which regresses are vicious and which are benign? In this paper I attempt to answer that question by first setting out and defending the sense of viciousness which both Johansson and I accept, only to then argue that to be able to determine if a particular regress is vicious in this sense, more than features intrinsic to the regress itself must be taken into account. This is why, although the RRR as originally set out by Russell is vicious, the seemingly identical resemblance regress which ensues in a one-category (standard) trope-theoretical context is not (provided, that is, that we accept certain views about how the nature of tropes relates to the resemblance between tropes, and given that we set our theory in a truthmaker theoretical framework – all of which are standard assumptions for proponents of (the standard-version of) the trope-theory).2. (shrink)

A system of categories is a complete list of highest kinds or genera. Traditionally, following Aristotle, these have been thought of as highest genera of entities (in the widest sense of the term), so that a system of categories undertaken in this realist spirit would ideally provide an inventory of everything there is, thus answering the most basic of metaphysical questions: “What is there?”. Skepticism about the possibilities for discerning the different categories of ‘reality itself’ has led others to approach (...) category systems not with the aim of cataloging the highest kinds in the world itself, but rather with the aim of elucidating the categories of our conceptual system. Thus Kant makes the shift to a conceptualist approach by drawing out the categories that are.. (shrink)