The way in which vision represents objects as being the same despite movement and qualitative changes has been extensively investigated in contemporary psychology. However, the formal properties of the visual sameness relation are still unclear, for example, whether it is an identity-like, equivalence relation. The paper concerns one aspect of this problem: the transitivity of visual sameness. Results obtained by using different experimental paradigms are analysed, in particular studies using streaming/bouncing stimuli, multiple object tracking experiments and investigations concerning object-specific preview (...) benefit, and it is argued that the transitive interpretation of visual sameness is the most plausible given the current stage of knowledge. What is more, it is claimed that the way in which visual sameness is represented suggests that in some cases it should be characterized as a “primitive sameness”, similarly as in philosophical theories postulating “thisness”. (shrink)

Ontic structuralism or ontic structural realism in the philosophy of physics can be broadly considered as an interpretative strategy providing a set of conceptual and metaphysical tools—or, more ambitiously, an ontological framework—in order to account for central features of current fundamental physics. This article aims to review the main structuralist interpretative moves in the context of our two best fundamental physical theories of matter and spacetime, namely, quantum theory and general relativity. We highlight in particular the structuralist understanding of permutation (...) invariance, entanglement and nonlocality in quantum theory, and of the dynamical features of spacetime, diffeomorphism invariance and background independence in general relativity. (shrink)

Ontic structural realism is at its core the view that “structure is ontologically fundamental.” Informed from its inception by the scientific revolutions that punctuated the 20th century, its advocates often present the position as the perspective on ontology best befitting of modern physics. But the idea that structure is fundamental has proved difficult to articulate adequately, and what OSR's claimed naturalistic credentials consist in is hard to precisify as well. Nor is it clear that the position is actually supported by (...) our most fundamental physical theories. What is clear, however, is that structuralists have revealed a seam of material at the core of modern physics that is replete with implications for metaphysics. This article will survey some positions subsumed under the rubric of OSR, considering both their warrant and the interconnections that exist between them. It will be argued that the fundamental kind properties pose a challenge to ontic structuralism, because it seems that these properties do not supervene upon the relevant structures. But it will also be argued that the development of structuralist metaphysics will require both an engagement with the details of modern physical theories and the deployment of tools more typically developed in a priori metaphysics. As such, it seems armchair metaphysicians have not just a stake in whether OSR's claims may ultimately be shown to stand up, but a crucial role to play in getting them to the point where they can be subjected to scrutiny in the first place. (shrink)

In this essay I shall focus on the adoption of the Semantic Approach by structural realists, including myself, who have done so on the grounds that it wears its structuralist sympathies on its sleeve. Despite this, the SA has been identified as standing in tension with the ontological commitments of the so-called ’ontic’ form of this view and so I shall explore that tension before discussing the usefulness of the SA in framing scientific representation and concluding with a discussion of (...) the implications of the ontological status of theories and models themselves. (shrink)

We critically examine the claim that identity is a fundamental concept. According to those putting forward this thesis, there are four related reasons that can be called upon to ground the fundamental character of identity: identity is presupposed in every conceptual system; identity is required to characterize individuality; identity cannot be defined; the intelligibility of quantification requires identity. We address each of these points and argue that none of them advances compelling reasons to hold that identity is fundamental; in fact, (...) most of the tasks that seem to require identity may be performed without identity. So, in the end, identity may not be a fundamental concept after all. (shrink)

The article sets out a primitive ontology of the natural world in terms of primitive stuff—that is, stuff that has as such no physical properties at all—but that is not a bare substratum either, being individuated by metrical relations. We focus on quantum physics and employ identity-based Bohmian mechanics to illustrate this view, but point out that it applies all over physics. Properties then enter into the picture exclusively through the role that they play for the dynamics of the primitive (...) stuff. We show that such properties can be local, as well as holistic, and discuss two metaphysical options to conceive them, namely, Humeanism and modal realism in the guise of dispositionalism. 1 Introduction2 Primitive Ontology: Primitive Stuff3 The Physics of Matter as Primitive Stuff4 The Humean Best System Analysis of the Dynamical Variables5 Modal Realism about the Dynamical Variables6 Conclusion. (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)

Everything you always wanted to know about structural realism but were afraid to ask Content Type Journal Article Pages 227-276 DOI 10.1007/s13194-011-0025-7 Authors Roman Frigg, Department of Philosophy, Logic and Scientific Method, London School of Economics and Political Science, Houghton Street, London, WC2A 2AE UK Ioannis Votsis, Philosophisches Institut, Heinrich-Heine-Universität Düsseldorf, Universitätsstraße 1, Geb. 23.21/04.86, 40225 Düsseldorf, Germany Journal European Journal for Philosophy of Science Online ISSN 1879-4920 Print ISSN 1879-4912 Journal Volume Volume 1 Journal Issue Volume 1, Number 2.

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)

Symplectic reduction is a formal process through which degeneracy within the mathematical representations of physical systems displaying gauge symmetry can be controlled via the construction of a reduced phase space. Typically such reduced spaces provide us with a formalism for representing both instantaneous states and evolution uniquely and for this reason can be justifiably afforded the status of fun- damental dynamical arena - the otiose structure having been eliminated from the original phase space. Essential to the application of symplectic reduction (...) is the precept that the first class constraints are the relevant gauge generators. This prescription becomes highly problematic for reparameterization invariant theories within which the Hamiltonian itself is a constraint; not least because it would seem to render prima facie distinct stages of a history physically identical and observable functions changeless. Here we will consider this problem of time within non-relativistic me- chanical theory with a view to both more fully understanding the temporal struc- ture of these timeless theories and better appreciating the corresponding issues in relativistic mechanics. For the case of nonrelativistic reparameterization invariant theory application of symplectic reduction will be demonstrated to be both unnec- essary; since the degeneracy involved is benign; and inappropriate; since it leads to a trivial theory. With this anti-reductive position established we will then examine two rival methodologies for consistently representing change and observable func- tions within the original phase space before evaluating the relevant philosophical implications. We will conclude with a preview of the case against symplectic re- duction being applied to canonical general relativity. (shrink)

The physics and metaphysics of identity and individuality Content Type Journal Article DOI 10.1007/s11016-010-9463-7 Authors Don Howard, Department of Philosophy and Graduate Program in History and Philosophy of Science, University of Notre Dame, Notre Dame, IN 46556, USA Bas C. van Fraassen, Philosophy Department, San Francisco State University, 1600 Holloway Avenue, San Francisco, CA 94132, USA Otávio Bueno, Department of Philosophy, University of Miami, Coral Gables, FL 33124, USA Elena Castellani, Department of Philosophy, University of Florence, Via Bolognese 52, 50139 (...) Florence, Italy Laura Crosilla, Department of Pure Mathematics, School of Mathematics, University of Leeds, Leeds, LS2 9JT UK Steven French, Department of Philosophy, University of Leeds, Leeds, UK Décio Krause, Department of Philosophy, Federal University of Santa Catarina, 88040-900 Campus Trindade, Florianópolis, SC Brazil Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796. (shrink)

This paper discusses the issue of the identity and individuality (or lack thereof) of quantum mechanical particles. It first reconstructs, on the basis of the extant literature, a general argument in favour of the conclusion that such particles are not individual objects. Then, it critically assesses each one of the argument’s premises. The upshot is that, in fact, there is no compelling reason for believing that quantum particles are not individual objects.

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)

Various forms of underdetermination that might threaten the realist stance are examined. That which holds between different 'formulations' of a theory (such as the Hamiltonian and Lagrangian formulations of classical mechanics) is considered in some detail, as is the 'metaphysical' underdetermination invoked to support 'ontic structural realism'. The problematic roles of heuristic fruitfulness and surplus structure in attempts to break these forms of underdetermination are discussed and an approach emphasizing the relevant structural commonalities is defended.

In this paper we will argue that the identity of the entities that inhabit the nanoworld is a contextual identity. To defend that, we will analyse the so-called “biological” identity and the “synthetic” identity of nanomaterials. From this analysis, we will claim that nano-individuals (entities that show an intermediate nature between individuals and stuff), can be adequately understood from the perspective of a processual ontology. With that, we intend to contribute to the philosophical understanding of the ontology of the nano-domain.

We introduce a framework that can be used to model both mathematics and human reasoning about mathematics. This framework involves stochastic mathematical systems (SMSs), which are stochastic processes that generate pairs of questions and associated answers (with no explicit referents). We use the SMS framework to define normative conditions for mathematical reasoning, by defining a “calibration” relation between a pair of SMSs. The first SMS is the human reasoner, and the second is an “oracle” SMS that can be interpreted as (...) deciding whether the question–answer pairs of the reasoner SMS are valid. To ground thinking, we understand the answers to questions given by this oracle to be the answers that would be given by an SMS representing the entire mathematical community in the infinite long run of the process of asking and answering questions. We then introduce a slight extension of SMSs to allow us to model both the physical universe and human reasoning about the physical universe. We then define a slightly different calibration relation appropriate for the case of scientific reasoning. In this case the first SMS represents a human scientist predicting the outcome of future experiments, while the second SMS represents the physical universe in which the scientist is embedded, with the question–answer pairs of that SMS being specifications of the experiments that will occur and the outcome of those experiments, respectively. Next we derive conditions justifying two important patterns of inference in both mathematical and scientific reasoning: (i) the practice of increasing one’s degree of belief in a claim as one observes increasingly many lines of evidence for that claim, and (ii) abduction, the practice of inferring a claim’s probability of being correct from its explanatory power with respect to some other claim that is already taken to hold for independent reasons. (shrink)

In the recent years, attempts to relate metaphysics and sciences have taken various alternative forms such as metaphysics applied to science, metaphysics of science, and scientific metaphysics. In this article, I focus on scientific metaphysics and specifically explore the challenges with developing ontologies through four arguments. The Argument from Representational Indeterminacy highlights that global ontologies fail to clearly identify their target phenomenon. The Argument from Independent Inaccessibility explores the methodological difficulty of accessing a world that is independent of specific sets (...) of phenomena. The Argument from Conceptual Mismatch focuses on the tendency of local ontologies to pick out arbitrary scientific concepts, adapting them to study phenomena where they might not fit well. Finally, the Argument from Eliminative Prophecy details the possibility that local ontologies could eventually be rendered redundant by mature versions of scientific theories. In the end, given these challenges, I recommend an eliminativist stance toward ontology development. (shrink)

I give shape to a neglected debate in metaphysics, the debate over the ontological priority between individuality and collectivity. I distinguish the debate from more familiar ones in the recent literature and articulate what I call ontological collectivism, the view that collectivity is prior to individuality. I defend the in-principle intelligibility of the view from forceful general objections and argue that not only is it coherent but also of significant interest to the literature: it allows for overlooked alternatives on a (...) variety of central discussions. (shrink)

The feasibility of establishing a proper notion of a distinguishable object in the context of the de Broglie–Bohm approach to quantum mechanics seems, at first sight, uncontroversial by virtue of the fact that this theory can supposedly be interpreted in terms of a system of objective particles distinguished by individuating properties. However, after conducting a critical revision and evaluation of this trivial interpretation, and having assessed different alternatives that have been proposed in recent literature, I argue that within this theory (...) an appropriate notion of a distinguishable object can only be articulated by means of the following theoretical and metaphysical strategies: firstly, by appealing to a pre-existing, symmetrized Bohmian framework that is empirically indistinguishable but physically distinguishable from the standard Bohmian formulation; and secondly, by suggesting a different interpretation of this symmetrized formulation based upon a relational notion of the distinguishable object that can only be appropriately conceived from a structuralist point of view. (shrink)

The claim that there can be relations without relata, submitted by the radical ontic structural realist, mounts a serious challenge to her: on the one hand, the world is constituted, according to this sort of realism, just by structures and relations, and on the other hand, relations depend, mathematics says, on individual objects as relata. To resolve the problem, Steven French has argued that while the dependency of relations on relata is conceivable concerning the structure associated with the source of (...) representation, radical ontic structural realism assumes the existence of relations devoid of relata regarding the target of representation. In this article, I will argue this solution considered together with his semantics for the sentences that contain terms referring apparently to individual objects seems incoherent. (shrink)

I investigate what it means to have an interpretation of our language, how we manage to bestow a determinate interpretation to our utterances, and to which extent our interpretation of the world is determinate. All this is done in dialogue with van Fraassen's insightful discussion of Putnam's model-theoretic argument and of scientific structuralism.

According to 'Ontic Structural Realism' (OSR), physical objects—qua metaphysical entities—should be reconceptualised, or, more strongly, eliminated in favour of the relevant structures. In this paper I shall attempt to articulate the relationship between these putative objects and structures in terms of certain accounts of metaphysical dependence currently available. This will allow me to articulate the differences between the different forms of OSR and to argue in favour of the 'eliminativist' version. A useful context is provided by Floridi's account of the (...) relationship between 'ontic' and 'epistemic' structural realisms and I shall conclude with some brief remarks on possible extensions of OSR into other scientific domains. (shrink)

Philosophers of science have often favoured reductive approaches to how-possibly explanation. This article identifies three alternative conceptions making how-possibly explanation an interesting phenomenon in its own right. The first variety approaches “how possibly X?” by showing that X is not epistemically impossible. This can sometimes be achieved by removing misunderstandings concerning the implications of one’s current belief system but involves characteristically a modification of this belief system so that acceptance of X does not result in contradiction. The second variety offers (...) a potential how-explanation of X. It is usually followed by a range of further potential how-explanations of the same phenomenon. In recent literature the factual claims implied by the second variety have been downplayed whereas the heuristic role of mapping the space of conceptual possibilities has been emphasized. I will focus especially on this truth-bracketing sense of potentiality when looking closer at the second variety in the paper. The third variety has attracted less interest. It presents a partial how-explanation of X. Typically it aims to establish the existence of a mechanism by which X could be and was generated. The third conception stands out as the natural alternative for the advocate of ontic how-possibly explanations. This article transfers Salmon’s view that explanation-concepts can be broadly divided into epistemic, modal, and ontic to the context of how-possibly explanations. Moreover, it is argued that each of the three above-mentioned varieties of how-possibly explanation occurs in science. To recognize this may be especially relevant for philosophers. We are often misled by the promises of various why-explanation accounts, and seem to have forgotten nearly everything about the diversity of how-possibly explanations. (shrink)

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

There are realist and antirealist interpretations of the free energy principle (FEP). This paper aims to chart out a structural realist interpretation of FEP. To do so, it draws on Worrall’s (Dialectica 43(1–2): 99–124, 1989) proposal. The general insight of Worrall’s paper is that there is progress at the level of the structure of theories rather than their content. To enact Worrall’s strategy in the context of FEP, this paper will focus on characterising the formal continuity between fundamental equations of (...) thermodynamics—such as Boltzmann’s equation and Gibbs’s equation—on the one hand, and Friston’s characterisation of FEP on the other. Lack of a universal consensus on the physical character of entities that feature in thermodynamics, information theory and FEP notwithstanding, I argue that there is structural continuity and unity at the level of mathematical equations that regiment entropy, information and free energy. The existence of such structural continuity and unity provides grounds for structural realism about FEP. (shrink)

Benacerraf has presented two problems for the philosophy of mathematics. These are the problem of identification and the problem of representation. This paper aims to reconstruct the latter problem and to unpack its undermining bearing on the version of Ontic Structural Realism that frames scientific representations in terms of abstract structures. I argue that the dichotomy between mathematical structures and physical ones cannot be used to address the Benacerraf problem but strengthens it. I conclude by arguing that versions of OSR (...) that do not rely on mathematical frameworks for representational purposes need not be vulnerable to Benacerraf’s second problem. (shrink)

Two topics figure prominently in recent discussions of mathematical structuralism: challenges to the purported metaphysical insight provided by sui generis structuralism and the significance of category theory for understanding and articulating mathematical structuralism. This article presents an overview of central themes related to these topics.

In this paper we suggest the use of ontological structures as an appropriate tool for describing the foundations of reality. Every vertex of this structure, representing a fundamental entity in the universe, is completely and solely characterized by its connections to the other vertices in the structure. The edges of this structure are binary compounds of the FEs, and are identified with the elementary particles. The combinations including more than 2 connected vertices correspond to composite particles. The principles according to (...) which the OSs are designed Philosophy of the natural sciences, VHP Tempsky, Vienna, 1989; Shoshani in Phys Essays 4:566–576, 1991; Shoshani in Phys Essays 11:512–520, 1998) are discussed in Sect. 2, and the simplest OSs having the minimal number of vertices, and thus represent the simplest universe, are given in Sect. 3. This section also describes an OS that includes an infinite number of vertices that might represent the space–time points. This structure imparts a new meaning to space–time, detached from their intuitive grasp :285–292, 2010). Section 4 is devoted to show how to ascribe intrinsic properties to the fundamental entities by using their inter-connections in the OS. The predictive power and explanatory capacity of this theory, named Apriorics :126–130, 2014) are briefly described in Sects. 3 and 4. (shrink)

The mathematical field of graph theory has recently been used to provide counterexamples to the Principle of the Identity of Indiscernibles. In response to this, it has been argued that appeal to relations between graphs allows the Principle to survive the counterexamples. In this paper, I aim to show why that proposal does not succeed.

This paper is primarily a response to ‘analytically-minded’ philosophers, such as Maudemarie Clark and Brian Leiter, who push for a ‘naturalistic’ interpretation of Nietzsche. In particular, this paper will consider Leiter’s (2007) discussion of Nietzsche’s chapter in Twilight of the Idols, ‘The Four Great Errors’, and argue that Leiter has misinterpreted this chapter in at least four ways. I provide a superior interpretation of this chapter, which argues that Nietzsche is using a transcendental style of argument to argue against a (...) common conception of causation. I argue that Nietzsche’s ultimate aim of this chapter is to argue for ‘the innocence of becoming’ rather than, as Leiter claims, the error of free will. I argue that this anti-naturalist methodology and conclusion are in tension with Leiter/clark’s Nietzsche, and highlights the need to pay attention to the being/becoming distinction in Nietzsche. (shrink)

In this article I assess the Invariance Principle, which states that only quantities that are invariant under the symmetries of our theories are physically real. I argue, contrary to current orthodoxy, that the variance of a quantity under a theory’s symmetries is not a sufficient basis for interpreting that theory as being uncommitted to the reality of that quantity. Rather, I argue, the variance of a quantity under symmetries only ever serves as a motivation to refrain from any commitment to (...) the quantity in question. (shrink)

This article discusses the peculiar features of quantum entanglement and quantum non-locality within the algebraic approach to relativistic quantum field theory (RQFT). The debate on the ontology of RQFT is considered in the light of these well-known but little discussed features. In particular, this article examines the ontic structural realist understanding of quantum entanglement and quantum non-locality and its contribution to this debate.

Questions about the relation between identity and discernibility are important both in philosophy and in model theory. We show how a philosophical question about identity and dis- cernibility can be ‘factorized’ into a philosophical question about the adequacy of a formal language to the description of the world, and a mathematical question about discernibility in this language. We provide formal definitions of various notions of discernibility and offer a complete classification of their logical relations. Some new and surprising facts are (...) proved; for instance, that weak dis- cernibility corresponds to discernibility in a language with constants for every object, and that weak discernibility is the most discerning nontrivial discernibility relation. (shrink)

The purpose of this work is to discuss which relation can be established between molecular chemistry, on the one hand, and macrochemistry and nanochemistry, on the other hand. In order to do this, we will consider molecular chemistry as an underlying level, and macrochemistry and nanochemistry as emergent levels. Emergence is characterized in very different ways in the philosophical literature; we will not discuss those differences. We will address a distinction between inter-domain emergence and intra-domain emergence. It is our purpose (...) to argue that, from a basal micro-molecular level, macrochemistry and nanochemistry emerge in parallel. The emergence of macrochemistry is an inter-domain emergence, while the emergence of the nanolevel is an intra-domain one. If this is the case, therefore macrochemistry and nanochemistry are not “successive” levels, but parallel ones. This discussion will be held from an ontological point of view, instead of the classical characterization in terms of scale. (shrink)

Cases of grounding failure present a puzzle for fundamental metaphysics. Typically, solutions are thought to lie either in adding ontology such as haecceities or in re‐describing the cases by means of the ideology of metaphysical indeterminacy. The controversial status of haecceities has led some to favour metaphysical indeterminacy as the way to solve the puzzle. We consider two further treatments of grounding failure each of which, we argue, is a more plausible alternative. As such, the initial dichotomy is a false (...) one, and these alternative options deserve consideration before resorting to the heavyweight machinery of metaphysical indeterminacy. -/- . (shrink)

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)