The Principle of Identity of Indiscernibles (PII) is the focus of much controversy in the history of Metaphysics and in contemporary Physics. Many questions rover the debate about its truth or falsehood, for example, to which objects the principle applies? Which properties can be counted as discerning properties? Is the principle necessary? In other words, which version of the principle is the correct and is this version true? This thesis aims to answer this questions in order to show that PII (...) is a necessarily true principle of metaphysics. To accomplish this task, the reader will find, in this thesis, an encyclopaedical introduction to the history of PII and to the reasons it matters so much, followed by a presentation of the most famous arguments against it and the defences used against these arguments. Then, the reader finds in-depth discussion of the minutiae involved in postulating the principle as to make clear what is in fact being attacked and defended. With these preliminaries solved, a deeper analysis of these defences is presented aiming to discover which is the most appropriate example to use against the attacks to the principle. This analysis allowed a classification of these defences in four families with different strategies within them. Finally, with these defensive strategies at hand we are able to confront alleged counterexamples to PII in Mathematics with the intention to test these defences. (shrink)

We describe a case of indeterminacy in general relativity for homogeneous and isotropic cosmologies for a class of dark energy fluids. The cosmologies are parametrized by an equation of state variable, with one instance giving the same solution as Norton’s mechanical dome. Our example goes beyond previously studied cases in that indeterminacy lies in the evolution of spacetime itself: the onset of the Big Bang is indeterminate. We show further that the indeterminacy is resolved if the dynamics is viewed relationally.

The Received View of particles in quantum mechanics is that they are indistinguishable entities within their kinds and that, as a consequence, they are not individuals in the metaphysical sense and self-identity does not meaningfully apply to them. Nevertheless cardinality does apply, in that one can have n> 1 such particles. A number of authors have recently argued that this cluster of claims is internally contradictory: roughly, that having more than one such particle requires that the concepts of distinctness and (...) identity must apply after all. A common thread here is that the notion of identity is too fundamental to forego in any metaphysical account. I argue that this argument fails. I then argue that the failure of individuality and identity applies also to macroscopic physical objects, that the problems cannot be constrained to apply only within the microscopic realm. (shrink)

The identity of indiscernibles states that indiscernible objects must be identical. Many philosophers have held that the PII turns out to be either true but trivial, or non-trivial but false, depending on how the notion of discernibility is spelled out. In this paper, I propose and defend an account of this notion which aims to yield a minimally non-trivial and yet plausible version of the PII. I argue moreover that this version of the principle is immune to a number of (...) well-known and recent objections to the PII. (shrink)

The principle of Identity of Indiscernibles has been challenged with various thought experiments involving symmetric universes. In this paper, I describe a fractal universe and argue that, while it is not a symmetric universe in the classical sense, under the assumption of a relational theory of space it nonetheless contains a set of objects indiscernible by pure properties alone. I then argue that the argument against the principle from this new thought experiment resists better than those from classical symmetric universes (...) three main objections put forth against this kind of arguments. (shrink)

Esfeld has proposed a minimalist ontology of nature called ‘super-Humeanism’ that purports to accommodate quantum phenomena and avoid standard objections to neo-Humean metaphysics. I argue that Esfeld’s sparse ontology has counterintuitive consequences and generates two self-undermining dilemmas concerning the nature of time and space. Contrary to Esfeld, I deny that super-Humeanism supports an ontology of microscopic particles that follow continuous trajectories through space.

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)

A critical discussion of Shoemaker's argument for the possibility of time without change, intended as an argument against relationist conceptions of time. A relational view of time is proposed based on the primitive identity of events (or whatever entities are the basic subjects of change and lack thereof).

This paper elaborates on relationalism about space and time as motivated by a minimalist ontology of the physical world: there are only matter points that are individuated by the distance relations among them, with these relations changing. We assess two strategies to combine this ontology with physics, using classical mechanics as example: the Humean strategy adopts the standard, non-relationalist physical theories as they stand and interprets their formal apparatus as the means of bookkeeping of the change of the distance relations (...) instead of committing us to additional elements of the ontology. The alternative theory strategy seeks to combine the relationalist ontology with a relationalist physical theory that reproduces the predictions of the standard theory in the domain where these are empirically tested. We show that, as things stand, this strategy cannot be accomplished without compromising a minimalist relationalist ontology. (shrink)

We naturally think of the material world as being populated by a large number of individuals . These are things, such as my laptop and the particles that compose it, that we describe as being propertied and related in various ways when we describe the material world around us. In this paper I argue that, fundamentally speaking at least, there are no such things as material individuals. I then propose and defend an individual-less view of the material world I call (...) “generalism”. (shrink)

Putative counterexamples to the Principle of Identity of Indiscernibles (PII) are notoriously inconclusive. I establish ground rules for debate in this area, offer a new response to such counterexamples for friends of the PII, but then argue that no response is entirely satisfactory. Finally, I undermine some positive arguments for PII.

This paper is about the nature of God’s pre-creation knowledge of possible creatures. I distinguish three theories: non-qualitative singularism, qualitative singularism, and qualitative generalism, which differ in terms of whether the relevant knowledge is qualitative or non-qualitative, and whether God has singular or merely general knowledge of creatures. My main aim is to argue that qualitative singularism does not depend on a version of the Principle of Identity of Indiscernibles to the effect that, necessarily, qualitatively indiscernible individuals are identical. It (...) follows that qualitative singularism does not depend on the view that possible creatures categorically have qualitative individual essences. (shrink)

I begin by criticizing an elaboration of an argument in this journal due to Hawley , who argued that, where Leibniz’s Principle of the Identity of Indiscernibles faces counterexamples, invoking relations to save PII fails. I argue that insufficient attention has been paid to a particular distinction. I proceed by demonstrating that in most putative counterexamples to PII , the so-called Discerning Defence trumps the Summing Defence of PII. The general kind of objects that do the discerning in all cases (...) form a category that has received little if any attention in metaphysics. This category of objects lies between indiscernibles and individuals and is called relationals: objects that can be discerned by means of relations only and not by properties. Remarkably, relationals turn out to populate the universe. (shrink)

According to the traditional bundle theory, particulars are bundles of compresent universals. I think we should reject the bundle theory for a variety of reasons. But I will argue for the thesis at the core of the bundle theory: that all the facts about particulars are grounded in facts about universals. I begin by showing how to meet the main objection to this thesis (which is also the main objection to the bundle theory): that it is inconsistent with the possibility (...) of distinct qualitative indiscernibles. Here, the key idea appeals to a non-standard theory of haecceities as non-well-founded properties of a certain sort. I will then defend this theory from a number of objections, and finally argue that we should accept it on the basis of considerations of parsimony about the fundamental. (shrink)

he relationship between metaphysics and science has recently become the focus of increased attention. Ladyman and Ross, in particular, have accused even naturalistically inclined metaphysicians of pursuing little more than the philosophy of A-level chemistry and have suggested that analytic metaphysics should simply be discontinued. In contrast, we shall argue, first of all, that even metaphysics that is disengaged from modern science may offer a set of resources that can be appropriated by philosophers of physics in order to set physics (...) within an interpretational framework. Secondly, however, we shall urge that insofar as metaphysics is intended to be more than just a toolbox it needs to accommodate the implications of physics if many of its core claims are to be sustained. We shall illustrate this last point with a discussion of the nature of laws and modality in the context of modern physics. (shrink)

David Lewis holds that a single possible world can provide more than one way things could be. But what are possible worlds good for if they come apart from ways things could be? We can make sense of this if we go in for a metaphysical understanding of what the world is. The world does not include everything that is the case—only the genuine facts. Understood this way, Lewis's “cheap haecceitism” amounts to a kind of metaphysical anti-haecceitism: it says there (...) aren't any genuine facts about individuals over and above their qualitative roles. (shrink)

This paper offers a critical assessment of the current state of the debate about the identity and individuality of material objects. Its main aim, in particular, is to show that, in a sense to be carefully specified, the opposition between the Leibnizian ‘reductionist’ tradition, based on discernibility, and the sort of ‘primitivism’ that denies that facts of identity and individuality must be analysable has become outdated. In particular, it is argued that—contrary to a widespread consensus—‘naturalised’ metaphysics supports both the acceptability (...) of non-qualitatively grounded (both ‘contextual’ and intrinsic) identity and a pluralistic approach to individuality and individuation. A case study is offered that focuses on non-relativistic quantum mechanics, in the context of which primitivism about identity and individuality, rather than being regarded as unscientific, is on the contrary suggested to be preferable to the complicated forms of reductionism that have recently been proposed. More generally, by assuming a plausible form of anti-reductionism about scientific theories and domains, it is claimed that science can be regarded as compatible with, or even as suggesting, the existence of a series of equally plausible grades of individuality. The kind of individuality that prevails in a certain context and at a given level can be ascertained only on the basis of the specific scientific theory at hand. (shrink)

“The confusion of a logical with a real predicate,” according to the Critique of Pure Reason, “is almost beyond correction”. Kant did not assert that existence is no predicate, but that it is only a “logical” one, and not a “real” one. Much the same thing has been said about identity, although Kant himself thought it is real and not logical. We have long lacked a rigorous criterion to distinguish real from logical predicates, and hence have not been able to (...) say why the difference matters. This paper has two objects. First it provides a demarcation between real and logical predicates that confirms Kant's dictum that existence is only “logical.” Secondly it states the theory of a “logical” relation of identity. Perhaps this is not the only identity relation. I show only that once it has been precisely defined in the right setting, there are definite answers to a number of disputed questions about identity. Maybe there are other concepts of identity for which different answers are to be given, but I shall not discuss that disagreeable prospect here. A third application concerns the ontological argument. (shrink)

The Principle of the Identity of Indiscernibles, commonly attributed to Leibniz, has given rise to much discussion and debate. Thus philosophers have argued over how it should be formulated, whether it is true, and what, if any, metaphysical consequences it has.It is not my intention to add to these discussions here, having done so elsewhere. Rather, I intend to introduce and defend a closely related principle which I shall, for want of a better name, refer to as The Principle of (...) the Identity of Necessary Similarity’.In section II, I briefly recapitulate some of the distinctions and other relevant points which are customarily made in connection with. This is all too familiar material, but it is necessary in order to provide a general framework of concepts in terms of which we can discuss in an intelligible fashion. (shrink)

In a recent paper, Sun Demirli (2010) proposes an allegedly new way of conceiving of individuation in the context of the bundle theory of object constitution. He suggests that allowing for distance relations to individuate objects solves the problems with worlds containing indiscernible objects that would otherwise affect the theory. The aim of the present paper is i) To show that Demirli’s proposal falls short of achieving this goal and ii) To carry out a more general critical assessment of the (...) issue by appraising the costs and benefits of Demirli’s view as well as of existing alternatives. (shrink)

1. The Bundle Theory I shall discuss is a theory about the nature of substances or concrete particulars, like apples, chairs, atoms, stars and people. The point of the Bundle Theory is to avoid undesirable entities like substrata that allegedly constitute particulars. The version of the Bundle Theory I shall discuss takes particulars to be entirely constituted by the universals they instantiate.' Thus particulars are said to be just bundles of universals. Together with the claim that it is necessary that (...) particulars have constituents, the fundamental claim of the Bundle Theory is: (BT) Necessarily, for every particular x and every entity y, y constitutes x if and only ify is a universal and x instantiates y. 2 The standard and supposedly devastating objection to the Bundle Theory is that it entails or is committed to a false version of the Principle of Identity of Indiscernibles (Armstrong 1978: 91, Loux 1998: 107), namely: (Pll) Necessarily, for all particulars x and y and every universal z, if z is instantiated by x if and only if z is instantiated byy, then x is numerically identical with y. The most famous counterexample to the Identity of Indiscernibles is that put forward by Max Black, consisting of a world where there are only two iron spheres two miles apart from each other, having the same diameter, temperature, colour, shape, size, etc (Black 1952: 156). Let us from now on think of the properties of the spheres in this world as universals. The possibility of this world, which I shall hereafter refer to as 'Black's world', makes (Pll) false.' And according to common philosophical opinion this means that the Bundle Theory is false.. (shrink)

Using the Hilbert-Bernays account as a spring-board, we first define four ways in which two objects can be discerned from one another, using the non-logical vocabulary of the language concerned. Because of our use of the Hilbert-Bernays account, these definitions are in terms of the syntax of the language. But we also relate our definitions to the idea of permutations on the domain of quantification, and their being symmetries. These relations turn out to be subtle---some natural conjectures about them are (...) false. We will see in particular that the idea of symmetry meshes with a species of indiscernibility that we will call `absolute indiscernibility'. We then report all the logical implications between our four kinds of discernibility. We use these four kinds as a resource for stating four metaphysical theses about identity. Three of these theses articulate two traditional philosophical themes: viz. the principle of the identity of indiscernibles, and haecceitism. The fourth is recent. Its most notable feature is that it makes diversity weaker than what we will call individuality : two objects can be distinct but not individuals. For this reason, it has been advocated both for quantum particles and for spacetime points. Finally, we locate this fourth metaphysical thesis in a broader position, which we call structuralism. We conclude with a discussion of the semantics suitable for a structuralist, with particular reference to physical theories as well as elementary model theory. (shrink)

Saunders' recent arguments in favour of the weak discernibility of (certain) quantum particles seem to be grounded in the 'generalist' view that science only provides general descriptions of the worlIn this paper, I introduce the ‘generalist’ perspective and consider its possible justification and philosophical basis; and then look at the notion of weak discernibility. I expand on the criticisms formulated by Hawley (2006) and Dieks and Veerstegh (2008) and explain what I take to be the basic problem: that the properties (...) invoked by Saunders cannot be pointed to as ‘individuators’ of otherwise indiscernible (and thus numerically identical) entities because their ontological status remains underdetermined by the evidence and the established interpretation of the theory. In addition to to this, I suggest that Saunders does not deal adequately with bosons, and cannot do so exactly because he subscribes to PII and the generalist picture. The last part of the paper contains a critical examination of the claim (or at least implicit assumption) that the generalist picture should be regarded as obviously compelling by the modern-day empiricist. (shrink)

In a recent paper, Jiri Benovsky argues that the bundle theory and the substratum theory, traditionally regarded as ‘deadly enemies’ in the metaphysics literature, are in fact ‘twin brothers’. That is, they turn out to be ‘equivalent for all theoretical purposes’ upon analysis. The only exception, according to Benovsky, is a particular version of the bundle theory whose distinguishing features render unappealing. In the present reply article, I critically analyse these undoubtedly relevant claims, and reject them.

In a number of publications, John Earman has advocated a tertium quid to the usual dichotomy between substantivalism and relationism concerning the nature of spacetime. The idea is that the structure common to the members of an equivalence class of substantival models is captured by a Leibniz algebra which can then be taken to directly characterize the intrinsic reality only indirectly represented by the substantival models. An alleged virtue of this is that, while a substantival interpretation of spacetime theories falls (...) prey to radical local indeterminism, the Leibniz algebras do not. I argue that the program of Leibniz algebras is subject to radical local indeterminism to the same extent as substantivalism. In fact, for the category of topological spaces of interest in spacetime physics, the program is equivalent to the original spacetime approach. Moreover, the motivation for the program--that isomorphic substantival models should be regarded as representing the same physical situation--is misguided. (shrink)

In the philosophical literature on consciousness and the mind-body problem, the conceivability argument against physicalism is usually taken to support a form of dualism between physicality and phenomenality. Usually, the discussion focuses on the qualitative character of experience, which is what the phenomenal feel of a given experience is like. By contrast, the subjective character of experience, or its individuation to a given first-person subject, tends to be set aside. The aim of this paper is to present a new and (...) more robust version of the conceivability argument for dualism that appeals to the subjective character of experience. Drawing on insights by philosophers in the phenomenological tradition, I conceptualise the first-person subjective character of experience as a transcendental condition of possibility for phenomenality that cannot be reduced to third-person facts about the physical world. Given this, the mind-body problem as it pertains to consciousness does not merely concern the inability of the set of physical facts about a brain state to capture the qualitative character of experience, but concerns the existential issue of why this brain state is accompanied by first-person subjectivity at all. This allows us to reconceive the conceivability argument in a way that presents a stronger case for dualism than the traditional version of the argument. (shrink)

According to actualism about possible worlds everything that exists is actual. Possible worlds and individuals are actually existing abstract parts of the actual world. Aristotelian actualism is a view that there are only actual individuals but no possible ones, nor their individual abstract representatives. Because of that, our actualist account of modality should differ depending on whether it concerns actual individuals or possible ones. The main goal of the dissertation is to develop a metaphysical framework for Aristotelian actualism. Chapter 1 (...) explains basic issues associated with the possible world approach to modality. I overview modal realist and actualist views on possible worlds and explain why I support the actualist approach. Subsequently, I introduce a distinction between Platonic and Aristotelian actualism, and discuss some semantic issues associated with actualism as such. In Chapter 2 I argue that Aristotelian actualism, modeled on linguistic ersatzism, is preferable over its Platonic counterpart. Subsequently, I propose a metaphysical framework for Aristotelian ersatzism which is based on a claim that our modal concepts work differently for actual and possible individuals. In order to explain that claim I introduce three specific differences concerning modal features of actual and possible individuals: (a) Representational Difference, according to which actual and possible individuals are represented differently by possible worlds; (b) Metaphysical Difference, according to which actual and possible individuals are represented by possible worlds as having different metaphysical nature; (c) Modal Difference, which says while there are singular and contingent possibilities involving actual individuals, all possibilities about possible individuals are general and necessary. I propose to interpret those differences in terms of the doctrines of haecceitism, antihaecceitism and existentialism. There is however no consensus on how those views should be characterized. Chapters 3, 4, and 5 focus on providing a precise characterization of those doctrines. Chapter 3 focuses on the doctrines of modal haecceitism and antihaecceitism, which I view as opposite accounts of how possible worlds represent possibilities. According to modal haecceitism what possible worlds say about particular individuals does not supervene on what they say qualitatively. Modal antihaecceitism is a denial of such a claim. Chapter 4 concerns metaphysical haecceitism and antihaecceitism, which I take to be alternative accounts of the fundamental structure of reality. For the metaphysical haecceitist reality contains irreducible singular facts, while for the metaphysical antihaecceitist reality is purely qualitative and general. Chapter 5 focuses on an argument between existentialists and antiexistentialists. Existentialists claim that there are contingent singular propositions, while antiexistentialists deny that. I defend existentialism against antiexistentialist counterarguments, as well as criticize some of the antiexistentialist accounts of singular propositions modeled on the notion of individual essence. In Chapter 6, by appealing to the results of investigations conducted in Chapters 3, 4 and 5, I reconsider Representational, Metaphysical and Modal Differences. According to a view that I propose: (a) Representational Difference entails (extreme) modal haecceitism for actual individuals but (extreme) modal antihaecceitism for possible individuals; (b) Metaphysical Difference entails metaphysical haecceitism (individualism) for actual individuals, but metaphysical antihaecceitism (generalism) for possible individuals; finally (c) Modal Difference entails existentialism: while there are singular and contingent possibilities involving actual individuals, all possibilities about possible individuals are general and necessary. In Chapter 6, I also explain the implications of those views for the various issues, including transworld identity, essentialism, or the modal status of modal space. Lastly, Chapter 7 overviews some semantic and metaphysical applications of Aristotelian ersatzism. I explain how it manages to accommodate Kripkean semantics and how it is able to account for the possibilities of indiscernibles, alien individuals and iterated modalities. I also address some possible objections to my proposal, including an issue of implicit representation and the Humphrey objection. (shrink)

Should Christians support the view that one’s psychological continuity is the main criterion of personal identity? Is the continuity of one’s brain or memory states necessary and sufficient for the identicalness of the person? This paper investigates the plausibility of the psychological continuity theory of personal identity, which holds that the criterion of personal identity is certain psychological continuity between persons existing at different times. I argue that the psychological continuity theory in its various forms suffers from interminable problems. Then, (...) I introduce an alternate account of personal identity, according to which personal identity is not further analyzable in terms of qualitative properties of persons. Rather, persons are individuated by their primitive thisnesses, which are nonqualitative properties of immaterial substances. This alternate conception of personal identity would be of particular relevance to those who believe in the immortality of the soul and are looking for a nonphysicalist account of personal identity. (shrink)

The present work explores various ways in which contingent evidence can impact metaphysics, while advocating that, just as a scientific realist allows for ampliative inferences to the unobservable, ampliative inferences from possible evidence can warrant possibility claims that lie beyond the reach of sensorial imagination. In slogan form: possible evidence is a guide to possibility. Drawing on Shoemaker’s (1969) argument for the possibility of time without change, I advocate the following principle: If there is a possible world at which the (...) observable facts make it objectively reasonable to conclude that p, then we should conclude that p is possibly true. This provides a route to contingentism in metaphysics, for, if one considers that there are worlds in which the observable facts make it objectively reasonable to conclude that p, and worlds in which the observable facts make it objectively reasonable to conclude that not-p, then my principle tells us that we should conclude that possibly-p and possibly not-p, i.e. that p is contingent. This contingency in what is reasonable to conclude, I suggest, occurs most saliently in debates where evidence of phenomenal experience and empirical science are marshalled to support one theory over another. I also explore some consequences of taking possible evidence to be a guide to possibility in this way, among them being an interesting modal analogue of the lottery paradox. (shrink)

I argue that Nietzsche's thought of eternal recurrence is merely a kind of thought experiment that has two forms of engagement. The first form of engagement is destructive and results in the principles of classical logic being reduced to epistemic nihilism. In this first form, Nietzsche is thinking eternal recurrence, as it is presented in previous philosophers, to its end. The second form of engagement does not require the presuppositions of classical logic and is made through the affect of disgust. (...) This second mode of engagement can result in two outcomes; suicidal pessimism or life affirmation. The work on eternal recurrence that scholars typically think of as published has very little positive commitment to the ontological or metaphysical status of eternal recurrence. However, if eternal recurrence does represent the physical nature of the universe, as Nietzsche sometimes speculates about in his notebooks, this would not hurt either his destructive or his affective argument. The affective form of engagement allows us to think about the emergence of this affirmative ideal without strong positive commitment to any particular metaphysics or epistemology. The appearance of such an ideal may be multiply realizable over various physical organizations of the universe. The new life affirming ideal which emerges is not a form of humanism. Rather, Nietzsche thinks that the thought of eternal recurrence will produce "the 'humanity' of the future." The thought of eternal recurrence selects out, via suicidal pessimism, those who cannot affirm life. This fosters the development of a new humanity that can affirm life and create a new kind of happiness unknown to humans previously. This new ideal, amor fati [love of fate], is not simply a reconciliation with suffering and hardship of the past. Rather, one must want and hope that such a thing is the case. This ideal, held by the most powerful people of the future, is an expression of will to power. This ideal understands hardship and challenges on the sea of life as part of what makes us truly great and our lives intrinsically valuable. (shrink)

One conception of the Principle of Sufficient Reason maintains that every fact is metaphysically explained. There are different ways to challenge this version of the PSR; one type of challenge involves pinpointing a specific set of facts that resist metaphysical explanation. Certain identity and distinctness facts seem to constitute such a set. For example, we can imagine a scenario in which we have two qualitatively identical spheres, Castor and Pollux. Castor is distinct from Pollux but it is unclear what could (...) metaphysically explain this distinctness fact. In this paper, I argue that we should not treat identity and distinctness facts as metaphysically fundamental. As such, identity and distinctness facts do not challenge the PSR. We can metaphysically explain them. (shrink)

This study will answer the question, what do students expect to learn from philosophy teachers in the 21st century. by framing a response based on the following: The researcher’s teaching philosophy developed over 30 years, a survey conducted of UAEU students, and a discussion of the changing role and purpose of philosophy in the academy and current pedagogical philosophy in teaching. The study has focused on how philosophical questions have been changed over time, using new technology to teach philosophy, what (...) are the characteristics of philosophy teachers and students, the new direction for teaching philosophy, and career opportunities. The practical frame of this research will be analyzed students survey conducted on female students from United Arab Emirates University. I will use the method of content analysis to investigate and trace this phenomenon to determine its meaning, developing philosophical questions, and the new direction for teaching philosophy. Then I will examine the data taken from the theoretical and practical sources for the purpose of diagnosing and reaching conclusions a process which is called in philosophy synthesis, therefore the approach of the research would be analysis and synthesis. (shrink)

Conditional excluded middle (CEM) is the following principe of counterfactual logic: either, if it were the case that φ, it would be the case that ψ, or, if it were the case that φ, it would be the case that not-ψ. I will first show that CEM entails the identity of indiscernibles, the falsity of physicalism, and the failure of the modal to supervene on the categorical and of the vague to supervene on the precise. I will then argue that (...) we should accept these startling conclusions, since CEM is valid. (shrink)

I would like to attack a certain view: The view that the concept of identity can fail to apply to some things although, for some positive integer n, we have n of them. The idea of entities without self-identity is seriously entertained in the philosophy of quantum mechanics. It is so pervasive that it has been labelled the Received View. I introduce the Received View in Section 1. In Section 2 I explain what I mean by entity, and I argue (...) that supporters of the Received View should agree with my characterization of the corresponding notion of entity. I also explain what I mean by identity, and I show that supporters of the Received View agree with my characterization of that notion. In Section 3 I argue that the concept of identity, so characterized, is one with the concept of oneness. Thus, it cannot but apply to what belongs to a collection with n elements, n being a positive integer. In Section 4 I add some considerations on the primitiveness of identity or unity and the status of the Identity of Indiscernibles. In Section 5 I address the problem of how reference to indiscernible objects with identity can be achieved. (shrink)

The paper argues for a metaphysics in the vein of the Canberra plan, namely to single out a minimal, basic set of entities and then to show how everything else is located in that set by being identical with something in that set and how the propositions that describe the basic entities entail all the other true propositions. The paper conceives the Canberra plan for the domain of the natural sciences as a naturalized metaphysics that is not committed to a (...) priori entailment. The proposal is that the minimal set of entities is defined by the following two axioms: There are distance relations that individuate simple objects, namely matter points. The matter points are permanent, with the distances between them changing. Finally, the paper explains how the Canberra plan sets a clear standard for ontological issues that go beyond the natural sciences. (shrink)

The need to distinguish between logical and extra-logical varieties of inference, entailment, validity, and consistency has played a prominent role in meta-ethical debates between expressivists and descriptivists. But, to date, the importance that matters of logical form play in these distinctions has been overlooked. That’s a mistake given the foundational place that logical form plays in our understanding of the difference between the logical and the extra-logical. This essay argues that descriptivists are better positioned than their expressivist rivals to provide (...) the needed account of logical form, and so better able to capture the needed distinctions. This finding is significant for several reasons: First, it provides a new argument against expressivism. Second, it reveals that descriptivists can make use of this new argument only if they are willing to take a controversial—but plausible—stand on claims about the nature and foundations of logic. (shrink)

This article develops an analogy proposed by Stachel between general relativity (GR) and quantum mechanics (QM) as regards permutation invariance. Our main idea is to overcome Pooley's criticism of the analogy by appeal to paraparticles. In GR, the equations are (the solution space is) invariant under diffeomorphisms permuting spacetime points. Similarly, in QM the equations are invariant under particle permutations. Stachel argued that this feature—a theory's ‘not caring which point, or particle, is which’—supported a structuralist ontology. Pooley criticizes this analogy: (...) in QM the (anti-)symmetrization of fermions and bosons implies that each individual state (solution) is fixed by each permutation, while in GR a diffeomorphism yields in general a distinct, albeit isomorphic, solution. We define various versions of structuralism, and go on to formulate Stachel's and Pooley's positions, admittedly in our own terms. We then reply to Pooley. Though he is right about fermions and bosons, QM equally allows more general types of particle symmetry, in which states (vectors, rays, or density operators) are not fixed by all permutations (called ‘paraparticle states’). Thus Stachel's analogy is revived. (shrink)

The principle of the identity of indiscernibles holds that two individuals are the same individual if they have all the same properties. There are different forms of the principle, varying with what is allowed to count as a property. An individual has thisness if the weakest form of the principle does not apply to it. Abstract objects, places and times do not have thisness. Inanimate material objects probably do not. Animate beings, and the conscious events which involve them do have (...) thisness, and probably other events do as well. (shrink)

A thought that we all entertain at some time or other is that the course of our lives might have been very different from the way they in fact have been, with the consequence that we might have been rather different sorts of persons than we actually are. A less common, but prima facie intelligible thought is that we might never have existed at all, though someone rather like us did. Arguably, any plausible theory of personal identity should be able (...) to accommodate both possibilities. Certain currently popular Reductionist theories of personal identity, however, seem to be deficient in precisely this respect. This paper explores some Reductionist responses to that challenge. (shrink)

So selbstverständlich es klingt, vom Geist, der Psyche oder auch der Seele eines Menschen zu reden, und so vertraut uns wissenschaftliche Disziplinen sind, die sich philosophisch oder empirisch damit beschäftigen, so schwer fällt es, ein einheitliches Merkmale dafür anzugeben, wann etwas ein psychisches Phänomen ist. Viele der potentiellen Merkmale decken eben nur einen Teil des Spektrums dessen ab, was wir gewöhnlich als psychisch bezeichnen würden, und sind damit bestenfalls hinreichende, aber sicher keine notwendigen Bedingungen des Psychischen. Im Mittelpunkt des folgenden (...) Artikels wird dagegen ein Merkmal stehen, von dem feststeht, daß es nicht hinreichend ist, von dem man aber vermuten kann, es sei zumindest notwendig: die Individualität psychischer Phänomene. Die Frage, mit der ich mich beschäftigen werde, ist, ob sich diese Vermutung mit Bezug auf eine Grnppe paradigmatisch psychischer Phänomene aufrecht erhalten läßt, die intentionalen Einstellungen. (shrink)

The Identity of Indiscernibles seems like a good enough way to define identity. Roughly it simply says that if x and y have all and only the same properties, these will be the same object. However the principle has come under attack using a series of thought experiments employing the idea of radical symmetry. I follow the history of the debate including its theological origins to assess the contemporary arguments against the Identity of Indiscernibles. I argue that the principle is (...) viable as a logical truth, and so can be put to work in our idea of objects. (shrink)

Nous proposons une traduction inédite du fameux dialogue de Max Black intitulé « L’identité des indiscernables », paru en 1952 (Mind, vol. 61, no 242, avril 1952, 153-164) et aujourd’hui considéré comme un classique de la philosophie contemporaine. Cette traduction est précédée d’une présentation rapide du texte et du problème philosophique qu’il soulève.

Two symmetry arguments are discussed, each purporting to show that there is no more room for a preferred division of spacetime into instants of time in general relativistic cosmology than in Minkowski spacetime. The first argument is due to Gödel, and concerns the symmetries of his famous rotating cosmologies. The second turns upon the symmetries of a certain space of relativistic possibilities. Both arguments are found wanting.

In this article, I explain how a variant of David Miller's argument concerning the language dependence of the accuracy of predictions can be applied to Joyce's notion of the accuracy of “estimates of numerical truth-values”. This leads to a potential problem for Joyce's accuracy-dominance-based argument for the conclusion that credences should obey the probability calculus.