Antihaecceitists believe that all facts about specific individuals—such as the fact that Fred exists, or that Katie is tall—globally supervene on purely qualitative facts. Haecceitists deny that. The issue is not only of interest in itself, but receives additional importance from its intimate connection to the question of whether all fundamental facts are qualitative or whether they include facts about which specific individuals there are and how qualitative properties and relations are distributed over them. Those who think that all fundamental (...) facts are qualitative are arguably committed to antihaecceitism. The goal of this paper is to point out some problems for antihaecceitism (and therefore for the thesis that all fundamental facts are qualitative). The article focuses on two common assumptions about possible worlds: (i) Sets of possible worlds are the bearers of objective physical chance. (ii) Counterfactual conditionals can be defined by appeal to a relation of closeness between possible worlds. The essay tries to show that absurd consequences ensue if either of these assumptions is combined with antihaecceitism. Then it considers a natural response by the antihaecceitist, which is to deny that worlds play the role described in (i) and (ii). Instead, the reply continues, we can introduce a new set of entities that are defined in terms of worlds and that behave the way worlds do on the haecceitist position. That allows the antihaecceitist to formulate antihaecceitist friendly versions of (i) and (ii) by replacing the appeal to possible worlds with reference to the newly introduced entities. This maneuver invites an obvious reply, however. If the new entities are the things that play the role we typically associate with worlds, as partially described by (i) and (ii), then it is natural to conclude that they really are the entities we talk about when we speak of worlds, so that haecceitism is true after all. (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)

In a naïve realist approach to reading an ontology off the models of a physical theory, the invariance of a given theory under permutations of its property-bearing objects entails the existence of distinct possible worlds from amongst which the theory cannot choose. A brand of Ontic Structural Realism attempts to avoid this consequence by denying that objects possess primitive identity, and thus worlds with property values permuted amongst those objects are really one and the same world. Assuming that any successful (...) ontology of objects is able to describe a universe containing a determinate number of them, I argue that no version of OSR which both retains objects and understands ‘structure’ in terms of relations can be successful. This follows from the fact that no set of relational facts is sufficient to fix the cardinality of the collection of objects implied by those facts. More broadly, I offer reasons to believe that no version of OSR is compatible with the existence of objects, no matter how ontologically derivative they are taken to be. Any such account would have to attribute a definite cardinality to a collection of objects while denying that those objects are possessed of a primitive identity. With no compelling reason to abandon the classical conception of cardinality, such an attribution is incoherent. (shrink)

It has been suggested that puzzles in the interpretation of quantum mechanics motivate consideration of entities that are numerically distinct but do not stand in a relation of identity with themselves or non-identity with others. Quite apart from metaphysical concerns, I argue that talk about such entities is either meaningless or not about such entities. It is meaningless insofar as we attempt to take the foregoing characterization literally. It is meaningful, however, if talk about entities without identity is taken as (...) elliptical for either nominal or predicative use of a special class of mass terms. (shrink)

This essay examines an argument of perennial importance against naive Leibnizian absolute identity theory, originating with Ruth Barcan in 1947 (Barcan, R. 1947. ?The identity of individuals in a strict functional 3 calculus of second order?, Journal of Symbolic Logic, 12, 12?15), and developed by Arthur Prior in 1962 (Prior, A.N. 1962. Formal Logic. Oxford: The Clarendon Press), presented here in the form offered by Nicholas Griffin in his 1977 book, Relative Identity (Griffin, N. 1977. Relative Identity. Oxford: The Clarendon (...) Press). The objection considers the property of being necessarily identical to a specific object a as a counterexample to Leibnizian identity conditions, and more particularly to the indiscernibility of identicals, when it is only contingently true that a=b. The inquiry eliminates necessity and reference to a specifically designated object as responsible for the counterexample, leaving only identity. The requirements for an exact reinterpretation of Leibniz's Law in light of counterexamples involving converse intentional properties and the family of properties suggested by the property of being necessarily identical to a where a=b (or an equivalent definite descriptor variation) is only logically contingently true, are formalized in a more powerful, counterexample-resistant version of Leibniz's Law that does not succumb to relative identity as a necessary alternative motivated by desperation over the failure of the absolute identity principle. (shrink)

We present an original emergent individuals view of human persons, on which persons are substantial biological unities that exemplify metaphysically emergent mental states. We argue that this view allows for a coherent model of identity-preserving resurrection from the dead consistent with orthodox Christian doctrine, one that improves upon alternatives accounts recently proposed by a number of authors. Our model is a variant of the “falling elevator” model advanced by Dean Zimmerman that, unlike Zimmerman’s, does not require a closest continuer account (...) of personal identity. We end by raising some remaining theological concerns. (shrink)

Presentists believe that only present things exist. But opponents insist this view has unacceptable implications: if only present things exist, we can’t express singular propositions about the past, since the obvious propositional constituents don’t exist, nor can we account for temporal passage, or the openness of the future. According to such opponents, and in spite of the apparent ‘common sense’ status of the view, presentism should be rejected on the basis of these unacceptable implications. In this paper, I present and (...) defend a version of presentism that avoids the unacceptable implications. The basic strategy I employ is familiar—I postulate presently existing entities to serve as surrogates for non-present entities—but some of the details of my proposal are more novel, and their application to these problems is certainly novel. One overarching thesis of this paper is that Thisness Presentism is preferable to other versions of presentism since it solves important problems facing standard iterations of the view. And I assume that this is a good positive reason in favour of the underlying thisness ontology. (shrink)

Presentists, who believe that only present objects exist, should accept a thisness ontology, since it can do considerable work in defence of presentism. In this paper, I propose a version of presentism that involves thisnesses of past and present entities and I argue this view solves important problems facing standard versions of presentism.

An under-explored intermediate position between traditional materialism and traditional idealism is the view that although the spatiotemporal world is purely material, minds nonetheless have a metaphysically special place in it. One way this can be is via a special role that subjects have in the metaphysics of material objects. Some metaphysical aspect of material objects might require the existence of subjects. This would support that minds must exist if material objects exist and thus that a mindless material world is impossible. (...) This view, labeled the subjectivity thesis by Anton Friedrich Koch, was defended by him with an intriguing, purely metaphysical argument connected to the individuation of material objects in space and time. The present paper hopes to make progress on assessing the viability of such a position. It starts by critically examining Koch's argument for the subjectivity thesis, as well as similar arguments that give minds a central place in the metaphysics of material objects via considerations about identity and difference. It then compares these ideas to similar ones in the philosophy of time, and concludes with an outlook on whether such a position is viable and what needs to be done to fill the gaps unearthed along the way. (shrink)

The aim of this paper is to provide a systematic account of the metaphysically important distinction between haecceitistic properties, such as being David Lewis or being acquainted with David Lewis, and qualitative properties, such as being red or being acquainted with a famous philosopher. I first argue that this distinction is hyperintensional, that is, that cointensional properties can differ in whether they are qualitative. Then I develop an analysis of the qualitative/haecceitistic distinction according to which haecceitistic properties are relational in (...) a certain sense. I argue that this analysis can capture the hyperintensionality of the qualitative/haecceitistic distinction and is generally in accordance with the use of the notion of a qualitative property in philosophical debates. (shrink)

This paper outlines a new interpretation of an argument of Kant's for the existence of absolute space. The Kant argument, found in a 1768 essay on topology, argues for the existence of Newtonian-Euclidean absolute space on the basis of the existence of incongruous counterparts (such as a left and a right hand, or any asymmetrical object and its mirror-image). The clear, intrinsic difference between a left hand and a right hand, Kant claimed, cannot be understood on a relational view of (...) space - for in terms of the spatial relations of their parts, there is no difference to be found. Kant's argument has been interpreted by, among others, Graham Nerlich (in 1973, Hands, Knees and Absolute Space, The Journal of Philosophy). I briefly discuss Nerlich, and then offer a different reconstruction of the argument, one that appears to be closer to Kant's text. The reconstruction, however, essentially involves ascription of primitive identity to parts of space. Comparing the Kantian absolutist account of incongruous counterparts using primitive identity to the correct relationist account, I conclude that the absolutist account pays a heavy metaphysical price, without buying any genuine explanatory advantage over the relationist. I go on to examine recent suggestions that parity-non-conservation phenomena in quantum physics allow a stronger version of Kant's challenge to relationism. On closer examination, it turns out that here too the absolutist or substantivalist must be appealing to space parts with primitive identity in order to claim an advantage over relationists; and here too, I argue the substantivalist story really has no advantage over the correct relationist account. (shrink)

Views that treat the contents of sentences as structured, Russellian propositions face a problem with empty names. It seems that those sorts of things cannot be the contents of sentences containing such names. I motivate and defend a solution to the problem according to which a sentence may have a singular proposition as its content at one time, and a nonsingular one at another. When the name is empty the content is a nonsingular Russellian structured proposition; when the name is (...) not empty the content is a singular Russellian structured proposition. (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.

What is it for a picture to depict a scene? The most orthodox philosophical theory of pictorial representation holds that depiction is grounded in resemblance. A picture represents a scene in virtue of being similar to that scene in certain ways. This essay presents evidence against this claim: curvilinear perspective is one common style of depiction in which successful pictorial representation depends as much on a picture's systematic differences with the scene depicted as on the similarities; it cannot be analyzed (...) in terms of similarity alone. The same problem arises for many other kinds of depiction. The essay concludes that depiction in general is not grounded in resemblance but geometrical transformation. (shrink)

In this paper, I first introduce one of the most prominent objections against the Growing Block Theory of time (GBT), the so-called ‘epistemic objection’, according to which GBT provides no way of knowing that our time is the objective present and, therefore, leads at best to absolute skepticism about our temporal location, at worst to the quasi-certainty that we are located in the objective past. Secondly, I express my dissatisfaction regarding the various traditional attempts to address this objection, especially Merricks (...) (2006), Forrest (2004) and Correia and Rosenkranz (2018). Thirdly, I show that the passage of time leads to an anti-essentialist picture of natural kinds. Finally, I develop my own solution to the epistemic objection, based on the continued existence of bare particulars. (shrink)

In this article we investigate putative counterexamples to Leibniz’s principle of the Identity of Indiscernibles. In particular, we look at the status of spacetime points: although these all possess exactly the same properties in symmetrical spacetimes and thus seem indiscernible, there are certainly more than one of them. However, we shall defend Leibniz’s principle, even for such highly symmetrical cases. Part of our strategy will be to invoke the notion of “weak discernibility”, as proposed in the recent literature. Weakly discernible (...) objects share all their properties but stand in irreflexive relations to one another—this irreflexivity makes it possible to show that Leibniz's principle implies their numerical diversity. However, we shall argue that this notion of weak discernibility only serves its purpose if it is supplemented by a criterion of physical meaningfulness of the relations and relata in question; and that in the final analysis weak discernibility only helps out when it can be seen as a degenerate case of strong, absolute discernibility. The case of spacetime points is an example of such a situation. (shrink)

Two arguments have recently been advanced that Maxwell-Boltzmann particles areindistinguishable just like Bose–Einstein and Fermi–Dirac particles. Bringing modalmetaphysics to bear on these arguments shows that ontological indistinguishabilityfor classical (MB) particles does not follow. The first argument, resting on symmetryin the occupation representation for all three cases, fails since peculiar correlationsexist in the quantum (BE and FD) context as harbingers of ontic indistinguishability,while the indistinguishability of classical particles remains purely epistemic. The secondargument, deriving from the classical limits of quantum statistical partition (...) functions,embodies a conceptual confusion. After clarifying the doctrine of haecceitism, a thirdargument is considered that attempts to deflate metaphysical concerns altogether byshowing that the phase-space and distribution-space representations of MB-statisticshave contrary haecceitistic import. Careful analysis shows this argument to fail as well,leaving de re modality unproblematically grounding particle identity in the classicalcontext while genuine puzzlement about the underlying ontology remains for quantumstatistics. (shrink)

The paper tries to develop Bartels’s modern essentialism as a structural-role theory of identity for spacetime points. I adopt Hoefer’s idea of denying primitive identity for this theory and apply it to GTR and prerelativistic physics to find different versions of essentialism and different definitions of determinism which are coherent with them. I also try to argue that modified essentialism helps us to refute objections raised against essentialism and offers us the best understanding of prerelativistic and relativistic theories.

Causal essentialists hold that a property essentially bears its causal and nomic relations. Further, as many causal essentialists have noted, the main motivations for causal essentialism also motivate holding that properties are individuated in terms of their causal and nomic relations. This amounts to a kind of identity of indiscernibles thesis; properties that are indiscernible with respect to their causal and nomic relations are identical. This can be compared with the more well-known identity of indiscernibles thesis, according to which particulars (...) that are qualitatively indiscernible are identical. Robert Adams has developed a well-known objection to this thesis by considering a series of possibilities involving nearly qualitatively indiscernible particulars that naturally leads to a possibility involving qualitatively indiscernible particulars. I argue that we can construct parallel cases involving a series of possibilities involving properties that are nearly indiscernible with respect to their causal and nomic relations that naturally lead to possibilities involving properties that are indiscernible with respect to their causal and nomic relations. The same features that make Adams’ argument forceful also carry over to my cases, giving us a powerful objection to the causal essentialist identity of indiscernibles thesis. (shrink)

Two expressive limitations of an infinitary higher-order modal language interpreted on models for higher-order contingentism – the thesis that it is contingent what propositions, properties and relations there are – are established: First, the inexpressibility of certain relations, which leads to the fact that certain model-theoretic existence conditions for relations cannot equivalently be reformulated in terms of being expressible in such a language. Second, the inexpressibility of certain modalized cardinality claims, which shows that in such a language, higher-order contingentists cannot (...) express what is communicated using various instances of talk of ‘possible things’, such as ‘there are uncountably many possible stars’. (shrink)

Faced with strong arguments to the effect that Leibniz''sPrinciple of the Identity of Indiscernibles (PII) is not a necessary truth, many supporters of the Principle have staged a strategic retreat to the claim that it is contingently true in this, the actual, world. The purpose of this paper is to examine the status of the various forms of PII in both classical and quantum physics, and it is concluded that this latter view is at best doubtful, at worst, simply wrong.

This paper is about two puzzles, or two versions of a single puzzle, which deserve to be called paradoxes, and develops some apparatus in terms of which the apparently conflicting principles which generate the puzzles can be rendered consistent. However, the apparatus itself is somewhat controversial: the puzzles are modal ones, and the resolution to be advocated requires the adoption of a counterpart theoretic semantics of essentially the kind proposed by David Lewis, which in turn requires qualified rejection of certain (...) modal theses about identity which are valid in S5. (shrink)

This paper argues for a metaphysics of relations based on a characterization of quantum entanglement in terms of non-separability, thereby regarding entanglement as a sort of holism. By contrast to a radical metaphysics of relations, the position set out in this paper recognizes things that stand in the relations, but claims that, as far as the relations are concerned, there is no need for these things to have qualitative intrinsic properties underlying the relations. This position thus opposes a metaphysics of (...) individual things that are characterized by intrinsic properties. A principal problem of the latter position is that it seems that we cannot gain any knowledge of these properties insofar as they are intrinsic. Against this background, the rationale behind a metaphysics of relations is to avoid a gap between epistemology and metaphysics. (shrink)

This paper sets out a moderate version of metaphysical structural realism that stands in contrast to both the epistemic structural realism of Worrall and the—radical—ontic structural realism of French and Ladyman. According to moderate structural realism, objects and relations (structure) are on the same ontological footing, with the objects being characterized only by the relations in which they stand. We show how this position fares well as regards philosophical arguments, avoiding the objections against the other two versions of structural realism. (...) In particular, we set out how this position can be applied to space-time, providing for a convincing understanding of space-time points in the standard tensor formulation of general relativity as well as in the fibre bundle formulation. (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)

Cet article se propose de reprendre les discussions autour du principe d’identité des indiscernables (PIdI) en précisant le type d’entités qui pourraient y déroger. J’y défends l’idée que le rejet du PIdI ressortit à la possibilité de trois types de doubles : les répliques pures, ou reproductions parfaites, les doubles purs, doubles qui ne peuvent pas même être distingués par des relations spatio-temporelles, et enfin les coïncidents purs qui sont des doubles « superposés ». La thèse que je défends consiste (...) à montrer que l’existence de telles entités est non seulement concevable, mais même, pour les deux premières sortes, physiquement possible. Pour ce qui concerne la possibilité des coïncidents purs, le rejet de telles entités peut être appuyé indépendamment du PIdI sur un principe de parcimonie ontologique basé sur une indifférence causale. (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)

This paper seeks to give an account of what it is for an individual to instantiate thisness (i.e. primitive individual essence). Thisnesses are peculiar entities, and even those who endorse their existence and instantiation by objects/entities, have said very little about how an individual and its thisness are related. My approach will be to seek out a model for the instantiation of thisness by canvassing broadly Aristotelian accounts of the substance/attribute relation, and then by making appropriate modifications to the most (...) likely candidates in order to accommodate an individual's instantiation of thisness. What will emerge is that the model with the most utility makes thisness redundant in the case of material substances. Nonetheless, I will suggest that a version of the model can be appropriately applied in the case of other individuals which might instantiate thisness: for example, events (where these are conceived as a fundamental category of ontology distinct from material substances). (shrink)

My goal in this paper is to address what I call the ‘Incoherence’ objection to the growing universe theory of time. At the root of the objection is the thought that one cannot wed objective temporal becoming with the existence of a tenseless past—which is apparently what the growing universe theorist tries to do. To do so, however, is to attribute both dynamic and static aspects to time, and, given the mutual exclusivity of these two aspects—so the thought goes—incoherence results. (...) My solution to the problem is to offer an alternative account of past existence that is compatible with a dynamic conception of time. I take as my starting point Adams’ suggestion that the past exists in virtue of the existence of thisnesses of past individuals. I first seek to defend this suggestion, before amending it in order to provide a satisfactory response to the Incoherence objection. The result is a new growing universe theory which avoids the Incoherence objection but which has some surprising features of its own. Chief among these is the rejection of present events. I argue, however, that such a rejection is a necessary consequence of endorsing the growing universe theory, and that it is not as counter-intuitive as it initially sounds. (shrink)

According to anti-individualism, the basic building blocks of the world are not individuals. The anti-individualist argues that standard, individual-entailing claims–for instance, that Theia is a cat–are mistaken in presupposing that there are individuals, but that such claims correspond to statements in a feature-placing language devoid of these presuppositions. Instead, the world is entirely made up of non-individualistic features–structurally akin to familiar examples such as it's raining or it's snowing–that are arranged in particular ways. Since features do not carve out individual (...) differences, however, this seems to entail that there is a class of statements in an individualistic language–statements expressing mere differences in which object is which–the members of which all correspond to the same anti-individualist description. That is, anti-individualism seems to entail anti-haecceitism, according to which all differences in ways the world could be supervene on qualitative differences. In this paper, I argue that, on the contrary, the anti-individualist has the resources to accommodate non-qualitative differences among ways the world could be. Moreover, haecceitistic anti-individualism does justice to the motivations for rejecting individuals while nevertheless accommodating intuitions that certain kinds of scenarios are metaphysically distinct. (shrink)

Saunders has recently claimed that “identical quantum particles” with an anti-symmetric state (fermions) are weakly discernible objects, just like irreflexively related ordinary objects in situations with perfect symmetry (Black’s spheres, for example). Weakly discernible objects have all their qualitative properties in common but nevertheless differ from each other by virtue of (a generalized version of) Leibniz’s principle, since they stand in relations an entity cannot have to itself. This notion of weak discernibility has been criticized as question begging, but we (...) defend and accept it for classical cases likes Black’s spheres. We argue, however, that the quantum mechanical case is different. Here the application of the notion of weak discernibility indeed is question begging and in conflict with standard interpretational ideas. We conclude that the introduction of the conceptual resource of weak discernibility does not change the interpretational status quo in quantum mechanics. (shrink)

I try to lay bare some of the conceptual space in which one may be a Social Trinitarian. I organize the paper around answers to five questions. These are: (1) How do the three Persons of the Trinity relate to the Godhead? (2) How many divine beings or gods are there? (3) How many distinct centers of consciousness are there in the Godhead? (4) How many omnicompetent beings are there? (5) How are the Persons of the Trinity individuated? I try (...) to make clear costs and benefits of various answers to these questions. (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)

In 1952, two well-known characters called ‘A’ and ‘B’ met for the first time to argue about the Identity of Indiscernibles (Black, 1952). A argued that the principle is true, and B that it is false. By all accounts A took a bit of a beating and came out worst-off. Forty-three years later John O’Leary-Hawthorne offered a response on behalf of A that looked as if it would work so long as A was willing to accept the universal-bundle theory of (...) substance (Hawthorne, 1995). In 1997, A and B met again (Zimmerman, 1997). A took Hawthorne’s advice and revealed himself as a universal-bundle theorist. But B was well-prepared, and once more A took a beating. Since then Gonzalo Rodriguez-Pereyra (2004) has put the boot in, offering further criticism of A’s position. In recent years A has been rather quiet, leaving B to reign as the undisputed champion. However, it turns out that A is down, but not out. And now it’s time for A’s revenge. (shrink)

In ‘Two Spheres, Twenty Spheres, and the Identity of Indiscernibles,’ Della Rocca argues that any counterexample to the PII would involve ‘a brute fact of non-identity [. . .] not grounded in any qualitative difference.’ I respond that Adams's so-called Continuity Argument against the PII does not postulate qualitatively inexplicable brute facts of identity or non-identity if understood in the context of Kripkean modality. One upshot is that if the PII is understood to quantify over modal as well as non-modal (...) properties, the qualitative explicability of numerical distinctness requires not the PII but a principle of the identity of necessary indiscernibles. (shrink)

Our ordinary judgments and our metaphysical theories share a common commitment to facts about resemblance. The nature of resemblance is, however, a matter of no small controversy. This essay examines some of the pressing questions that arise regarding the status and structure of resemblance. Among those to be discussed in what follows: what kinds of resemblance relations are there? Can resemblance be analyzed in terms of the sharing of properties? Is resemblance an objective or subjective matter? What, if any, resemblance (...) facts are fundamental? How does resemblance relate to naturalness? (shrink)

Haecceitism and Hume’s Dictum are each controversial theses about necessity and possibility. According to haecceitism, there are qualitatively indiscernible possible worlds that differ only with respect to which individuals occupy which qualitative roles. According to Hume’s Dictum, there are no necessary connections between distinct entities or, as Humeans sometimes put it, reality admits of “free recombination” so any entities can co-exist or fail to co-exist. This paper introduces a puzzle that results from the combination of haecceitism and Hume’s Dictum. This (...) puzzle revolves around the free recombination of non-qualitative properties like being Socrates. After considering several responses to this puzzle, I defend an ideology-driven solution, which dispenses with non-qualitative properties like being Socrates in favour of primitive theoretical ideology while, at the same time, preserving a commitment to both haecceitism and Hume’s Dictum. (shrink)

The distinction between qualitative properties like mass and shape and non-qualitative properties like being Napoleon and being next to Obama is important, but remains largely unexamined. After discussing its theoretical significance and cataloguing various kinds of non-qualitative properties, I survey several views about the nature of this distinction and argue that all proposed reductive analyses of this distinction are unsatisfactory. I then defend primitivism, according to which the distinction resists reductive analysis.

According to haecceitism, some maximal possibilities differ even while they are qualitatively indiscernible. Since haecceitism is a modal thesis, it is typically defended by appeal to conceivability arguments. These arguments require us to conceive of qualitatively indiscernible possibilities that differ only with respect to the identity of the individuals involved. This paper examines a series of conceivability arguments for haecceitism and a variety of anti-haecceitist responses. It concludes that there is no irresistible conceivability argument for haecceitism even while anti-haecceitist responses (...) do come with certain notable commitments. (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)

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)

We analyze the notions of indiscernibility and indeterminacy in the light of the Galois theory of field extensions and the generalization to \(K\) -algebras proposed by Grothendieck. Grothendieck’s reformulation of Galois theory permits to recast the Galois correspondence between symmetry groups and invariants as a Galois–Grothendieck duality between \(G\) -spaces and the minimal observable algebras that discern (or separate) their points. According to the natural epistemic interpretation of the original Galois theory, the possible \(K\) -indiscernibilities between the roots of a (...) polynomial \(p(x)\in K[x]\) result from the limitations of the field \(K\) . We discuss the relation between this epistemic interpretation of the Galois–Grothendieck duality and Leibniz’s principle of the identity of indiscernibles. We then use the conceptual framework provided by Klein’s Erlangen program to propose an alternative ontologic interpretation of this duality. The Galoisian symmetries are now interpreted in terms of the automorphisms of the symmetric geometric figures that can be placed in a background Klein geometry. According to this interpretation, the Galois–Grothendieck duality encodes the compatibility condition between geometric figures endowed with groups of automorphisms and the ‘observables’ that can be consistently evaluated at such figures. In this conceptual framework, the Galoisian symmetries do not encode the epistemic indiscernibility between individuals, but rather the intrinsic indeterminacy in the pointwise localization of the figures with respect to the background Klein geometry. (shrink)

We analyze the geometric foundations of classical Yang-Mills theory by studying the relationships between internal relativity, locality, global/local invariance, and background independence. We argue that internal relativity and background independence are the two independent defining principles of Yang-Mills theory. We show that local gauge invariance -heuristically implemented by means of the gauge argument- is a direct consequence of internal relativity. Finally, we analyze the conceptual meaning of BRST symmetry in terms of the invariance of the gauge fixed theory under general (...) local gauge transformations. (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)