Relations

According to directionalism, non-symmetric relations are distinct from their converses. Kit Fine (2000) argues that the directionalist faces a dilemma; they must either (i) reject the principle Uniqueness, which states that no completion (fact, state of affairs, or proposition) is a completion of more than one relation, or (ii) reject the principle Identity, which states that each completion of a relation is identical to a completion of its converse (e.g., Dante’s loving Bice is identical to Bice’s being loved by Dante). (...) Fine’s argument has been regarded as a decisive blow to directionalism. But new strategies for replying to it can be developed with the tools of the postmodal metaphysician, who is comfortable individuating relations and their completions hyperintensionally, allowing for necessary connections between distinct entities, and making use of hyperintensional notions like essence and grounding. In what follows, I develop postmodal strategies for denying both horns of Fine’s dilemma, concluding that the postmodal directionalist need not be concerned with Fine’s argument. (shrink)

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)

In this paper, I first argue for a relational account of the concept of ontological form and its difference from being. The former is explicated by the concepts of character-neutral internal relation and existence or being and that the ontological forms of entities consist in these formal ontological relations in which the entities stand. Secondly, I apply this account to ontological categories and their membership-determination, existence and reality. Here I also defend a relational view that categories are construed as pluralities (...) of entities standing in the same formal ontological relations in the same order. Formal ontological relations are not additional entities to their relata because they are internal relations. Therefore, categories do not exist as entities numerically distinct from their members. Yet their membership is determined by formal ontological relations actually holding among entities. My accounts are nominalist since ontological forms and categories are not universal or general entities of any sort. (shrink)

In this review I take to task the related views of E.J. Lowe, John Heil and Peter Simons according to which relations don't exist because they're dispensable qua truth-makers. I argue that this view is methodologically unstable because we also have reason to believe that relations exist because our best mathematical and scientific theories say so, i.e. quantify over them.

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

A many-faceted beast, the metaphysics of relations can be approached from many angles. One could begin with the various ways in which relational states are expressed in natural language. If a more historical treatment is wanted, one could begin with Plato, Aristotle, or Leibniz. In the following, I will approach the topic by first drawing on Russell’s Principles of Mathematics (1903) (still a natural-enough starting point), and then turn to a discussion mainly of positionalism. The closing section contains an overview (...) of the six contributions to this Special Issue. (shrink)

I propose a novel metaphysical explanation of identity and distinctness facts called the Modal Proposal. According to the Modal Proposal, for each identity fact – that is, each fact of the form a=b – that fact is metaphysically explained by the fact that it is necessary that the entities involved are indiscernible, and for each distinctness fact –that is, each fact of the form a≠b – that fact is metaphysically explained by the fact that it is possible for the entities (...) involved to be discernible. I argue that the Modal Proposal has greater payoffs at less cost than any of its competitors. It gives simple, uniform, and intuitive explanations of identity and distinctness that conserve longstanding philosophical insights about identity that go back to Leibniz. It does this while making our fundamental base more parsimonious, determining whether controversial cases of identity or distinctness are possible, and expanding our understanding of these central philosophical relations. It does all this while avoiding controversial ontological commitments. (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.

This paper will examine the Küng-Armstrong trilemma against Class Nominalism. We will see that combining Class Nominalism and Zermelo-Fraenkel set theory (ZF) can provide us with a sophisticated version of Class Nominalism, namely ZF-Class Nominalism, which successfully addresses the objection and leads to a moderate version of ineffabilism about the putative set-membership relation.

We give a new and elementary construction of primitive positive decomposition of higher arity relations into binary relations on finite domains. Such decompositions come up in applications to constraint satisfaction problems, clone theory and relational databases. The construction exploits functional completeness of 2-input functions in many-valued logic by interpreting relations as graphs of partially defined multivalued ‘functions’. The ‘functions’ are then composed from ordinary functions in the usual sense. The construction is computationally effective and relies on well-developed methods of functional (...) decomposition, but reduces relations only to ternary relations. An additional construction then decomposes ternary into binary relations, also effectively, by converting certain disjunctions into existential quantifications. The result gives a uniform proof of Peirce’s reduction thesis on finite domains, and shows that the graph of any Sheffer function composes all relations there. (shrink)

Is second-order logic logic? Famously Quine argued second-order logic wasn't logic but his arguments have been the subject of influential criticisms. In the early sections of this paper, I develop a deeper perspective upon Quine's philosophy of logic by exploring his positive conception of what logic is for and hence what logic is. Seen from this perspective, I argue that many of the criticisms of his case against second-order logic miss their mark. Then, in the later sections, I go beyond (...) Quine to develop a novel case that quantification into polyadic predicate position, understood as requiring quantifiers to range over relations, isn't intelligible. (shrink)

This book addresses the issue of natural simultaneity of relatives, discussed by Aristotle in Categories 7, 7b15-8a12. Natural simultaneity is a form of symmetrical ontological dependence that holds between items that are not causally linked. In this section of the Categories, Aristotle introduces this topic in his analysis of relatives and maintains that, although relatives seem to be for the most part simultaneous by nature, there seem to be some exceptions. He mentions two pairs of relatives as exceptions, namely the (...) pairs knowledge/knowable and perception/perceptible, and argues at length for the priority of the second relative over the first one in each case. Through a close reading of this text, the author analyses Aristotle's arguments for the thesis of the exceptional character of these pairs and shows that all of them are unsuccessful in supporting the thesis. In order to draw this conclusion, the author highlights and carefully considers the properties that Aristotle is committed to attributing to relatives, taking into account the metaphysical framework of the Categories as well as their specificities within the set of non-substantial categories. Then, he shows that Aristotle's mature views on relatives in the Metaphysics can be construed as committing him to the rejection of such a thesis. Although the issue of natural simultaneity is just one of several that Aristotle considers in his discussion of relatives throughout Categories 7, it is a particularly relevant issue, since it involves a number of puzzles whose analysis allows for a better understanding of the very notion of relativity in Aristotle. This is the first book to explore this issue from the perspective of illuminating the Aristotelian views on relatives. Aristotle on Natural Simultaneity of Relatives in the Categories will appeal to scholars and graduate students working on Aristotle, ancient philosophy in general, and metaphysics. (shrink)

There is an ongoing debate on the ontology of relations, which features four main competing approaches: directionalism, positionalism, anti-positionalism, and primitivism. This paper focuses on a particular version of positionalism, namely role positionalism, and proposes the results of an experimental philosophy research concerning aspects of it. We tested the intuitions of ordinary subjects regarding the inter-relational generality of the roles typically assumed for spatial and kinematic relations, namely source, destination, theme, location. According to a 2014 paper by Orilia, this generality (...) is rather wide, as it encompasses relations of temporal order, causation, quantitative order, transaction, possession, and parthood. Our findings do not support this proposal, except for parthood, and, in a limited way, for temporal order. We also tested the intuitions of ordinary subjects regarding the contrast between the pro-converses option, according to which non-symmetric relations split into distinct converse relations, and the anti-converses option, according to which non-symmetric relations have no distinct converses. Although traditionally positionalism is associated to the latter option, in recent works by Orilia role positionalism is associated to the former option for at least some relations, while remaining anchored to the latter option for other relations. Our findings support this mixed line to some extent, but not quite in the way suggested by Orilia in such works. (shrink)

This book provides an exhaustive overview of the ontology of relations. Moreover, it offers a detailed defense of the existence of irreducible relations in the universe and shows that entities such as powers should be better thought of as relations. At first, the author discusses many classical arguments for and against the existence of relations and draws preliminary distinctions between internal and external relations and symmetrical and non-symmetrical relations. He defends the existence of irreducible relations against several objections, most notably (...) three Bradleyan regresses. In response to these objections, the author argues that both internal and external relations should be thought of as relational modes and that intentional, temporal and spatial relations are external. He also presents several problems that are typically taken to affect non-symmetrical relations and introduces one new version of a theory to deal with them-the O-role theory. Finally, the author explores essential dependence relations and causal dependence relations and defends the view that power are relational modes. The Ontology of Relations will be of interest to scholars and advanced students working in metaphysics, philosophy of science, and history of philosophy. (shrink)

This essay critically discusses the rising interest in process philosophy in recent years. I argue that the appeal of process philosophy lies in its ability to circumnavigate the binary dichotomies pervasive in European philosophy and defend an interpretation of process philosophy in terms of relationality, difference, and change. After outlining the central tenets of process philosophy, Graham Harman’s critique of a relational account of process philosophy is examined, particularly his assertion that this type of philosophy cannot fully explain genuine change. (...) Despite the merits of Harman’s critique, I will show that his object-oriented ontology faces similar limitations. Turning to Graham Priest’s dialethism I suggest that philosophy, instead of striving for a consistent representation of fundamental metaphysics, must embrace paradox to some extent. This leads the philosophical discipline to understand itself as a transformative process. This essay critically discusses the rising interest in process philosophy in recent years. I argue that the appeal of process philosophy lies in its ability to circumnavigate the binary dichotomies pervasive in European philosophy and defend an interpretation of process philosophy in terms of relationality, difference, and change. After outlining the central tenets of process philosophy, Graham Harman’s critique of a relational account of process philosophy is examined, particularly his assertion that this type of philosophy cannot fully explain genuine change. Despite the merits of Harman’s critique, I will show that his object-oriented ontology faces similar limitations. Turning to Graham Priest’s dialethism I suggest that philosophy, instead of striving for a consistent representation of fundamental metaphysics, must embrace paradox to some extent. This leads the philosophical discipline to understand itself as a transformative process. (shrink)

The paper presents an extension of the metaphysics of self-subsisting structures set out in a companion paper to the realm of non-relativistic quantum physics. The discussion is centered around a Pure Shape Dynamics model representing a relational implementation of a de Broglie-Bohm N-body system. An interpretation of this model in terms of self-subsisting structures is proposed and assessed against the background of the debate on the metaphysics of quantum physics, with a particular emphasis on the nature of the wave function. (...) The analysis shows that elaborating an appropriate Leibnizian/Machian metaphysics of the quantum world requires a substantial revision of the notion of world-building relation. (shrink)

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)

At least since Russell, mainstream analytic philosophy has distinguished internal and external relations and acknowledged the existence of both. This seems in line with both the manifest and scientific images of the world. However, there is a recent deflationary trend about relations, which focuses on the truthmakers of relational statements in order to show that putative external relations are in fact internal, and that internal relations do not really exist. Lowe’s posthumous 2016 paper is a thorough presentation of this line (...) of thought. This article critically analyzes Lowe’s arguments in that paper, and some related arguments in recent works. It finds them wanting and thus reaffirms the irreducible reality of relations. (shrink)

Relationism holds that objects entirely depend on relations or that they must be eliminated in favour of the latter. In this article, I raise a problem for relationism. I argue that relationism cannot account for the order in which non-symmetrical relations apply to their relata. In Section 1, I introduce some concepts in the ontology of relations and define relationism. In Section 2, I present the Problem of Order for non-symmetrical relations, after distinguishing it from the Problem of Differential Application. (...) I also examine four main existing strategies to solve it. In Section 3, I develop my argument. The first step consists in arguing that—among those strategies—relationism can only accept directionalism. The second step consists in arguing that directionalism is affected by a serious problem: the Problem of Converses. I also show that relationists who embrace directionalism cannot solve this problem. In Section 4, I introduce and rebut several strategies on behalf of relationists to cope with my argument. In Section 5, I briefly draw some conclusions. (shrink)

I shall refine in this article Jaegwon Kim's theory of events by appealing to modes, i.e., particular properties that also depend on their 'bearers' for their identity. Events will turn out to be occurrent modes, i.e., relational modes having further modes and times as their relata. In Section 1 I shall briefly present Kim's theory and some difficulties that affect it. In Section 2, after having made some preliminary assumptions on modes and universals, I shall introduce occurrent modes. In Section (...) 3 I shall show how my theory can deal with the difficulties discussed in Section 1. (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)

Hume’s account of contrariety in Book I of the Treatise poses several interpretive puzzles. I consider each in turn and offer a novel interpretation of contrariety based on Hume’s discussion of the passions. That Book II and Book I form a complete chain of reasoning suggests that the way in which passions are related is analogous to the way in which ideas are related in the understanding. I argue that Hume identifies three species of empirical contrariety in Book II: contraries, (...) oppositions, and contradictions. All three species help clarify Hume’s remarks concerning contrariety in Book I. I further identify a second genus I call logical contrariety by drawing on Hume’s discussion of fictitious duration and distance. (shrink)

Since the publication of Hume’s Treatise, scholars have been divided on how to interpret the ontology of Humean relations. In particular, is Hume’s theory of relations consistent with positivism, (skeptical) realism, or anti-realism? In this essay, I propose a novel distinction separating impressions and ideas from relations such that relations are construed as forming a distinct category equal to impressions and ideas. In so doing, I interpret Hume as fundamentally agnostic toward the ontology of relations.

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)

In this paper, I propose a solution to an almost ignored problem in metaphysics and metametaphysics: what is categorial fundamentality and non-fundamentality? My proposal builds on E. J. Lowe’s view on the issue. By means of the newcomer notion of generic identity, I can give an account of something that Lowe did not explicate: the constitution of formal ontolog- ical relations. Formal ontological relations (e.g. instantiation) are internal relations that deter- mine ontological form and category-membership. I argue that categorial fundamentality (...) is hav- ing membership fully determined by a simple formal ontological relation or relations jointly in an order and categorial non-fundamentality is having membership at least partly determined by a derived formal ontological relation in an order. In contrast to Lowe, my proposal does not pre- suppose non-modal essentialism. (Please, ask for the penultimate draft.). (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)

We argue that traditional formulations of the reduction thesis that tie it to privileged relational operations do not suffice for Peirce’s justification of the categories and invite the charge of gerrymandering to make it come out as true. We then develop a more robust invariant formulation of the thesis, one that is immune to that charge, by explicating the use of triads in any relational operations. The explication also allows us to track how Thirdness enters the structure of higher order (...) relations and even to propose a numerical measure of it. Our analysis reveals new conceptual phenomena when negation or disjunction are used to compound relations. (shrink)

There is a tension in Santayana's ontological system, one that is generated by the interactions of his doctrine of existence, doctrine of systematization, and critical agnosticism on the infinity of material substance. From and, in conjunction with what will be called the expansionist postulate, an infinite material expansion is generated, one that is in conflict with. This tension is remediated by a coherentist proposal regarding Santayanan existence, the relevant feature of which is that existents at distinct orders of organization are (...) in symmetrical dependence relations. "Metaphysical coherentism," which has recently been described as "one of the least explored areas in contemporary... (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)

David Hume's early philosophy appeals to fiction and artifice to explain several important features in our cognitive and social activity. In this dissertation, I develop a typology of Humean fictions and artifices to clarify and render his account consistent. In so doing, I identify a special class of fictions I divide into natural fictions and natural artifices. I argue that this special class of fictions represents a significant break with prior English-speaking philosophers, such as Francis Bacon and John Locke, in (...) so far as these fictions and artifices of the imagination are recognized as natural, irresistible, and pragmatically useful in human cognition and social activity. That fictions and artifices are naturally generated by the imagination in epistemic and moral contexts, I argue, is a watershed discovery in the history of philosophy. Indeed, it is a philosophical conclusion that poses serious, perhaps fatal, problems for philosophers who espouse thoroughgoing realist positions. More broadly, Hume's pursuit of applying the experimental method to the moral subject reveals that human nature is mightily governed by the imagination, and that fictions and artifices are ubiquitous across the domains of science, morality, theology, logic, mathematics, and philosophy. For that reason, I suggest Hume ought to be recognized as a central figure in the history of philosophical fictionalism. Specifically, via a comparative analysis of Hume and Hans Vaihinger, I make the case that Hume functions as a vital link between Hobbes, Berkeley, and Kant in the development of early modern fictionalism. (shrink)

Non-symmetric relations like loves or between can apply to the same relata in non-equivalent ways. For example, loves may apply to Abelard and Eloise either by Abelard’s loving Eloise or by Eloise’s loving Abelard. On the standard account of relations, different applications of a relation to fixed relata are distinguished by the direction in which the relation applies to the relata. But neither Directionalism nor its most popular rival, Positionalism, offer accounts of differential application that generalize to relations of arbitrary (...) symmetry structure. Here, I develop an alternative account, Relative Positionalism, which distinguishes different applications of a relation to fixed relata in terms of the ways in which the relata are characterized relative to one another. In presenting and defending Relative Positionalism, this paper covers some of the same ground as my [2016], but avoids the latter’s algebraic approach and focuses on interpretative issues—in particular, how to make sense of relative property instantiation—that were not addressed in the earlier paper. (shrink)

The thesis I wish to argue for in this article is that spatial relations such as occupying and being 1 km distant from are external. In the “Section 1” section, I shall introduce the distinction between external and internal relations and some other basic concepts in the ontology of relations. Afterwards, in the subsequent sections, I shall deal with different theories of space: substantivalism and relationism ; the spatial property theory ; super-substantivalism and super-relationism ; and spatial essentialism. I shall (...) demonstrate that, in all such theories, spatial relations need to be considered external. Otherwise, unacceptable consequences or spatial properties that are non-relational by mere façon de parler are in order. Finally, in the “Section 6” section, I shall briefly tackle length contraction in special relativity theory. (shrink)

I shall explore in this article the hypothesis that structures are relations between the components of complex entities. After having introduced hylomorphism, its major advantages and the major views of the nature of structures, I shall introduce the distinctions between external and internal relations and the one between symmetrical and non-symmetrical relations. I shall also describe the theory of non-symmetrical relations that I accept, i.e., the O-Roles theory, as most structures seem to be external and non-symmetrical relations. Later on, I (...) shall develop my hypothesis and I shall deal with one objection, i.e., that relations necessarily come together with Bradley's vicious regress. Finally, I shall also hypothesize that complex entities are different from structures and from their structured components. In this respect, I shall defend a " simple view " of complex entities. Dwelling on this view, I shall also reply to some recent objections against hylomorphism. (shrink)

I present in this article a new theory of structural properties or, more precisely, of structural kinds, such as being methane. According to this theory, structural kinds are kinds that are both emergent and sustained in their existence. In the first section, I introduce structural properties and four problems that affect the most widely held conception of them, namely, the pictorial conception. In the second section, I introduce some theses about emergence, powers, emergent powers, relations and structures that I have (...) defended in other works and that constitute the basis on which my theory of structural kinds is built up. In the third section, I eventually develop my theory in full detail and show how it can solve the problems mentioned in the second section. Finally, in the fourth section, I face five objections and briefly compare my account with some other accounts of structural properties. (shrink)

I offer in this article an account of the distinction between intrinsic and extrinsic properties based on the ontology of modes. Modes are particular properties that directly depend for their identity on their "bearers". In Section 1, I shall introduce the ontology of modes. In Section 2, I shall examine the problem of distinguishing between intrinsic and extrinsic properties by considering another, related problem: that of distinguishing between internal and external relations. In Section 3, I shall present my own account (...) and I shall also single out different degrees of intrinsicality and extrinsicality. In Section 4, I shall deal with missing-relatum modes, namely, with modes that lack specific relata, such as Othello's loving someone. I shall introduce three different theories to deal with them. Finally, in Section 5, I shall solve some problems affecting the intrinsic/extrinsic distinction from the standpoint of my account. (shrink)

Mechanisms are organized collections of objects and activities that underlie certain phenomena/behaviours. In this article, I shall argue that the organizations of mechanisms should be thought of as external relations, namely, as relations that do not entirely depend on their relata’s existence, nor on their natures, nor on their intrinsic properties. After having introduced in the first two sections mechanisms and the ontology of relations, I shall analyse the organizations of mechanisms along four different dimensions: spatial, temporal, causal and hierarchical. (...) I shall demonstrate that each dimension requires that organizations be taken as external relations. Finally, in the last section, I shall anticipate and reply to two objections. (shrink)

‘Instantiation-directed slot theorists’ believe that properties/relations have slots which are filled by their instances/relata e.g., where Abigail is taller than Bronia, there are two slots in the relation Taller Than such that Abigail fills the first slot and Bronia fills the second. This crude statement of the theory runs into ‘The Problem of Filling’, whereby a natural understanding of the relation between slots, filling, and instantiation leads to absurd results. This paper examines a variety of solutions to that problem, one (...) of which is an extension of slot theory that adds an additional category of entities, ‘slotites’. (shrink)

This article analyses the relationship between the concept of single aspect similarity and proposed measures of similarity. More precisely, it compares eleven measures of similarity in terms of how well they satisfy a list of desiderata, chosen to capture common intuitions concerning the properties of similarity and the relations between similarity and dissimilarity. Three types of measures are discussed: similarity as commonality, similarity as a function of dissimilarity, and similarity as a joint function of commonality and difference. Relative to the (...) desiderata, it is found that a measure of the second type fares the best. However, rather than recommend this measure alone as a measure of similarity, it is suggested that there are at least three separate concepts of single aspect similarity, corresponding to the three types of measures. In light of this proposal, three of the eleven measures (and variants of these) are deemed acceptable. (shrink)

2020 update of the entry "Properties".

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)

This paper proposes an integrated-structure notion of interlevel emergence, from a dynamic relational ontological perspective. First, I will argue that only the individualist essentialism of atomistic metaphysics can block the possibility of interlevel emergence. Then I will show that we can make sense of emergence by recognizing the formation of structures of transformative and interdependent causal relations in the generation and development of a particular class of mereological complexes called integrated systems. Finally, I shall argue that even though the emergent (...) structural attributes of such systems are not micro-determined nor micro-reducible, they can still be accounted for by an interlevel integrative neo-mechanistic form of explanation. (shrink)

Ontological dependence is a relation—or, more accurately, a family of relations—between entities or beings. For there are various ways in which one being may be said to depend upon one or more other beings, in a sense of “depend” that is distinctly metaphysical in character and that may be contrasted, thus, with various causal senses of this word. More specifically, a being may be said to depend, in such a sense, upon one or more other beings for its existence or (...) for its identity. Some varieties of ontological dependence may be analyzed in modal terms—that is, in terms of distinctly metaphysical notions of possibility and necessity—while others seem to demand an analysis in terms of the notion of essence. The latter varieties of ontological dependence may accordingly be called species of essential dependence. Notions of ontological dependence are frequently called upon by metaphysicians in their proposed analyses of other metaphysically important notions, such as the notion of substance. (shrink)

According to sparse modalism, the notion of essence can be analysed in terms of necessity and naturalness. In this paper, I develop and defend a version of sparse modalism that is equipped with a non-standard, relativized conception of naturalness. According to this conception, properties and relations can be natural to different degrees relative to different kinds of things, and relations can be natural to different degrees relative to different slots. I argue that this relativized version of sparse modalism can accommodate (...) various cases that the standard, non-relativized version can’t. The alternative version can accommodate cases where a relation is essential to a relatum but merely necessary to another, cases where a property is essential to an object but merely necessary to another, and cases where a less-than-perfectly natural property is essential to an object. (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)

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)