Relations

Maureen Donnelly has recently argued that directionalism, the view that relations have a direction, applying to their relata in an order, is unable to properly treat certain symmetric relations. She alleges that it must count the application of such a relation to an appropriate number of objects in a given order as distinct from its application to those objects in any other ordering of them. I reply by showing how the directionalist can link the application conditions of any fixed arity (...) relation, no matter its arity or symmetry, and its converse(s) in such a way that directionalism will yield the correct ways in which it can apply. I thus establish that directionalism possesses the same advantage Donnelly's own account of relations, relative positionalism, has over traditional positionalist accounts of relations, which do not properly treat symmetric relations. I then note some advantages that directionalism has over its closest competitors. This includes Donnelly's relative positionalism, since directionalism is not, like relative positionalism, committed to the involvement of relative properties in every irreducibly relational claim. I close by conceding that, as Donnelly notes, directionalism is committed to the primitive relation of order-sensitive relational application. But I don't find this notion as mysterious as Donnelly does. I conclude that, even if one construes this feature of directionalism as a drawback, the two views are at worst at a draw, other things being equal, since this drawback is mitigated by the advantage directionalism has over relative positionalism. (shrink)

‘Substance’ (substantia, zelfstandigheid) is a key term of Spinoza’s philosophy. Like almost all of Spinoza’s philosophical vocabulary, Spinoza did not invent this term, which has a long history that can be traced back at least to Aristotle. Yet, Spinoza radicalized the traditional notion of substance and made a very powerful use of it by demonstrating – or at least attempting to demonstrate -- that there is only one, unique substance -- God (or Nature) -- and that all other things are (...) merely modes or states of God. Some of Spinoza’s readers understood these claims as committing him to the view that only God truly exists, and while this interpretation is not groundless, we will later see that this enticing and bold reading of Spinoza as an ‘acosmist’ comes at the expense of another audacious claim Spinoza advances, i.e., that God/Nature is absolutely and actually infinite. But before we reach this last conclusion, we have a long way to go. So, let me first provide an overview of our plan. In the first section of this paper we will examine Spinoza’s definitions of ‘substance’ and ‘God’ at the opening of his magnum opus, the Ethics. Following a preliminary clarification of these two terms and their relations to the other key terms defined at the beginning of the Ethics, we will briefly address the Aristotelian and Cartesian background of Spinoza’s discussion of substance. In the second section, we will study the properties of the fundamental binary relations pertaining to Spinoza’s substance: inherence, conception, and causation. The third section will be dedicated to a clarification of Spinoza’s claim that God, the unique substance, is absolutely infinite. This essential feature of Spinoza’s substance has been largely neglected in recent Anglo-American scholarship, a neglect which has brought about an unfortunate tendency to domesticate Spinoza’s metaphysics to more contemporary views. The fourth section will study the nature of Spinoza’s monism. It will discuss and criticize the interesting yet controversial views of the eminent Spinoza scholar, Martial Gueroult, about the plurality of substances in the beginning of the Ethics; address Spinoza’s claim in Letter 50 that, strictly speaking, it is improper to describe God as “one”; and, finally, evaluate Spinoza’s kind of monism against the distinction between existence and priority monism recently introduced into the contemporary philosophical literature. The fifth and final section will explain the nature, reality, and manner of existence of modes. We therefore have an ambitious plan; let’s get down to business. (shrink)

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...) a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

Universals are putative objects like wisdom, morality, redness, etc. Although we believe in properties (which, we argue, are not a kind of object), we do not believe in universals. However, a number of ordinary, natural language constructions seem to commit us to their existence. In this paper, we provide a fictionalist theory of universals, which allows us to speak as if universals existed, whilst denying that any really do.

Dharmakīrti’s (c. seventh century) Examination of Relations (Sambandhaparīkṣā) is unique in the Indian Buddhist canon for its being the only extant root text devoted entirely to the topic of the ontological status of relations. But the core thesis of this treatise—that relations are only nominally real—is in prima facie tension with another claim that is central to Dharmakīrti’s epistemology: that there exists some kind of “natural relation” (svabhāvapratibandha) that reliably underwrites inferences. Understanding how Dharmakīrti can consistently rely on natural relations (...) to prop up his presentation of inferential reasoning while at the same time advancing an anti-realist account of relations is critical for making sense of his system of logic and epistemology, which came to be nearly universally adopted in Tibetan Buddhism cutting across traditions. Chomden Rikpé Reldri (1227–1305), who was perhaps the most prolific commentator on logic and epistemology in the history of Tibetan philosophy, composed two texts commenting on the Examination of Relations, neither of which have received any scholarly attention to date. In this paper, I provide an introduction to Chomden Reldri’s two commentaries and consider how they may illuminate Dharmakīrti’s text and also what they reveal about the understanding of Dharmakīrti’s account of relations in early Tibetan scholasticism. I then present a translation of Dharmakīrti’s Examination of Relations together with Chomden Reldri’s commentary, Annotations and Topical Outline of the Examination of Relations (’Brel pa brtag pa’i mchan dang sa bcad gnyis). (shrink)

There are two ways to characterize symmetric relations. One is intensional: necessarily, _Rxy_ iff _Ryx_. In some discussions of relations, however, what is important is whether or not a relation gives rise to the same completion of a given type (fact, state of affairs, or proposition) for each of its possible applications to some fixed relata. Kit Fine calls relations that do ‘strictly symmetric’. Is there is a difference between the notions of necessary and strict symmetry that would prevent them (...) from being used interchangeably in such discussions? I show that there is. While the notions coincide assuming an intensional account of relations and their completions, according to which relations/completions are identical if they are necessarily coinstantiated/equivalent, they come apart assuming a hyperintensional account, which individuates relations and completions more finely on the basis of relations’ real definitions. I establish this by identifying two definable relations, each of which is necessarily symmetric but nonetheless results in distinct facts when it applies to the same objects in opposite orders. In each case, I argue that these facts are distinct because they have different grounds. (shrink)

It is a metaphysical orthodoxy that interesting non-symmetric relations cannot be reduced to symmetric ones. This orthodoxy is wrong. I show this by exploring the expressive power of symmetric theories, i.e. theories which use only symmetric predicates. Such theories are powerful enough to raise the possibility of Pythagrapheanism, i.e. the possibility that the world is just a vast, unlabelled, undirected graph.

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

David Lewis is typically interpreted as a class nominalist. One consequence of class nominalism, which he embraced, is that the reduction of ordered pairs, triples, etc to unordered sets of sets is conventional. The reaction by his Australian counterparts D.M. Armstrong and Peter Forrest was that Lewis was not being ontologically serious. This chapter evaluates this debate over serious ontology. It is argued that in one sense Lewis is ontologically serious, but that his additional commitment to structuralism about classes should (...) push him to adopt a trope-theoretic account of naturalness, which opens up another way to respond to the charge of not doing serious ontology. This conclusion is supported by certain remarks he makes in his correspondence, thus revealing how his thinking about properties appears to have evolved from property-egalitarianism to a sparse theory of tropes. (shrink)

I formulate an account, in terms of essence and ground, that explains why atomic Russellian propositions have the truth conditions they do. The key ideas are that (i) atomic propositions are just 0-adic relations, (ii) truth is just the 1-adic version of the instantiation (or, as I will say, holding) relation (Menzel 1993: 86, note 27), and (iii) atomic propositions have the truth conditions they do for basically the same reasons that partially plugged relations, like being an x and a (...) y such that Philip gave x to y, have the holding conditions they do. The account is meant to be mainly of intrinsic interest, but I hope that it goes some distance toward answering an objection to classical theories of propositions put forward by King (2014), who writes that ‘since the classical conception of propositions as things that have truth conditions by their very natures and independently of minds and languages is incapable of explaining how or why propositions have truth conditions, it is unacceptable’ (2014: 47). Propositions do have their truth conditions ‘by their very natures’ and ‘independently of minds and languages’. But a fact about a given entity can hold by the very nature of that entity without being a fundamental fact. I argue that this is plausibly the case for atomic Russellian propositions and the facts about their truth conditions. A fact about the truth conditions of such a proposition holds by the very nature of the given proposition but is metaphysically grounded in facts about that proposition’s parts and their essences. If my account is correct, then the supposedly intractable problem of explaining why the given propositions have the truth conditions they do reduces to the problem of explaining why relations have the holding essences they do, which few seem to have found worrisome . (shrink)

F. H. Bradley’s relation regress poses a difficult problem for metaphysics of relations. In this paper, we reconstruct this regress argument systematically and make its presuppositions explicit in order to see where the possibility of its solution or resolution lies. We show that it cannot be answered by claiming that it is not vicious. Neither is one of the most promising resolutions, the relata-specific answer adequate in its present form. It attempts to explain adherence (relating), which is a crucial component (...) of the explanandum of Bradley’s relation regress, in terms of specific adherence of a relational trope to its relata. Nevertheless, since we do not know the consequences and constituents of a trope adhering to its specific relata, it remains unclear what specific adherence is. It is left as a constitutively inexplicable primitive. The relata-specific answer only asserts against Bradley. This negative conclusion highlights the need for a metaphysical account of the constitution of the holding of adherence. (shrink)

Contrary to widely shared opinion in analytic metaphysics, E.J. Lowe argues against the existence of relations in his posthumously published paper There are probably no relations (2016). In this article, I assess Lowe’s eliminativist strategy, which aims to show that all contingent “relational facts” have a monadic foundation in modes characterizing objects. Second, I present two difficult ontological problems supporting eliminativism about relations. Against eliminativism, metaphysicians of science have argued that relations might well be needed in the best a posteriori (...) motivated account of the structure of reality. Finally, I argue that, by analyzing relational inherence, trope theory offers us a completely new approach to relational entities and avoids the hard problems motivating eliminativism. (shrink)

The model of a closed linear measure space, which can be used to model Aristotle’s treatment of motion (kinesis), can be analogically extended to the qualitative ‘spaces’ implied by his theory of contraries in Physics I and in Metaphysics Iota, and to the dimensionless ‘space’ of the unity of matter and form discussed in book Eta of the Metaphysics. By examining Aristotle’s remarks on contraries, the subject of change, continuity, and the unity of matter and form, Aristotle’s thoughts on motion, (...) on contraries, and on the unity of substance can be brought together under a single interpretive framework, which can provide an approach to interpreting his ontology. (shrink)

Quantum complementarity is interpreted in terms of duality and opposition. Any two conjugates are considered both as dual and opposite. Thus quantum mechanics introduces a mathematical model of them in an exact and experimental science. It is based on the complex Hilbert space, which coincides with the dual one. The two dual Hilbert spaces model both duality and opposition to resolve unifying the quantum and smooth motions. The model involves necessarily infinity even in any finitely dimensional subspace of the complex (...) Hilbert space being due to the complex basis. Furthermore, infinity is what unifies duality and opposition, universality and openness, completeness and incompleteness in it. The deduced core of quantum complementarity in terms of infinity, duality and opposition allows of resolving a series of various problems in different branches of philosophy: the common structure of incompleteness in Gödel’s (1931) theorems and Enstein, Podolsky, and Rosen’s argument (1935); infinity as both complete and incomplete; grounding and self-grounding, metaphor and representation between language and reality, choice and information, the totality and an observer, the basic idea of philosophical phenomenology. The main conclusion is: Quantum complementarity unifies duality and opposition in a consistent way underlying the physical world. (shrink)

Maureen Donnelly’s (2016) relative positionalism correctly handles any fixed arity relation with any symmetry such a relation can have, yielding the intuitively correct way(s) in which that relation can apply. And it supplies an explanation of what is going on in the world that makes this the case. But it has at least one potential shortcoming — one that its opponents are likely to seize upon: it can only handle relations with fixed arities. It is unable to handle relations with (...) variable arities. I argue that, all else being equal, relative positionalism ought nonetheless to be preferred to its closest competitors — at least to the extent that the explanation it supplies of relational application is plausible — even though those competitors can handle variable arity relations in addition to fixed arity relations. (shrink)

In this article, we present a new conception of internal relations between quantity tropes falling under determinates and determinables. We begin by providing a novel characterization of the necessary relations between these tropes as basic internal relations. The core ideas here are that the existence of the relata is sufficient for their being internally related, and that their being related does not require the existence of any specific entities distinct from the relata. We argue that quantity tropes are, as determinate (...) particular natures, internally related by certain relations of proportion and order. By being determined by the nature of tropes, the relations of proportion and order remain invariant in conventional choice of unit for any quantity and give rise to natural divisions among tropes. As a consequence, tropes fall under distinct determinables and determinates. Our conception provides an accurate account of quantitative distances between tropes but avoids commitment to determinable universals. In this important respect, it compares favorably with the standard conception taking exact similarity and quantitative distances as primitive internal relations. Moreover, we argue for the superiority of our approach in comparison with two additional recent accounts of the similarity of quantity tropes. (shrink)

The topic of the relationship between the organism and its environment runs through the theories of Uexküll, Goldstein and Canguilhem with equal importance. In this work a counterpoint will be established between their theories, in the attempt to assess at which points the melodies are concordant and at which points they are discordant. As fundamental basis to his theory, Uexküll relies on the concept of conformity to a plan, which allows him to account for the congruity and perfect adjustment between (...) organisms and their Umwelten. For Goldstein and Canguilhem, the relationship between an organism and its environment resembles instead a debate or coming to terms, in which the organism, as to ensure the continuity of the state of health, must constantly create norms to maintain a productive relationship with its environment. The pinpointing of these conceptual frameworks allows to lay emphasis on that each theory relies on specific assumptions regarding teleology and sense in organisms, as well as on specific definitions of the concept of life in general. Ultimately, the view that organisms and their environments have an original and common source, a principle, or plan, which must possess all the creative characteristics of life, will be seen as prevailing. (shrink)

Kit Fine (2000) breaks with tradition, arguing that, pace Russell (e.g., 1903: 228), relations have neither directions nor converses. He considers two ways to conceive of these new "neutral" relations, positionalism and anti-positionalism, and argues that the latter should be preferred to the former. Cody Gilmore (2013) argues for a generalization of positionalism, slot theory, the view that a property or relation is n-adic if and only if there are exactly n slots in it, and (very roughly) that each slot (...) may be occupied by at most one entity. Slot theory (and with it, positionalism) bears the full brunt of Fine's (2000) symmetric completions and conflicting adicities problems. I fully develop an alternative, plural slot theory (or pocket theory), which avoids these problems, key elements of which are first considered by Yi (1999: 168 ff.). Like the slot theorist, the pocket theorist posits entities (pockets) in properties and relations that can be occupied. But unlike the slot theorist, the pocket theorist denies that at most one entity can occupy any one of them. As a result, she must also deny that the adicity of a property or relation is equal to the number of occupiable entities in it. By abandoning these theses, however, the pocket theorist is able to avoid Fine's problems, resulting in a stronger theory about the internal structure of properties and relations. Pocket theory also avoids a serious drawback of anti-positionalism. (shrink)

In this paper, I elaborate on the Strong Nuclear Theory (SNT) of tropes and substances, which I have defended elsewhere, using my metatheory about formal ontology and especially fundamental ontological form. According to my metatheory, for an entity to have an ontological form is for it to be a relatum of a formal ontological relation or relations jointly in an order. The full fundamental ontological form is generically identical to a simple formal ontological relation or relations jointly in an order. (...) Regarding generic identity, I follow Fabrice Correia and Alexander Skiles, who consider it a form of generalized identity as distinguished from numerical identity. The SNT states that for any trope to have the full fundamental ontological form is for it to be a strongly rigidly or generically (existentially) dependent individual simple part. Therefore, the common dichotomous set-up of asking whether tropes are fundamentally properties rather than objects or vice versa is a non-starter to me in formal ontological terms. The elaboration of the SNT also supplies me with the resources to respond to the arguments against tropes by Douglas Ehring, Robert K. Garcia and Herbert Hochberg. Finally, I argue that non-fundamentally but necessarily, every trope is a proper part of a substance and is concrete in the SNT. (You may access the published paper via the external link below.). (shrink)

In this paper, we discern different types of possible relations. We focus on the distinction between internal and external relations and their various possible sub-types. In the first section, we present what is nowadays more or less the standard distinction between internal and external relations. In the second section, we make two contributions to the literature of internal relations: a new taxonomy of internal relations and a novel distinction between formal and material ontological relations. In the third section, we discuss (...) three distinctions among external relations, in particular the distinction between relata-specific and relata-unspecific relations. We argue that relata-specific external relations are a promising but incomplete solution to the vexed problem of Bradley’s relation regress. (shrink)

The trope bundle theories of objects are capable of analyzing monadic inherence (objects having tropes), which is one of their main advantage. However, the best current trope theoretical account of relational tropes, namely, the relata specific view leaves relational inherence (a relational trope relating two or more entities) primitive. This article presents the first trope theoretical analysis of relational inherence by generalizing the trope theoretical analysis of inherence to relational tropes. The analysis reduces the holding of relational inherence to the (...) obtaining of certain other facts about entities of the trope theoretical category system. Moreover, I show that the analysis can deal with asymmetric and non-symmetric relations by assuming that all relation-like tropes are quantities. Finally, I provide an account of the spatial location of tropes in the difficult case in which tropes contribute to determining of the location of other entities. (shrink)

Trope theories aim to eschew the primitive dichotomy between characterising (properties, relations) and characterized entities (objects). This article (in Finnish) presents a new trope theoretical analysis of relational inherence as the best way out of the impasse created by the alleged necessity to choose between an eliminativist and a primitivist ("relata-specific") view about relations in trope theory.

In this article, we propose a new trope nominalist conception of determinate and determinable kinds of quantitative tropes. The conception is developed as follows. First, we formulate a new account of tropes falling under the same determinates and determinables in terms of internal relations of proportion and order. Our account is a considerable improvement on the current standard account (Campbell 1990; Maurin 2002; Simons 2003) because it does not rely on primitive internal relations of exact similarity or quantitative distance. The (...) internal relations of proportion and order hold because the related tropes exist; no kinds of tropes need be assumed here. Second, we argue that there are only pluralities of tropes in relations of proportion and order. The tropes mutually connected by the relations of proportion and order form a special type of plurality, tropes belonging to the same kind. Unlike the recent nominalist accounts, we do not identify kinds of tropes with any further entities (e.g. sets) or abstractions from entities (e.g. pluralities of similar tropes). (shrink)

This book addresses the metaphysics of Armstrongian states of affairs, i.e. instantiations of naturalist universals by particulars. The author argues that states of affairs are the best candidate for truthmakers and, in the spirit of logical atomism, that we need no molecular truthmakers for positive truths. In the book's context, this has the pleasing result that there are no molecular states of affairs. Following this account of truthmaking, the author first shows that the particulars in (first-order) states of affairs are (...) bare particulars. He then argues that the properties in states of affairs are simple, non-relational and concrete universals. Next, he argues that (material) relations in states of affairs are external relations. Lastly, he argues that a state of affairs is unified by a distinctive formal relation without giving rise to Bradley’s regress. (shrink)

According to standard trope nominalism, there are simple tropes that do not have parts or multiply distinct aspects. Douglas Ehring’s reductio ad absurdum against this standard view concludes that there are no simple tropes. In this paper, we provide a response to Ehring defending the standard view. Ehring’s argument may be refuted by (1) distinguishing the ontological form of tropes from their contribution to the ontological content of the world, and (2) construing tropes as having primitive identity. At the same (...) time, standard trope nominalism is elaborated on by distinguishing between ontological form and content, for which there are also independent reasons. (shrink)

The Metaphysics of Relations is an anthology of thirteen original papers plus an introduction, addressing the philosophical issue of relations from a contemporary and historical perspective. The result is a remarkably coherent whole, where the different papers shed light on each other even though very few of them explicitly address interconnections. As a consequence, the book works really well as an introduction to the philosophical issue on relations, while the individual papers represent cutting edge research on the particular issues that (...) they focus on. The mix of contemporary and historical perspectives means you get a snapshot view of the contemporary issues, as well as insights into their historical development. (shrink)

Intrapersonal variation due to color contrast effects has been used to argue against the following intuitive propositions about the colors: No object can be more than one determinable or determinate color of the same grade all over at the same time ; external objects are actually colored ; and the colors of objects are mind-independent. In this article, I provide a defense of Incompatibility, Realism, and Objectivism from intrapersonal variation arguments that rely on color contrast effects. I provide a novel, (...) ecumenical response to such arguments according to which typical variants are right, and which respects Incompatibility, Realism, and Objectivism, using the thesis that the colors of objects depend on the colors of objects in their surrounds. (shrink)

Causal structuralism is the view that, for each natural, non-mathematical, non-Cambridge property, there is a causal profile that exhausts its individual essence. On this view, having a property’s causal profile is both necessary and sufficient for being that property. It is generally contrasted with the Humean or quidditistic view of properties, which states that having a property’s causal profile is neither necessary nor sufficient for being that property, and with the double-aspect view, which states that causal profile is necessary but (...) not sufficient. Shoemaker’s (1998) and Hawthorne’s (2001) arguments in favor of causal structuralism primarily focus on problematic consequences of the other two views. I argue, however, that causation does not provide an appropriate framework within which to characterize all physical properties for two main reasons. First, there are physical properties that do not have causal profiles and properties whose causal profiles do not exhaust their essences. Second, there is no unified notion of causation across the sciences. After distinguishing between the causal and the nomological, I suggest that what is needed is a structuralist view of properties that is not merely causal but that incorporates a physical property’s higher-order mathematical and nomological properties into its identity conditions. Such a view retains the naturalistic motivations for causal structuralism while avoiding the problems it faces. (shrink)

It is commonly held that Bradley’s regress has a solution within a trope ontology. This seems to happen when a bundle is understood as constituted by non-transferable tropes. It also seems to happen when a bundle is understood as constituted by transferable tropes related by a relational trope of compresence whose existence specifically depends on those relata. In this article I demonstrate that these proposals fail in addressing the essential question that underlies the regress, incurring in a question-begging response already (...) anticipated by Bradley. (shrink)

Speaks defends the view that propositions are properties: for example, the proposition that grass is green is the property being such that grass is green. We argue that there is no reason to prefer Speaks's theory to analogous but competing theories that identify propositions with, say, 2-adic relations. This style of argument has recently been deployed by many, including Moore and King, against the view that propositions are n-tuples, and by Caplan and Tillman against King's view that propositions are facts (...) of a special sort. We offer our argument as an objection to the view that propositions are unsaturated relations. (shrink)

We propose a novel ontological analysis of relations and relationships based on a re-visitation of a classic problem in the practice of knowledge repre- sentation and conceptual modeling, namely relationship reification. Our idea is that a relation holds in virtue of a relationship's existence. Relationships are therefore truthmakers of relations. In this paper we present a general theory or reification and truthmaking, and discuss the interplay between events and rela- tionships, suggesting that relationships are the focus of events, which emerge (...) from the context (the scene) they occur in. (shrink)

In this paper, we argue that formal ontological relations avoid Bradley's reductio of relations, including his famous relation regress.

Vallicella’s influential work makes a case that, when formulated broadly, as a problem about unity, Bradley’s challenge to Armstrongian states of affairs is practically insurmountable. He argues that traditional relational and non-relational responses to Bradley are inadequate, and many in the current metaphysical debate on this issue have come to agree. In this paper, I argue that such a conclusion is too hasty. Firstly, the problem of unity as applied to Armstrongian states of affairs is not clearly defined; in fact, (...) it has taken a number of different forms each of which need to be carefully distinguished and further supported. Secondly, once we formulate the problem in more neutral terms, as a request for a characterization of the way that particulars, universals, and states of affairs stand to one another, it can be adequately addressed by an Armstrongian about states of affairs. I propose the desiderata for an adequate characterization and present a neo-Armstrongian defense of states of affairs that meets those desiderata. The latter relies on an important distinction between different notions of fundamentality and existential dependence. (shrink)

Color relationalism holds that the colors are constituted by relations to subjects. The introspective rejoinder against this view claims that it is opposed to our phenomenally-informed, pre-theoretic intuitions. The rejoinder seems to be correct about how colors appear when looking at how participants respond to an item about the metaphysical nature of color but not when looking at an item about the ascription of colors. The present article expands the properties investigated to sound and taste and inspects the mentioned asymmetry, (...) with a particular focus on the principle of charity. Using a metaphysical item, we find that color and sound are no different from shape, our control for a clearly anti-relational property. Taste, on the other hand, is no different from likability, our control for a clearly relational property. Importantly, we find that the disparity between metaphysical and ascription items is due to participants using a principle of charity to interpret disagreement cases such that both parties can be correct. (shrink)

In this paper I consider whether a powers ontology facilitates a reduction of causal relations to intrinsic powers of the causal relata. I first argue that there is a tension in the view that powerful causation is an internal relation in this sense. Powers are ontologically dependent on other powers for their individuation, but in that case—given an Aristotelian conception of properties as immanent universals—powers will not be intrinsic on several extant analyses of ‘intrinsic’, since to possess a given power (...) P requires the existence of other concrete particulars as bearers of the powers that individuate P. I suggest several ways for Aristotelians to resolve this tension, but all tenable options involve individuative type-level causal relations between powers. While these individuative relations between powers are internal in the sense that the powers are essentially related, this is a different sense of ‘ internal ’ to the one that entails reducibility. The proposed reduction of token-causal relations to powers succeeds only at the cost of irreducible type-level causal relations between the powers themselves. (shrink)

An introduction to our edited volume, The Metaphysics of Relations, covering a range of issues including the problem of order, the ontological status of relations, reasons for ancient scepticism about relational properties, and two ways of drawing the distinction between internal and external relations.

In his recent book, The Universe As We Find It, John Heil offers an updated account of his two-category ontology. One of his major goals is to avoid including relations in his basic ontology. While there can still be true claims positing relations, such as those of the form “x is taller than y” and “x causes y,” they will be true in virtue of substances and their monadic, non-relational properties. That is, Heil’s two-category ontology is deployed to provide non-relational (...) truthmakers for relational truths. This paper challenges the success of Heil’s project with respect to causation. The arguments here are not entirely negative, however. An option is made available to Heil’s ontology so that it might, at least to some extent, regain non-relational causings. (shrink)

In "How to Define Intrinsic Properties" I offered a relational account of the intrinsic/extrinsic distinction. The basic idea is that F is an intrinsic property of an item x just in case x’s having F consists entirely in x’s having certain internal properties, where an internal property is one whose instantiation does not consist in one’s relation to any distinct items (items other than oneself and one’s proper parts). I still think that this relational analysis is largely correct, and here (...) I provide additional support for it and defend it against some objections that have been raised. In the process I aim to make the account somewhat more precise, especially by contrasting it with a grounding approach to defining the intrinsic/extrinsic distinction. (shrink)

I call anti-resemblism the thesis that independently of any contextual specification there is no determinate fact of the matter about the comparative overall similarity of things. Anti-resemblism plays crucial roles in the philosophy of David Lewis. For instance, Lewis has argued that his counterpart theory is anti-essentialist on the grounds that counterpart relations are relations of comparative overall similarity and that anti-resemblism is true. After Lewis committed himself to a form of realism about natural properties he maintained that anti-resemblism is (...) true about the relations of overall similarity that enter his counterpart theory and his analysis of counterfactuals. However, in this article I argue that Lewis’s account of degrees of naturalness for properties combined with his modal realism entails that anti-resemblism is false. The Lewisian must amend Lewis’s system if she aims to benefit from the alleged virtues of anti-resemblism. I consider two ways of amending it, neither of which is a free lunch. (shrink)

I argue that the fundamental dogma that all necessary relations are internal is ungrounded. To motivate my argument, I analyse Moore’s classic ideas on internal relations and take them as an illustration of the common form of reasoning that can mislead us to conclude that all necessary relations are internal. That reasoning illicitly smuggles the idea that necessary properties and relations reflect on identity—in the sense that the loss of a necessary property/relation is a loss of identity—into the separate idea (...) that the loss of a necessary property/relation is a loss of essence. Essence, however, is not identity. So the way seems to be open for the existence of necessary properties/relations which do not belong to the essence of entities; that is, the existence of necessary but external relations. I then offer some examples of such relations. (shrink)

The organism against its environment. The organism against other organisms, competing and struggling for life. Antagonism and confrontment as the only possible relation in nature. The tendency to anthropomorphize nature and explain it using concepts and facts from the human sphere. A stroll through the worlds of Uexküll and Merleau-Ponty in the search of alternative knowledge that allow us to understand relation from another point of view. A counterpoint and identification of common tonalities between the research programs from both thinkers (...) as a way to demonstrate the possibilities of a more fruitful approach. Umwelt as a generative system of meaningful relations in which its participants are not mutually exclusive, but express a melody that include them all. (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)

This chapter argues that from a particularly weak recombination principle and plausible assumptions about the nature of parthood and location, it follows that it is possible that the mereological structure of the material world and that of space-time fail to correspond to one another in very radical ways. The chapter suggests, moreover, that rejecting the possibility of such failures of correspondence leaves us with a choice of no less unappealing alternatives. It also discusses a few ways in which their possibility (...) is relevant to various important debates in metaphysics. (shrink)

The topic of this study is the resemblance of individuals. The underlying contention of this dissertation is that the resemblance of individuals is a taxing and challenging philosophical topic. Two main claims are defended in this study to support this contention. The first of these claims is that resemblance is not a binary relation but a monadic multigrade property. The second of these claims is that the metaphysics of resemblance and the metaphysics of properties are distinct, although not independent, philosophical (...) issues. That resemblance is not binary but a monadic multigrade property makes resemblance taxing in at least two ways. First, resemblance is traditionally conceived of as a binary relation and on my account this traditional view is wrong. Second, a metaphysical account of multigrade properties is in itself a challenging issue. That the metaphysics of resemblance and the metaphysics of properties are distinct is motivated by the fact that an answer to the central question of the metaphysics of resemblance, which I identify as the question of whether the resemblance facts are context-relative, is not determined by any positioning on the central debate in the metaphysics of properties: the debate between the realist and the nominalist. Authors engaged in the realist/nominalist debate often address the central question of the metaphysics of resemblance in few words as their interest in resemblance is usually no more than an epiphenomenom of their interest in properties. It is one goal of this study to convince the reader that the central question of the metaphysics of resemblance needs to be addressed with more depth, and that addressing this question is challenging. (shrink)

Is a bank note identical with the piece of paper of which it consists? On the one hand, John Searle, in his reply to Barry Smith, suggests that they are “one and the same object” that is a social or non-social object only under certain descriptions. On the other hand, Lynne Rudder Baker puts forward the claim that bank note and paper are distinct entities that are bound together by the relation of material constitution. I suggest two possible analyses for (...) Searle’s description relativity claim, the Alternative Subject Analysis and the Predicate Modification Analysis. On both accounts his identity claim gets into serious trouble. While Baker’s definition of material constitution deals well with the bank note example, it fails to account for the constitution of bearerless social entities and groups. I point out five respects in which social constitution can differ from Baker’s account of material constitution and discuss compositional, institutional and interactional constitution as additional varieties of social constitution. (shrink)

In Kapitel 5 dieses Buches wurde mit dem ontologischen Sextett eine Klassifizierung der Realität vorgestellt, die das klassische Aristotelische Viereck erweitert, indem sie Einzeldinge und Universalien in insgesamt sechs Kategorien umfaßt. Zwischen den Entitäten dieser Kategorien sind bestimmte Beziehungen postuliert worden, wie zum Beispiel Inhärenz, Partizipation, Instantiierung, Exemplifizierung und Charakterisierung. In diesem Kapitel soil der Frage nachgegangen werden, wie eben diese Beziehungen zwischen den Entitäten dieser Kategorien genauer charakterisiert und die sie bezeichnenden relationalen Ausdrücke eindeutig formal definiert werden konnen.

We propose a formalization of a realist ontology using first order logic with identity and allowing quantification over terms representing both individuals and universals. In addition to identity, the ontology includes also relational predicates such as subtype, instantiation, parthood, location, and inherence. Inspired in part by Davidson’s treatment of events, the ontology includes also various relations linking events to their participants and to the times at which they occur.

This paper sets mathematics among the sciences, despite not being empirical, because it studies relations of various sorts, like the sciences. Each empirical science studies the relations among objects, which relations determining which science. The mathematical science studies relations as such, regardless of what those relations may be or be among, how relations themselves are related. This places it at the extreme among the sciences with no objects of its own (A Subject with no Object, by J.P. Burgess and G. (...) Rosen). Examples are discussed. The historical development of written mathematics from algorithms on clay tablets to theorems with proofs is said to show that application of algorithms to specific problems and theorems to scientific objects is like allegorical interpretation. Mathematics fits into the modern scientific context because the sciences, beginning with Galileo, have been constructed in imitation of mathematics. Viewing mathematics this way does not solve any ontological problems, but it does show how mathematics avoids them. Epistemological problems, insuperable for object realism, are simplified. For example, we have access to relations among any objects that we can consider objectively, first physical objects and then mathematical objects of greater and greater abstraction. (shrink)

La thèse du présent article est que l’opposition factice entre James, repré- sentant supposé des « relations externes », d’une part, et Bradley, représen- tant supposé des « relations internes », d’autre part, est due à une mauvaise appréhension des thèses de ce dernier. Ce premier contresens conduit alors à manquer le propos même de James.

This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category relations such as instance-of, member-of, and partition-of. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical (...) for formal ontology. We provide examples to support this thesis from the domain of biomedicine. (shrink)