Entities of many kinds, not just material things, have been credited with parts. Armstrong, for example, has taken propositions and properties to be parts of their conjunctions, sets to be parts of sets that include them, and geographical regions and events to be parts of regions and events that contain them. The justification for bringing all these diverse relations under a single ‘part–whole’ concept is that they share all or most of the formal features articulated in mereology. But the concept (...) has also prompted an ontological thesis that has been expressed in various ways: that wholes are ‘no ontological addition’ to their parts ; that to list both a whole and its parts is ‘double counting’; and that there is ‘no more’ to a whole than its parts: for example, that there is no more to a conjunction than the conjuncts that are its parts, and whose truth or falsity determines whether it is true or false. For brevity, I shall express the thesis in the last of these ways, as the claim that entities with parts are ‘nothing but’ those parts. (shrink)

Advocates of sortal essentialism have argued that concepts like “thing” or “object” lack the unambiguous individuative criteria necessary to play the role of genuine sortals in reference. Instead, they function as “dummy sortals” which are placeholders or incomplete designations. In disqualifying apparent placeholder sortals, however, these philosophers have posed insuperable problems for accounts of childhood conceptual development. I argue that recent evidence in psychology demonstrates that children do possess simple or basic sortals of physical objects or things. I contend that (...) these concepts provide the genuine individuative criteria necessary for reference. As a consequence, sortalism can be made compatible with the developmental facts of conceptual development. (shrink)

One way of understanding the reduplicative formula ‘Christ is, qua God, omniscient, but qua man, limited in knowledge’ is to take the occurrences of the ‘ qua ’ locution as picking out different parts of Christ: a divine part and a human part. But this view of Christ as a composite being runs into paradox when combined with the orthodox understanding of the Incarnation, according to which Christ is identical to the second person of the Trinity. In response, we have (...) to choose between modifying the orthodox understanding, adopting a philosophically and theologically contentious perdurantist account of persistence through time, or rejecting altogether the idea of the composite Christ. (shrink)

Mereological nihilism is the thesis that there are no composite objects—i.e. objects with proper material parts. One of the main advantages of mereological nihilism is that it allows its supporters to avoid a number of notorious philosophical puzzles. However, it seems to offer this advantage only at the expense of certain widespread and deeply entrenched beliefs. In particular, it is usually assumed that mereological nihilism entails eliminativism about ordinary objects—i.e. the counterintuitive thesis that there are no such things as tables, (...) apples, cats, and the like. In this paper, I argue that this assumption is false—mereological nihilists do not need to be eliminativists about tables, apples, or cats. Non-eliminativist nihilists claim that all it takes for there to be a cat is that there are simples arranged cat-wise. More specifically, non-eliminative nihilists argue that expressions such as ‘the cat’ in sentences such as ‘The cat is on the mat’ do not refer to composite objects but only to simples arranged cat-wise and compare this metaphysical discovery to the scientific discovery that ‘water’ refers to dihydrogen oxide. Non-eliminative nihilism, I argue, is not only a coherent position, but it is preferable to its more popular, eliminativist counterpart, as it enjoys the key benefits of nihilism without incurring the prohibitive costs of eliminativism. Moreover, unlike conciliatory strategies adopted by eliminative nihilists, non-eliminative nihilism allow its supporters to account not only for how we can assert something true by saying ‘The cat is on the mat’ but also for how we can believe something true by believing that the cat is on the mat. (shrink)

I offer a diagnosis of the parallelism between the Doctrine of Potential Parts and the Doctrine of Potential Wholes and briefly examine its bearing on Johansson’s account of the Tibbles-Tib Problem.

Prolegomena It is fitting to begin this book on intuitionistic type theory by putting the subject matter into perspective. The purpose of this chapter is to ...

This paper asks whether persistence can be a matter of convention. It argues that in a rather unexciting de dicto sense persistence is indeed a matter of convention, but it rejects the notion that persistence can be a matter of convention in a more substantial de re sense. However, scenarios can be imagined that appear to involve conventional persistence of the latter kind. Since there are strong reasons for thinking that such conventionality is impossible, it is desirable that our metaphysical-cum-semantic (...) theories of persistence be able to account for such scenarios in terms of conventions of the first kind. Later parts of the article therefore investigate whether three of the currently most influential metaphysical-cum-semantic theories of persistence—the endurance theory, the stage theory, and the perdurance theory—can do this. Fortunately, for them, it turns out that all can, though some philosophers have disputed this. However, when we ask how they account for a typical case of “conventional persistence” some problematic features of the theories—having to do with reference, persistence conditions, how they relate, and the epistemology of persistence—are revealed. (shrink)

This paper defends a conceptualist answer to the question how objects come by their modal properties. It isolates the controversial metaphysical assumptions that are needed to get ontological conceptualism off the ground, outlines the conceptualist answer to the question and shows that conceptualism is not in as bad a shape as some critics have maintained.

Philosophers often talk as if what it takes for a person to persist through time were up to us, as individuals or as a linguistic community, to decide. In most ordinary situations it might be fully determinate whether someone has survived or perished: barring some unforeseen catastrophe, it is clear enough that you will still exist ten minutes from now, for example. But there is no shortage of actual and imaginary situations where it is not so clear whether one survives. (...) Here reasonable people may disagree. There are "fission" cases where each of one's cerebral hemispheres is transplanted into a different head; Star-Trek-style "teletransportation" stories; actual cases of brain damage so severe that one can never again regain consciousness, even though one's circulation, breathing, digestion, and other "animal" functions continue; and stories where one's brain cells are gradually removed and replaced by cells from someone else, to name only a few favorites. (shrink)

Sortal predicates have been associated with a counting process, which acts as a criterion of identity for the individuals they correctly apply to. We discuss in what sense certain types of predicates suggested by quantum physics deserve the title of ‘sortal’ as well, although they do not characterize either a process of counting or a criterion of identity for the entities that fall under them. We call such predicates ‘quantum-sortal predicates’ and, instead of a process of counting, to them is (...) associated a ‘criterion of cardinality’. After their general characterization, it is discussed how these predicates can be formally described. (shrink)

Among the philosophical accounts of reference, Quine’s The Roots of Reference stands out in offering an integrated account of the acquisition of linguistic reference and object individuation. Based on a non-referential ability to distinguish bodies, the acquisition of sortals and quantification are crucial steps in learning to refer to objects. In this article, we critically re-assess Quine’s account of reference. Our critique will proceed in three steps with the aim of showing that Quine effectively presupposes what he sets out to (...) explain, namely, reference to objects. We are going to argue that sortals do not individuate, that bodies are already objects, and that the acquisition of variables presupposes a notion of identity. The result is diagnostic of a central desideratum for any theory of reference: an explanation of spatiotemporal object individuation. (shrink)

This book argues that a plausible account of emergence requires replacing the traditional assumption that what primarily exists are particular entities with generic processes. Traversing contemporary physics and issues of identity over time, it then proceeds to develop a metaphysical taxonomy of emergent entities and of the character of human life.

The main subject of Cusanus’ investigations was the name of God. He claimed to have achieved the best possible one, Not-Other. Since Cusanus stressed that these two words do not mean the corresponding affirmative word, i.e. the same, they represent the failure of the double negation law and there￾fore belong to non-classical, and above all, intuitionist logic. Some of his books implicitly applied intuitionist reasoning and the corresponding organization of a theory which is governed by intuitionist logic. A comparison of (...) two of Cusanus’ short writings shows that throughout his life he substantially improved his use of this kind of logic and ultimately was able to reason consistently within such a logic and recognize some of its basic laws. One important idea developed by him was that of a proposition composed of a triple repetition of “not-other” expressing “the Tri-unity of concordance” i.e. the “best name for the Trinity”. I complete his application of intuitionist logic to theological subjects by charac￾terizing the inner relationships within the Trinity in such a way that there are no longer contradictions in the notion. Generally speaking, the notion of the Trin￾ity implies a translation from intuitionist to classical logic, to which Cusanus closely approximated. Moreover, I show that the main aspects of Christian rev￾elation, including Christ’s teachings, are represented both by this translation and by some doubly negated propositions of intuitionist logic. Hence, intuition￾ist logic was introduced into the history of Western theological thinking with Christian revelation, as only Cusanus partly recognized. Appendix 1 summa￾rizes a detailed analysis of Cusanus’ second short writing. Appendix 2 shows that the Athanasian creed regarding the Christian Trinity is a consistent se￾quence of intuitionist propositions provided that some verbal emendations are added, showing that ancient trinitarian thinking was also close to intuitionist reasoning. (shrink)

In this paper, I consider the philosophical consequences of one tradition in Trinitarian theology, which emphasizes that each of the persons of the Trinity is wholly God. I pay special attention to Leftow’s claim that the persons of the Godhead must be divine in the same sense of the word ‘divine’ as the Godhead itself. I argue that the existing philosophical account of the Trinity which best captures this view is what I have termed the ‘Strong Theory of Relative Identity,’ (...) first proposed Peter Geach. I then develop what I take to be the most pressing objection to this account of the Trinity, namely that it cannot be supplemented with a coherent model-theoretic semantics. I end with a suggestion for responding to this objection. (shrink)

Among the most interesting features of Homotopy Type Theory is the way it treats identity, which has various unusual characteristics. We examine the formal features of “identity types” in HoTT, and how they relate to its other features including intensionality, constructive logic, the interpretation of types as concepts, and the Univalence Axiom. The unusual behaviour of identity types might suggest that they be reinterpreted as representing indiscernibility. We explore this by defining indiscernibility in HoTT and examine its relationship with identity. (...) We argue that identity types are a primitive component of HoTT and cannot be reduced to indiscernibility. (shrink)

I argue for three central theses: ‘intuition’ is ambiguous, in material object metaphysics ‘intuition’ refers to pre-theoretical beliefs, and these pre-theoretical beliefs are generated by an innate physical reasoning system. I begin by outlining the relevant background discussions on the nature of intuitions and their role in philosophy to motivate the need for a more careful investigation of the meaning of ‘intuition’ and the role of intuitions in specific sub-disciplines of philosophy. In chapters one and two I argue that ‘intuition’ (...) is ambiguous between an inflationary and deflationary sense. In the inflationary sense, ‘intuition’ refers to a priori intellectual seemings with a special phenomenology, conceptual etiology, and modal content. In the deflationary sense, ‘intuition’ refers to beliefs or inclinations to believe. In chapter three I specifically examine the use of intuitions in material object metaphysics and conclude that in this sub-community ‘intuition’ is used in the deflationary sense to refer to pre-theoretical beliefs. Drawing from research on infant cognition, in the final chapter I argue that intuitions regarding material object metaphysics are those judgments that arise from an innate physical reasoning system. Based on this empirical observation, I argue that metaphysicians ought to give preference to abstract intuitions over intuitions regarding concrete cases because these abstract intuitions reflect the innate structure of our physical reasoning mechanisms. (shrink)

The paradigmatic examples of what we call nowadays ‘mere Cambridge changes’ are relational properties. If someone is on the left of a table at t − 1 and on the right of this table at t, the table does not undergo a physical change, but it has nonetheless new relational properties. What kind of relation lies behind this kind of change? Should we abandon the definition of identity as a set of permanent properties through time? This concern with identity and (...) change was already present in Aristotle's Physics 5 and 7 and medieval commentators tackled the problem with some important refinements due to their metaphysical discussions about the nature of relations. John of Jandun's discussion of this topic, at the beginning of the fourteenth century, is particularly interesting. First, he defines self-identity as a relation of reason, which means for him that it is not a real relation. Second, he distinguishes two kinds of relational changes: those involving real relations and the acquisition a qualitative propert... (shrink)

In Mental Acts Professor Peter Geach asserts that “‘The same’ is a fragmentary expression, and has no significance unless we say or mean ‘the same X’, where ‘X’ represents a general term … ” In Reference and Generality Geach interjects the following note: “I maintain that it makes no sense to judge whether x and y are ‘the same’, or whether x remains ‘the same’, unless we add or understand some general term ‘the same F’.” Here, as in Mental Acts, (...) he goes on to say that not any general term will serve to complete ‘the same’ constructions; only substantival terms will suffice for this purpose. Finally, in his article, “ldentity,” Geach asserts that “When one says ‘x is identical with y’, this … is an incomplete expression; it is short for ‘x is the same A as y’, where ‘A’ represents some count noun understood from the context of utterance—or else, it is just a vague expression of a half-formed thought.” (We should not, incidently, conclude from this last remark that Geach thinks all and only count nouns are substantival terms. (shrink)

Peter Geach famously holds that there is no such thing as absolute identity. There are rather, as Geach sees it, a variety of relative identity relations, each essentially connected with a particular monadic predicate. Though we can strictly and meaningfully say that an individual a is the same man as the individual b, or that a is the same statue as b, we cannot, on this view, strictly and meaningfully say that the individual a simply is b. It is difficult (...) to find anything like a persuasive argument for this doctrine in Geach's work. But one claim made by Geach is that his account of identity is the account most naturally aligned with Frege's widely admired treatment of cardinality. And though this claim of an affinity between Frege's and Geach's doctrines has been challenged, the challenge has been resisted. William Alston and Jonathan Bennett, indeed, go further than Geach to argue that Frege's doctrine implies Geach's. If Alston and Bennett are right, then those who favor a broadly Fregean treatment of cardinality have no choice but to adopt Geach's doctrine of relative identity. And because contemporary set-theoretic accounts of cardinality are essentially Fregean in all respects relevant to this issue (see §11 below), it follows from Alston and Bennett's claim that virtually every standard modern treatment of cardinality requires a 'relativized' treatment of identity. The purpose of this paper is to argue against the implication claimed by Alston and Bennett. Despite some superficial similarities between Frege's treatment of cardinality and Geach's treatment of identity, the two doctrines are fundamentally opposed. Frege's account of cardinality, and its set-theoretic descendants, are all inconsistent with the claim that identity is 'relative' in Geach's sense. (shrink)

Leibniz’s Law (or as it sometimes called, ‘the Indiscerniblity of Identicals’) is a widely accepted principle governing the notion of numerical identity. The principle states that if a is identical to b, then any property had by a is also had by b. Leibniz’s Law may seem like a trivial principle, but its apparent consequences are far from trivial. The law has been utilised in a wide range of arguments in metaphysics, many leading to substantive and controversial conclusions. This article (...) discusses the applications of Leibniz’s Law to arguments in metaphysics. It begins by presenting a variety of central arguments in metaphysics which appeal to the law. The article then proceeds to discuss a range of strategies that can be drawn upon in resisting an argument by Leibniz’s Law. These strategies divide into three categories: (i) denying Leibniz’s Law; (ii) denying that the argument in question involves a genuine application of the law; and (iii) denying that the argument’s premises are true. Strategies falling under each of these three categories are discussed in turn. (shrink)

Entities of many kinds, not just material things, have been credited with parts. Armstrong , for example, has taken propositions and properties to be parts of their conjunctions, sets to be parts of sets that include them, and geographical regions and events to be parts of regions and events that contain them. The justification for bringing all these diverse relations under a single ‘part–whole’ concept is that they share all or most of the formal features articulated in mereology . But (...) the concept has also prompted an ontological thesis that has been expressed in various ways: that wholes are ‘no ontological addition’ to their parts ; that to list both a whole and its parts is ‘double counting’; and that there is ‘no more’ to a whole than its parts: for example, that there is no more to a conjunction than the conjuncts that are its parts, and whose truth or falsity determines whether it is true or false. For brevity, I shall express the thesis in the last of these ways, as the claim that entities with parts are ‘nothing but’ those parts. (shrink)

In recent decades, a view of identity I call Sortalism has gained popularity. According to this view, if a is identical to b, then there is some sortal S such that a is the same S as b. Sortalism has typically been discussed with respect to the identity of objects. I argue that the motivations for Sortalism about object-identity apply equally well to event-identity. But Sortalism about event-identity poses a serious threat to the view that mental events are token identical (...) to physical events: A particular mental event m is identical with a particular physical event p only if there is a sortal S such that m and p are both Ss. If there is no such sortal, the doctrine of token-identity is not true. I argue here that we have no good reason for thinking that there is any such sortal. (shrink)

This paper defends a hylomorphic version of animalism according to which human persons survive as immaterial, bodiless animals after death. According to the hylomorphism under consideration, human persons have souls that survive death, and according to the animalism under consideration, human persons are necessarily animals. One might think this implies that human persons don't survive their deaths since if they were to survive their deaths, they would be immaterial animals after death, but necessarily animals are material. This paper shows that (...) the hylomorphic animalist can overcome this problem in a way that respects the intuition that animals are material. In addition, the paper defends the hylomorphic animalist survivalist from the objection that her view introduces an insoluble mereological puzzle. (shrink)

There are five main claims that may be made about life after death: We are reincarnated in the self-same body we had in life. We are reincarnated in another body. We are revived, or continue to live in a disembodied form.

Roughly, the problem of the Trinity is the problem of how God can be one and yet be the Father, the Son, and the Holy Spirit, which are three, not one. That one thing is identical with three distinct things seems to violate traditional laws of identity. I propose a solution to this problem according to which it is just an ordinary claim of one-many identity. For example, one pair of shoes is identical with two shoes; and my one body (...) is identical with its six limbs of arms, legs, head, and torso. The pair of shoes is not identical with each one of the two shoes, nor is my body identical with each one of its six limbs, but rather identical with all of them taken together, or collectively. I argue that the problem of the Trinity should be understood accordingly: God is identical with the Father, the Son, and the Holy Spirit collectively, but not with each one of them distributively. According to the way I develop this proposal, no traditional laws of identity are violated, but merely generalized in an intuitive way. I argue that this is compatible with Christian Orthodoxy as given by the Athanasian Creed. I end by responding to some anticipated objections. (shrink)

P.T. Geach has maintained (see, e.g., Geach (1967/1968)) that identity (as well as dissimilarity) is always relative to a general term. According to him, the notion of absolute identity has to be abandoned and replaced by a multiplicity of relative identity relations for which Leibniz's Law - which says that if two objects are identical they have the same properties - does not hold. For Geach relative identity is at least as good as Frege's cardinality thesis which he takes to (...) be strictly connected with relative identity - according to which an ascription of cardinality is always relative to a concept which specifies what, in any particular case, counts as a unit. The idea that there is a close connection between relative identity and Frege's cardinality thesis has been issued again quite recently by Alston and Bennett in (1984). In their opinion, Frege's cardinality thesis is not only similar to relative identity - as Geach maintains - but it implies it. Moreover, they agree with Geach in claiming that a commitment to Frege's cardinality thesis forces a parallel commitment to relative identity. Against Geach, Alston and Bennett we will claim that (Tl): "Frege's cardinality thesis is similar to relative identity" is false and that therefore (T2) "Frege's cardinality thesis implies relative identity" is false as well. (shrink)

Examples suggest that one and the same A may be different Bs, and hence that there is some sort of incompleteness in the unqualified statement that x and y are the same which needs to be eliminated by answering the question “the same what?” One way to make this more precise is by appeal to Geach's idea that identity is relative. In this paper I evaluate Geach's relative identity thesis.

Jonardon Ganeri’s recent book – henceforth, ‘Virtual Subjects’ – is an intriguing introduction to some aspects of the philosophical thought of Fernando Pessoa.

When we begin to investigate the persistence of objects through time, we find immediately that the sort of concerns embodied in Leibniz's Law cause philosophers to divide themselves into the two major camps of Purdurantists and Endurantists. What is required according to each for a given object at a given time to be identified with a given object at another time is held to be dramatically different, even while both often look to the same general sort of indicators for their (...) answers to identity questions: identity or similarity of physical properties, including relational properties like spatial location. I believe, however, that logically prior to the problem of the persistence of objects through time will be questions regarding the composition of objects--we must have coherent notions of what an object is, what it means for parts to compose an object, and what is required for an object to be considered to exist at a single time before we can discuss the continued existence of objects at other times. I believe that posing the problem of temporal gaps for both the Perdurantist and Endurantist to solve can help us uncover reasonable answers to these more basic questions, and thereby help us judge the comparative coherence of the parent theories. Towards this goal, we investigate here some of the assumptions of persistence theories--that Perdurantists are four-dimensionalists and Endurantists are Presentists, for example--before moving on to find reasonable explanations of the composition of objects from within each theory. Important at this stage is clarifying such concepts as parthood and the present. When we at length turn our attention to the problem of gaps, it becomes useful to distinguish two sorts of gaps, each with their own difficulties: a 'gap' as a length of time during which the proper parts of an object are scattered through space, and a 'gap' as a length of time during which the proper parts of an object do not exist in space at all. My contention here is that Perdurantism, paired with four-dimensional spacetime, provides the most coherent answers to the challenges presented throughout. (shrink)

Existem dois tipos de criterio de identidade pessoal, criterios de continuidade mental (geralmente memoria) e criterios de continuidade fisica (como continuidade corporal). Depois de examinar os papeis desempenhados pelos criterios principais, 0 autor sugere uma regra criterial (RECIP) que quando aplicada a urn conjunto de criterios fundamentais fisicos e mentais parece adequar-se a nossas intuicoes acerca do que e ou nao ser a mesma pessoa.

Whenever an object constitutes, makes up or composes another object, the objects in question share a striking number of properties. This paper is addressed to the question of what might account for the intimate relation and striking similarity between constitutionally related objects. According to my account, the similarities between constitutionally related objects are captured at least in part by means of a principle akin to that of strong supervenience. My paper addresses two main issues. First, I propose independently plausible principles (...) by means of which to delineate, in a non-ad-hoc, non-stipulative and non-circular fashion, those properties which can be expected to be shared among constitutionally related objects in virtue of their being so related from those which in general cannot be expected to be shared, or which are shared for other reasons. Secondly,I spell out in detail the nature of the supervenience-principle at work in this context. My account thus aims at isolating, in a methodologically responsible fashion, the particular sort of restricted indiscernibility principle which is a component of the constitution-relation. (shrink)

The existence and importance of supervenience principles for identity across times and worlds have been noted, but insufficient attention has been paid to their precise nature. Such attention is repaid with philosophical dividends. The issues in the formulation of the supervenience principles are two. The first involves the relevant variety of supervenience: that variety is global, but there are in fact two versions of global supervenience that must be distinguished. The second involves the subject matter: the names “identity over time” (...) and “identity across worlds” are misnomers, for in neither case is identity at issue. The philosophical dividends then follow. Nathan Salmon’s argument that identity over time needs no “grounds” in matters of qualitative fact can be answered, as can an argument offered by many, that coincident objects would require objectionably ungrounded differences in identities across times and worlds. (shrink)

Typically, Aristotle’s notion of an accidental unity is explained using our concept of identity, but doing so is fraught and liable to mislead. I argue that we should explain accidental unities in terms of sameness: doing so not only shows a coherence among texts thought to be in tension with one another, it reconciles the two competing conceptions of accidental unities in a satisfying way. I conclude by answering several Boolean questions that naturally arise in response to the inclusion of (...) accidental unities in Aristotle’s ontology. (shrink)

Moderate composition as identity holds that there is a generalized identity relation, “being the same portion of reality,” of which composition and numerical identity are distinct species. Composition is a genuine kind of identity; but unlike numerical identity, it fails to satisfy Leibniz’s Law. A composite whole and its parts differ with respect to their numerical properties: the whole is one; the parts (collectively) are many. Moderate composition as identity faces the challenge: how, in the absence of Leibniz’s Law, can (...) one characterize what counts as a genuine kind of identity? This paper explores a promising answer: a genuine kind of identity must satisfy a version of Leibniz’s Law restricted to properties that ascribe qualitative character. Strong composition as identity holds that there is only one identity relation, that it satisfies Leibniz’s Law, and that the parts are identical with the whole that they compose. Strong composition as identity faces the challenge of showing that numerical properties do not provide counterexamples to Leibniz’s Law, and doing so in a way that is compatible with the framework of plural logic that is needed to formulate the theory. The most promising way to do this is to hold that plural logic is fundamental at the level of our representations, but not fundamental at the level of being. At the level of being, portions of reality cannot be characterized as either singular or plural. It turns out that the proposed moderate theory and the proposed strong theory are one and the same. In spite of its many attractions, I reject it. The main issue has to do with whether slice-sensitive emergent properties are possible. I argue that they are, making use both of specific examples and general principles of modal plenitude. I do not claim that my arguments are irresistible. But they cannot be evaded as easily as a related argument against strong composition as identity given by Kris McDaniel. I critically examine McDaniel’s argument to pave the way for my own. (shrink)

This article critically focuses on the methodological aspects of Scott Shapiro’s book Legality . Indeed Shapiro’s book sets out several original theses about not only the nature of law and the main problems of jurisprudence, but also about how the nature of law can be discovered by jurisprudence. In this sense, the method of inquiry adopted by Shapiro can be considered as one of the most challenging outcomes of his research. The article is divided into two parts. In the first (...) two sections I shall analyze Shapiro’s jurisprudential approach by focusing on its resort to metaphysical vocabulary, conceptual analysis, constructive reasoning, and institutional explanation of law. In the following sections I will consider some of the problems that this approach gives rise to, and outline an alternative view on the nature of law stimulated by the discussion of Shapiro’s work. (shrink)

I reconsider in this article the problem of the Holy Trinity from the standpoint of some recent theories of the ontology of relations. After having presented the problem and after having introduced some basic ontological concepts, I shall briefly dwell on the ontology of non-symmetrical relations and on the O-Roles theory suggested by Francesco Orilia. Afterwards, I shall develop my own solution to the problem of the Holy Trinity by exploring the status of Intratrinitarian relations and of divine Persons. Among (...) other things, I shall defend the thesis that divine Persons are not substances, but peculiar modes of God. I shall also ground the distinction between the properties attributed to God himself and the ones attributed to specific divine Persons. Finally, I shall anticipate and face some objections against my account and argue that it is legitimate to maintain that there is no kind of persons in general—which is a consequence of my view. (shrink)