There is more than one way to say that composition is identity. Yi has distinguished the Weak Composition thesis from the Strong Composition thesis and attributed the former to David Lewis while noting that Lewis associates something like the latter with me. Weak Composition is the thesis that the relation between the parts collectively and their whole is closely analogous to identity. Strong Composition is the thesis that the relation between the parts collectively and their whole is identity. Yi is (...) right that Strong Composition does not fully reflect my view. We must recognize further what, borrowing Lewis's characterization, could be called the "stronger, and stranger" Composition thesis, or what I'll call the Stronger Composition thesis for short. On Strong Composition, it is only collectively that the parts are identical with the whole. On Stronger Composition, they are individually identical with it as well. I will explain and motivate this thesis. (shrink)

Analytic theologians have proposed numerous “solutions” to the Logical Problem of the Trinity (LPT), mostly versions of Social Trinitarianism (ST) and Relative Identity Trinitarianism (RI). Both types of solution are controversial, but many hold out hope that further “Trinitarian theorizing” may yield some as yet unimagined, and somehow importantly different, solution to the LPT. I first give a precise definition of the LPT and of what would count as a solution to it. I then show how, though there are infinitely (...) many possible solutions, all solutions can be grouped together into a finite, exhaustive taxonomy, based precisely on those features which make them either controversial, heretical, or inconsistent. The taxonomy reveals why ST and RI have been the major proposed solutions, and also proves that there can be no importantly different, new solutions to the LPT. (shrink)

Locke has been accused of endorsing a theory of kinds that is inconsistent with his theory of individuation. This purported inconsistency comes to the fore in Locke’s treatment of cases involving organisms and the masses of matter that constitute them, for example, the case of a mass constituting an oak tree. In this essay, I argue that this purported problem, known as ‘The Kinds Problem’, can be solved. The Kinds Problem depends on the faulty assumption that nominal essences include only (...) features observable at a time t. Once this assumption is rejected, new candidates open up for the relevant difference in the world that is included in the nominal essence of e.g. mass but not oak tree. And I argue that there is at least one good candidate for the extrinsic feature observable only over time in which the mass differs from the oak it constitutes, namely its persistence conditions. The Kinds Problem can be solved. (shrink)

Ruth Boeker offers a new perspective on Locke’s account of persons and personal identity by considering it within the context of his broader philosophical project and the philosophical debates of his day. Her interpretation emphasizes the importance of the moral and religious dimensions of his view. By taking seriously Locke’s general approach to questions of identity, Boeker shows that we should consider his account of personhood separately from his account of personal identity over time. On this basis, she argues that (...) Locke endorses a moral account of personhood, according to which persons are subjects of accountability, and that his particular thinking about moral accountability explains why he regards sameness of consciousness as necessary for personal identity over time. In contrast to some Neo-Lockean views about personal identity, Boeker argues that Locke’s account of personal identity is not psychological per se, but rather his underlying moral, religious, metaphysical, and epistemic background beliefs are relevant for understanding why he argues for a consciousness-based account of personal identity. Taking his underlying background beliefs into consideration not only sheds light on why many of his early critics do not adopt Locke’s view, but also shows why his view cannot be as easily dismissed as some of his critics assume. -/- . (shrink)

In this paper I propose a new solution to the problem of change: situationalism. According to this view, parts of reality fundamentally disagree about what is the case and reality as a whole is unsettled (i.e. metaphysically indeterminate). When something changes, parts of the world irreconcilably disagree about what properties it has. From this irreconcilable disagreement, indeterminacy arises. I develop this picture using situations, which are parts of possible worlds; this gives it the name situationalism. It allows a B-theory endurance (...) view on which there is genuine incompatibility when things change. There are costs to the view, which are explored, but it is a novel approach which offers a distinct explanation of what happens when things exist through change. (shrink)

Plural identity—the relation of identity between some things xx and some things yy—has been standardly defined in terms of the plural relation one of (or among). This paper challenges that standard view. To that end, it will be argued, first, that the identity relation, singular or plural, can only be defined in a higher-order language, second, that the standard definition of plural identity in terms of the one of (or among) relation should be regarded instead as providing a criterion of (...) identity for pluralities of some particular kind, and third, that there are pluralities of another kind with which a different criterion of identity is associated. The upshot will be that plural identity as standardly defined cannot be the plural counterpart of singular identity. (shrink)

Philosophy and Phenomenological Research, EarlyView.

The subject of this paper is the epistemology of identity: a general theory of knowledge, evidence and justification for the claim that one thing is identical to another. Although identity figures significantly in our epistemic lives, this is a topic that, to the best of my knowledge, has gone entirely unexplored. Initial attempts to integrate such an epistemology into existing theories of evidence---many of which are tailor-made for contingent propositions---are confounded by the necessity of identity. I defend a restricted form (...) of skepticism according to which the only knowable identity claims are trivial. (shrink)

It is often argued that certain metaphysical complications surrounding the phenomenon of monozygotic twinning force us to conclude that, prior to the point at which twinning is no longer possible, the zygote or early embryo cannot be considered an individual human organism. In this essay, I argue, on the contrary, that there are in fact several ways of making sense of monozygotic twinning that uphold the humanity of the original zygote, but also that there is no easy answer to what (...) happens when the human zygote twins. All of the options available carry with them one or more surprising, alarming, or otherwise counterintuitive implications. All things considered, I conclude that the “budding option,” according to which the original human organism present before twinning carries on as one of the resulting embryos but not the other, is the most plausible explanation of what happens when a human zygote twins. (shrink)

ObjectiveThis paper explores the interrelation among the concepts of identity, individuality and indiscernibilty, primarily from the standpoint of contemporary western analytic ontology and logic.MethodI review, compare and evaluate the classical and the alternative approaches to identity. In this regard, I focus on the issue whether these purportedly alternative approaches do really provide us with alternative conceptions of identity, or they are considering some other forms of equivalence relations weaker than the relation of identity. Arguments for and against the Principles of (...) Indiscernibility of Identicals and Identity of Indiscernibles are delineated to unravel the connection between identity and indiscernibility. Various attempts to provide the definition of identity in terms of indiscernibility have also been evaluated.FindingsI argue that it is a verbal issue whether we use the term ‘identity’, when analysed in terms of indiscernibility, or ‘congruence’, but the underlying metaphysical issues are not simple. If identity is analysed in terms of indiscernibility, stipulation of one’s philosophical understanding of property and possession of properties in the concerned logic and ontology should be made in clear terms to avoid confusion. But there can also be ontological and logical frameworks where numerical identity and difference are not qualitatively explicable.ConclusionA pluralist stance, at least at the phenomenal level, is proposed to be maintained with regard to the explanation of the phenomenon of identity. This pluralist stance has also been proposed as a plausible metatheoretical framework of metaphysical debates. (shrink)

Oliver's and Rodriguez-Pereyra's important interpretation of the problem of universals as one concerning truthmakers neglects something crucial: that there is a numerical identity between numerically distinct particulars. The problem of universals is rather how to resolve the apparent contradiction that the same things are both numerically distinct and numerically identical. Baxter's account of instantiation as partial identity resolves the apparent contradiction. A seeming objection to this account is that it appears to make instantiation symmetric, since partial identity is symmetric. Armstrong's (...) standard reply is that the difference between a particular and a universal is what makes instantiation asymmetric. Brown suggests, though, that the instantiation of a universal by a universal is sometimes symmetric. However, the examples on which he relies are not universals. (shrink)

According to the so-called strong variant of Composition as Identity (CAI), the Principle of Indiscernibility of Identicals can be extended to composition, by resorting to broadly Fregean relativizations of cardinality ascriptions. In this paper we analyze various ways in which this relativization could be achieved. According to one broad variety of relativization, cardinality ascriptions are about objects, while concepts occupy an additional argument place. It should be possible to paraphrase the cardinality ascriptions in plural logic and, as a consequence, relative (...) counting requires the relativization either of quantifiers, or of identity, or of the is one of relation. However, some of these relativizations do not deliver the expected results, and others rely on problematic assumptions. In another broad variety of relativization, cardinality ascriptions are about concepts or sets. The most promising development of this approach is prima facie connected with a violation of the so-called Coreferentiality Constraint, according to which an identity statement is true only if its terms have the same referent. Moreover - even provided that the problem with coreferentiality can be fixed - the resulting analysis of cardinality ascriptions meets several difficulties. (shrink)

En The Varieties of Reference, Evans sostiene que el contenido perceptual posee una naturaleza no conceptual. Precisamente, los vínculos informacionales entre sujeto y objeto habilitan el pensamiento singular, al permitir la localización del objeto en un entorno egocéntrico. Anclados en algunos casos en estos vínculos, los pensamientos singulares contienen Ideas adecuadas del objeto, dependientes de una determinada clasificación del mismo. Nada en el contenido perceptual equivale a este recorte conceptual del objeto en el pensamiento. Sostendré entonces la necesidad de introducir (...) la idea de una representación no conceptual de cosa que recortaría, de dicho contenido, un punto de anclaje para la representación informacional. In The Varieties of Reference, Evans claims that perceptual content has a non-conceptual nature. Concretely, the informational links between subject and object allow singular thought by permitting the localization of the object in an egocentric space. Anchored in some cases in these links, singular thoughts contain adequate Ideas of the object that depend on a certain classification of it. Nothing in the perceptual content corresponds to this conceptual cut of the object in thought. I will therefore underline the need to introduce the idea of a non-conceptual representation of thing that will cut, in that content, an anchoring point for the informational representation. (shrink)

This thesis explores the possibility of composite consciousness: phenomenally conscious states belonging to a composite being in virtue of the consciousness of, and relations among, its parts. We have no trouble accepting that a composite being has physical properties entirely in virtue of the physical properties of, and relations among, its parts. But a long­standing intuition holds that consciousness is different: my consciousness cannot be understood as a complex of interacting component consciousnesses belonging to parts of me. I ask why: (...) what is it about consciousness that makes us think it so different from matter? And should we accept this apparent difference? (shrink)

The distinction of things in themselves and appearances is an integral part of Kant’s transcendental idealism, yet it has often been met with rather significant hostility. Moreover, what surely has not contributed to the popularity of this Kantian doctrine is that there are, or at least there appear to be, two distinct models, detectable in Kant’s texts, to account for this distinction. Most commonly, these two models are called the “two aspect view” on the one hand and the “two world (...) view” on the other, but it is possible that these labels themselves invite misunderstandings and obscure rather than clarify what Kant had in mind with his distinction. In this paper, I shall first briefly discuss how these two models could be described and labelled in a more suitable manner, namely as the “one composite entity view” and the “two separate objects view”. Subsequently, I will enquire which of the models is pertinent for Kant’s solution to the 3rd antinomy. I will try to show that although the two models appear to be incompatible, it is at least plausible to read Kant as using both of them in this crucial text of his oeuvre. Moreover, Kant’s strategy in solving the freedom problem on the basis of an indirectly realist account of the divine intellect provides the clue to understanding how these seemingly incompatible models can co-exist without forcing Kant into maintaining contradictory claims. (shrink)

I argue that Composition as Identity blocks the plural version of Cantor's Theorem, and that therefore the plural version of Cantor's Theorem can no longer be uncritically appealed to. As an example, I show how this result blocks a recent argument by Hawthorne and Uzquiano.

An overview of the recent debate on the Trinity in the analytic philosophy of religion. I move from putting forward the Logical Problem of the Trinity (LPT) according to R.Cartwright and M.Rea. I then define two useful notions in order to evaluate the interpretive force of the mainstream approaches to answer LPT; i.e. , be X a concept, I define maximally robust reading of X and sufficiently robust reading of X. In the subsequent section, I offer an expository analysis of (...) Latin Trinitarianism, Social Trinitarianism and Material Constitution Trinitarianism in line with such concepts. I finally advance some reasons why neither of these properly work. My main argument is that every traditional phrasing of the doctrine of the Trinity asks Christians to hold maximally robust reading both of the onefoldness of God and the threefoldness of Divine Persons. Now, while Latin Trinitarianism, Social Trinitarianism and Material Constitution Trinitarianism provide maximally robust account of God's onefoldness, they can't give a maximally robust account for Persons' threefoldness. (shrink)

Material objects extend through space by having different spatial parts in different places. But how do they persist through time? According to some philosophers, things have temporal parts as well as spatial parts: accepting this is supposed to help us solve a whole bunch of metaphysical problems, and keep our philosophy in line with modern physics. Other philosophers disagree, arguing that neither metaphysics nor physics give us good reason to believe in temporal parts.

Two closely related issues are addressed in this thesis. The first of these issues is whether Lockean criteria can withstand criticisms based on cases such as Wiggins' brain bisection case. The problem here is that the memory relation, or in general any relation of psychological continuity, seems to be a many-one relation and hence not suitable as a criterion of identity for persons. The second issue involves the question of what we ought to say about such cases. The problem here (...) is that, intuitively, psychological continuity seems to be a very good criterion of personal identity. When one person is psychologically continuous with a future person, we want to say that the one person has survived--as that future person. ;Several contemporary philosophers have addressed themselves to these issues. In Chapter I of the thesis, I consider the theory of identity suggested by Baruch Brody. He rejects Lockean criteria, and instead uses his own perfectly general theory as a criterion of identity. I argue that the theory he suggests is of limited value, and that the arguments he provides against Lockean criteria are question-begging. In Chapter II, I develop a specific Lockean criterion; in Chapter III, I consider and finally reject particular arguments against this criterion which are based on the brain bisection cases. In this chapter, I consider work by David Wiggins, Bernard Williams, and Roland Puccetti. In Chapter IV, I turn to the defense of Lockean criteria suggested by John Perry and David Lewis. Finally, in Chapter V, I develop my own views on the brain bisection case, and concluding that Lockean criteria of a certain sort remain defensible. (shrink)

John Locke discusses the notions of identity and diversity in Book 2, Chapter 27 of An Essay Concerning Human Understanding. At the beginning of this much-discussed chapter, Locke posits the place-time-kind principle. According to this principle, no two things of the same kind can be in the same place at the same time . Just what Locke means by this is unclear, however. So too is whether this principle causes problems for Locke, and whether these problems can be resolved. This (...) is significant because the place-time-kind principle is foundational to Locke's discussion of identity. Moreover, the place-time-kind principle stands at the center of a number of lively and long-standing debates in Locke scholarship. These include the debates over the ontological status of Lockean persons, and whether Locke is a relative identity theorist, to name just two. In this paper, I offer a survey of how Locke's place-time-kind principle has been interpreted in the secondary literature. The aim of this taxonomy is to clarify where the differences between competing interpretations lie, and additionally show just how challenging it is to determine which reading is best. (shrink)

We address an argument by Floridi (Synthese 168(1):151–178, 2009; 2011a), to the effect that digital and analogue are not features of reality, only of modes of presentation of reality. One can therefore have an informational ontology, like Floridi’s Informational Structural Realism, without commitment to a supposedly digital or analogue world. After introducing the topic in Sect. 1, in Sect. 2 we explain what the proposition expressed by the title of our paper means. In Sect. 3, we describe Floridi’s argument. In (...) the following three sections, we raise three difficulties for it, (i) an objection from intuitions: Floridi’s view is not supported by the intuitions embedded in the scientific views he exploits (Sect. 4); (ii) an objection from mereology: the view is incompatible with the world’s having parts (Sect. 5); (iii) an objection from counting: the view entails that the question of how many things there are doesn’t make sense (Sect. 6). In Sect. 7, we outline two possible ways out for Floridi’s position. Such ways out involve tampering with the logical properties of identity, and this may be bothersome enough. Thus, Floridi’s modus ponens will be our (and most ontologists’) modus tollens. (shrink)

It is widely held that if an object a is identical (or non-identical) to an object b, then it is necessary that a is identical (non-identical) to b. This view is supported an argument from Leibniz's Law and a popular conception of de re modality. On the other hand, there are good reasons to allow for contingent identity. Various alternative accounts of de re modality have been developed to achieve this kind of generality, and to explain what is wrong with (...) the argument from Leibniz's Law. (shrink)

This paper reviews four leading strategies for addressing the problem of material constitution, along with some of the prominent objections faced by each approach. Sections include (1) "The Orthodox View: Coincident Objects," (2) "Dominant Kinds," (3) "Nihilism," (4) "Revising the Logic of Identity," and (5) "Future Research." Also included is an annotated bibliography.

Locke’s account of personal identity has been highly influential because of its emphasis on a psychological criterion. The same consciousness is required for being the same person. It is not so clear, however, exactly what Locke meant by ‘consciousness’ or by ‘having the same consciousness’. Interpretations vary: consciousness is seen as identical to memory, as identical to a first personal appropriation of mental states, and as identical to a first personal distinctive experience of the qualitative features of one’s own thinking. (...) There is wide agreement, however, that Locke’s theory of personal identity is meant to complement his moral and theological commitments to a system of divine punishment and reward in an afterlife. But these commitments seem to require also a metaphysical criterion, and Locke is insistent that it cannot be substance. The difficulty reconciling the psychological and metaphysical requirements of the theory has led, at worst, to charges of incoherence and, at best, to a slew of interpretations, none of which is widely accepted. (shrink)

Based on the notion of a trope, this paper gives a novel analysis of identificational sentences such as 'this is Mary','this is a beautiful woman', 'this looks like Mary', or 'this is the same lump of clay, but not the same statue as that'.

This paper is the first part of an exploration into the logical properties of relative identity. After providing the semantic grounds for various monadic logics of relative identity, I define the minimal system and its nine extensions. It is suggested that despite their purely formal origin at least some of them may contain nontrivial philosophical insights. All logics are axiomatized by means of sound and complete sequent calculi. I show their affinities with existing formalizations.

Disposition ascription has been discussed a good deal over the last few decades, as has the revisionary metaphysical view of ordinary, persisting objects known as 'fourdimensionalism'. However, philosophers have not merged these topics and asked whether four-dimensional objects can be proper subjects of dispositional predicates. This paper seeks to remedy this oversight. It argues that, by and large, four-dimensional objects are not suited to take dispositional predicates.

The standard approach to the so-called paradoxes of identity has been to argue that these paradoxes do not essentially concern the notion of identity but rather betray misconceptions on our part regarding other metaphysical notions, like that of an object or a property. This paper proposes a different approach by pointing to an ambiguity in the identity predicate and arguing that the concept of identity that figures in many ordinary identity claims, including those that appear in the paradoxes, is not (...) the traditional philosophical concept but one that can be defined in terms of relevant similarity. This approach to the paradoxes will be argued to be superior to the standard one. (shrink)

The doctrine of the Trinity maintains that there are exactly three divine Persons (Father, Son, and Holy Spirit) but only one God. The philosophical problem raised by this doctrine is well known. On the one hand, the doctrine seems clearly to imply that the divine Persons are numerically distinct. How else could they be ’three’ rather than one? On the other hand, it seems to imply that Father, Son, and Holy Spirit are identical. If each Person is divine, how else (...) could there be exactly ’one’ God? But the divine Persons can’t be both distinct and identical. Thus, the doctrine appears to be incoherent. Some try to solve this problem by appeal to the view that identity is sortal-relative. In this paper, I argue that this strategy is unsuccessful as a stand-alone solution to the problem of the Trinity. (shrink)

In English, some common nouns, like 'dog', can combine with determiners like 'a' and 'many', but not with 'much', while other nouns, like 'water', can be used together with 'much', but not with 'a' and 'many'. These common nouns have been respectively called count nouns (CNs) and mass nouns (MNs). How do children learn to use CNs and MNs in the appropriate contexts? Gaining a better understanding of this is the goal of this paper. To do so, it is important (...) to first get clear on the nature of the distinction between CNs and MNs. Is it a grammatical distinction? Does the distinction apply to nouns, to their senses, or only to their occurrences within noun phrases (NPs)? Showing that the count-mass distinction really is grammatical and applies to nouns is the matter of my first part. Then the question occurs as to whether the distinction corresponds to a systematic difference in the sense of count and mass expressions. If it does, children's acquisition of the distinction may simply follow from their ability to learn the senses of these expressions and determiners. In a second part, I thus discuss various semantic characterizations that have been proposed, and make explicit the exceptions from which they suffer. Now, understanding the sense of an expression is interpreting it correctly as it occurs in an utterance. Formal characterizations of our interpretations help to clarify what is involved in learning and understanding these expressions. In my third part, I examine several formal characterizations with the purpose to specify what would be an adequate representation of the interpretations of mass and count nominal expressions. The understanding gained in these first three parts is used to identify what abilities are exercised by children when they acquire the count-mass distinction. The picture that emerges differs from earlier views of the acquisition in several respects. I thus describe these views and highlight the differences between them and my own proposal. In a final, fifth part, I critically examine the experimental evidence that proponents of some of the accounts of the acquisition of the count-mass distinction have cited in their favor. (shrink)

The Christian doctrine of the Trinity poses a serious philosophical problem. On the one hand, it seems to imply that there is exactly one divine being; on the other hand, it seems to imply that there are three. There is another well-known philosophical problem that presents us with a similar sort of tension: the problem of material constitution. We argue in this paper that a relatively neglected solution to the problem of material constitution can be developed into a novel solution (...) to the problem of the Trinity. (shrink)

Traditionally, this puzzle has been solved in various ways. Aristotle, for example, distinguished between “accidental” and “essential” changes. Accidental changes are ones that don't result in a change in an objects' identity after the change, such as when a house is painted, or one's hair turns gray, etc. Aristotle thought of these as changes in the accidental properties of a thing. Essential changes, by contrast, are those which don't preserve the identity of the object when it changes, such as when (...) a house burns to the ground and becomes ashes, or when someone dies. Armed with these distinctions, Aristotle would then say that, in the case of accidental changes, (1) and (2) are both false—a changing thing can really change one of its “accidental properties” and yet literally remain one and the same thing before and after the change. (shrink)

I argue for a property mereology and for mereological bundle theory. I then apply this theory to the one over many problem (universals) and puzzles concerning persistence and material constitution.

Armstrong has loose identity be an equivalence relation, yet in cases of something becoming something else, loose identity is not transitive. My alternate account has an attribution of loose identity be really two: a true attribution of an underlying relation (perhaps not transitive) and a false attribution--a Humean feigning-of strict identity. The feigning may become less appropriate as the underlying relation grows more distant. What makes it appropriate initially is that the underlying relation supports a predictable change in some collective. (...) The importance of the predictably changing collective is signaled by regarding it as a single thing. (shrink)

In a well-known paper, Reginald Jackson expresses a sentiment not uncommon among readers of Locke: “Among the merits of Locke’s Essay…not even the friendliest critic would number consistency.”2 This unflattering opinion of Locke is reiterated by Maurice Mandelbaum: “Under no circumstances can [Locke] be counted among the clearest and most consistent of philosophers.”3 The now familiar story is that there are innumerable inconsistencies and internal problems contained in Locke’s Essay. In fact, it is probably safe to say that there is (...) not another canonical, well-respected, and seminal philosopher whose work is so widely thought to be swarming with inconsistencies. I, however, do not think that the common, unflattering view of Locke is accurate as a general view of the Essay. But despite my wishes to the contrary, I do believe that Locke’s chapter ‘Of Identity and Diversity’ (2.27)4 leads to (at least) one intractable problem, a problem that is the subject of this paper. (shrink)

This paper is a modification of Nicola Guarino and Christopher Welty's conception of the subsumption relation. Guarino and Welty require that that whether one property may subsume the other should depend on the modal metaproperties of those properties. I argue that the part of their account that concerns the metaproperty carrying a criterion of identity is essentially flawed. Subsequently, I propose to constrain the subsumption relation not, as Guarino and Welty require, by means of incompatible criteria of absolute identity but (...) by means of incompatible criteria of relative identity. After discussing the benefits of applying relative identity in ontological investigations I provide a formal framework in which to prove a counterpart of the identity criteria constraint. (shrink)

Construing the instantiation of a universal by a particular in terms of my theory of aspects resolves the basic mystery of this "non-relational tie", and gives theoretical unity to the four characteristics of instantiation discerned by Armstrong. Taking aspects as distinct in a way akin to Scotus's formal distinction, I suggest that instantiation is the sharing of an aspect by a universal and a particular--a kind of partial identity. This approach allows me to address Plato's multiple location and One over (...) Many problems, Bradley's problem concerning the instantiation of relations, and the problem of change. (shrink)

According to Zhiyi 智顗 (538–597), the founder of the Chinese Buddhist Tiantai school 天臺宗, “one object is all objects;” hence, all objects are profoundly interconnected. In this paper, I critically examine Zhiyi’s metaphysics of objects as presented in the historical Tiantai texts and subsequently develop a contemporary and accessible thesis of interconnectedness by integrating Zhiyi’s views with resources from contemporary analytic philosophy, particularly relative identity. By drawing on Zhiyi’s insights and incorporating contemporary philosophical ideas, I also illustrate how historical Chinese (...) Buddhism and contemporary analytic metaphysics can be mutually informing. (shrink)

I provide a theory of the metaphysical foundations of identity: an account what grounds facts of the form a=b. In particular, I defend the claim that indiscernibility grounds identity. This is typically rejected because it is viciously circular; plausible assumptions about the logic of ground entail that the fact that a=b partially grounds itself. The theory I defend is immune to this circularity.

Trinitarians are charged with at least two contradictions. First, the Father is God and the Son is God, so it seems to follow that the Father is the Son. Trinitarians affirm the premises but deny the conclusion, which seems contradictory. Second, the Father is a God, the Son is a God, and the Holy Spirit is a God, but the Father is not the Son, the Father is not the Holy Spirit, and the Son is not the Holy Spirit. This (...) argument seems to entail that there are three Gods. Again, Trinitarians affirm the premises but deny the conclusion. In this article, I present a novel Trinitarian solution to these alleged contradictions. The solution allows one to maintain that the premises in the above arguments are absolute identity statements, forestalls the need to develop a new way of counting (e.g. by sortals or numerical sameness), and is compatible with divine simplicity. (shrink)

On one way of talking about a traditional metaethical topic, realists accept that some items appear on the list of what exists in the moral or more broadly normative domain of inquiry. They then divide over whether those items are like what science and experience suggest that all other items on the list of what exists across all domains are like – naturalistic and secular. Reductive naturalists answer this further question affirmatively. Why don’t nonnaturalists? I explore the answer that it’s (...) because normative entities are “just too different” in the sense that they are countably different things. However, I argue that this answer rests on the subtle presupposition that the normative domain doesn’t also contain uncountable entities of the sort that analytic metaphysicians call “stuff”. Taking intuitions of difference seriously points the way to a novel form of metaethical reductive naturalism. The key is to identify the stuff that matters. (shrink)

This article argues for a reconceptualization of utopia as akairological rupture. Its central thesis disputes the conventional reading of utopia as a teleological goal to be realized by a social collective. Thus rather than viewing the potentiality of utopia as a prescribed ideal commonwealth whose inhabitants live in harmony, I argue that it should be seen as an akairological rupture, manifested through a determinately negative, individual, approach. In this reading, utopia is primarily a social condition within culture, and perennially opposed (...) to any ideal telos. This temporal and qualitative reconceptualization of utopia as disruptive is anathema to the positive reading that sees it as feasible through social reform and rational discourse. This reconceptualization argues for the importance of developing a reading of utopia that can transcend any reified, fixed conception that seeks to domesticate it in the service of a contingent political aspiration, however noble and humanitarian it may appear to be. Herein lies its critical potentiality under neoliberal conditions. (shrink)

The problem of the many seems to problematize the platitude that we can think about particular things in the world. How is it that, given how very many cat-like candidates there are, we often manage to think and talk about a particular cat? I argue that this challenge stems from an under-examined assumption about the relationship between metaphysics and intentionality. I explore and develop a way of characterizing what it is to think and talk about the world, according to which (...) an abundant ontology poses no obstacle to our ability to think and talk about particular things. (shrink)

A comprehensive survey of Martin-Löf's constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference talks. Sommaruga surveys the prehistory of type theory and its highly complex development through eight different stages from 1970 to 1995. He also provides a systematic presentation of the latest version of the theory, as offered by Martin-Löf at Leiden University in Fall 1993. This presentation gives a fuller and updated account of the system. (...) Earlier, brief presentations took no account of the issues related to the type-theoretical approach to logic and the foundations of mathematics, while here they are accorded an entire part of the book. Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material. Readers need a solid background in standard logic and a first, basic acquaintance with type theory. (shrink)