The literature on quantum logic emphasizes that the algebraic structures involved with orthodox quantum mechanics are non distributive. In this paper we develop a particular algebraic structure, the quasi-lattice ( $${\mathfrak{I}}$$ -lattice), which can be modeled by an algebraic structure built in quasi-set theory $${\mathfrak{Q}}$$. This structure is non distributive and involve indiscernible elements. Thus we show that in taking into account indiscernibility as a primitive concept, the quasi-lattice that ‘naturally’ arises is non distributive.

Can identity itself be vague? Can there be vague objects? Does a positive answer to either question entail a positive answer to the other? In this paper we answer these questions as follows: No, No, and Yes. First, we discuss Evans’s famous 1978 argument and argue that the main lesson that it imparts is that identity itself cannot be vague. We defend the argument from objections and endorse this conclusion. We acknowledge, however, that the argument does not by itself establish (...) either that there cannot be vague objects or that there cannot be identity statements that are indeterminate for ontic reasons. And we further acknowledge that it does not by itself establish that there cannot be identity statements that are indeterminate in virtue of the existence of vague objects. We then go on to argue that, despite this, one who believes in vague objects cannot endorse Evans’s argument. To establish this we offer supplementary arguments that show that if vague objects exist then identity is vague, and that if identity is vague then vague objects exist. Finally we draw attention to an argument parallel to that of Evans’s, but safer, which can be employed against the putative ontic indeterminacy in identity of vague objects which can be differentiated by identity-free properties. (shrink)

In the following work we propose to incorporate the main feature of quantum mechanics, i.e., the concept of indiscernibility. To achieve this goal, first we present two models of set theories: a quasi-set theory and a non-antisymmetric mereology. Next, we show how specific objects of QST—m-atoms—can be defined within NAM. Finally, we introduce a concept of a parthood of indiscernibles and discuss its features in respect to standard notions of indiscernibles and within NAM.

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)

In this paper we consider the notions of structure and models within the semantic approach to theories. To highlight the role of the mathematics used to build the structures which will be taken as the models of theories, we review the notion of mathematical structure and of the models of scientific theories. Then, we analyse a case-study and argue that if a certain metaphysical view of quantum objects is adopted, one seeing them as non-individuals, then there would be strong reasons (...) to ask for a different mathematical framework for describing the structures that would be the models of the corresponding theory. In departing from the standard frameworks (those worked on within standard mathematics), we hope to bring to the scene, within the scope of the semantic approach, the importance of paying attention to some fundamental concepts usually only superficially touched by philosophers of science (if touched). (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)

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)

Quasi-set theory has been proposed as a means of handling collections of indiscernible objects. Although the most direct application of the theory is quantum physics, it can be seen per se as a non-classical logic (a non-reflexive logic). In this paper we revise and correct some aspects of quasi-set theory as presented in [12], so as to avoid some misunderstandings and possible misinterpretations about the results achieved by the theory. Some further ideas with regard to quantum field theory are also (...) advanced in this paper. (shrink)

Our aim in this paper is to take quite seriously Heinz Post’s claim that the non-individuality and the indiscernibility of quantum objects should be introduced right at the start, and not made a posteriori by introducing symmetry conditions. Using a different mathematical framework, namely, quasi-set theory, we avoid working within a label-tensor-product-vector-space-formalism, to use Redhead and Teller’s words, and get a more intuitive way of dealing with the formalism of quantum mechanics, although the underlying logic should be modified. We build (...) a vector space with inner product, the Q-space, using the non-classical part of quasi-set theory, to deal with indistinguishable elements. Vectors in Q-space refer only to occupation numbers and permutation operators act as the identity operator on them, reflecting in the formalism the fact of unobservability of permutations. Thus, this paper can be regarded as a tentative to follow and enlarge Heinsenberg’s suggestion that new phenomena require the formation of a new “closed” (that is, axiomatic) theory, coping also with the physical theory’s underlying logic and mathematics. (shrink)

There has been recent interest in formulating theories of non-representational indeterminacy. The aim of this paper is to clarify the relevance of quantum mechanics to this project. Quantum-mechanical examples of vague objects have been offered by various authors, displaying indeterminate identity, in the face of the famous Evans argument that such an idea is incoherent. It has also been suggested that the quantum-mechanical treatment of state-dependent properties exhibits metaphysical indeterminacy. In both cases it is important to consider the details of (...) the metaphysical account and the way in which the quantum phenomenon is captured within it. Indeed if we adopt a familiar way of thinking about indeterminacy and apply it in a natural way to quantum mechanics, we run into illuminating difficulties and see that the case is far less straightforward than might be hoped. (shrink)

Quasi-set theory is a theory for dealing with collections of indistinguishable objects. In this paper we discuss some logical and philosophical questions involved with such a theory. The analysis of these questions enable us to provide the first grounds of a possible new view of physical reality, founded on an ontology of non-individuals, to which quasi-set theory may constitute the logical basis.

It is usually stated that quantum mechanics presents problems with the identity of particles, the most radical position—supported by E. Schrödinger—asserting that elementary particles are not individuals. But the subject goes deeper, and it is even possible to obtain states with an undefined particle number. In this work we present a set theoretical framework for the description of undefined particle number states in quantum mechanics which provides a precise logical meaning for this notion. This construction goes in the line of (...) solving a problem posed by Y. Manin, namely, to incorporate quantum mechanical notions at the foundations of mathematics. We also show that our system is capable of representing quantum superpositions. (shrink)

It is usually stated that quantum mechanics presents problems with the identity of particles, the most radical position—supported by E. Schrödinger—asserting that elementary particles are not individuals. But the subject goes deeper, and it is even possible to obtain states with an undefined particle number. In this work we present a set theoretical framework for the description of undefined particle number states in quantum mechanics which provides a precise logical meaning for this notion. This construction goes in the line of (...) solving a problem posed by Y. Manin, namely, to incorporate quantum mechanical notions at the foundations of mathematics. We also show that our system is capable of representing quantum superpositions. (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 Weak Principle of the Identity of Indiscernibles (weak PII), states that numerically distinct items must be discernible by a symmetrical and irreflexive relation. Recently, some authors have proposed that weak PII holds in non relativistic quantum mechanics, contradicting a long tradition claiming PII to be simply false in that theory. The question that arises then is: are relations allowed in the scope of PII? In this paper, we propose that quantum mechanics does not help us in deciding matters concerning (...) that problem, since that is a metaphysical problem rather than a quantum mechanical one. We argue further that weak PII is unmotivated on metaphysical grounds. We examine three metaphysical theses (bundle theory, counting, empiricism) that may provide reasons for one to sustain PII, and we conclude that weak PII gets no independent motivation from them. (shrink)

Recently, in the debate about the ontology of quantum mechanics some authors have defended the view that quantum particles are individuals in a primitive sense, so that individuality should be preferred over non-individuality (the alternative option). Primitive individuality involves two main claims: (1) every item is identical with itself and (2) it is distinct from every other item. Non-relativistic quantum mechanics is said to provide positive evidence for that position, since in every situation comprising multiple particles there is a well-defined (...) number of them to begin with, and so they must be distinct from each other. We argue that the link between a well-defined number of items and the relation of identity that is being claimed to hold is not imposed by quantum mechanics, but rather by a metaphysical view. Formal evidence is advanced in favor of the thesis that counting may be performed for items without identity (non-individuals), so that quantum mechanics needs not be viewed as endorsing an ontology of individuals. (shrink)

In this paper we discuss some questions proposed by Prof. Newton da Costa on the foundations of quasi-set theory. His main doubts concern the possibility of a reasonable semantical understanding of the theory, mainly due to the fact that identity and difference do not apply to some entities of the theory’s intended domain of discourse. According to him, the quantifiers employed in the theory, when understood in the usual way, rely on the assumption that identity applies to all entities in (...) the domain of discourse. Inspired by his provocation, we suggest that, using some ideas presented by da Costa himself in his seminars at UFSC and by one of us in some papers, these difficulties can be overcome both on a formal level and on an informal level, showing how quantification over items for which identity does not make sense can be understood without presupposing a semantics based on a ‘classical’ set theory. (shrink)

The aim of this paper is to argue that some objections raised by Jantzen (Synthese, 2010 ) against the separation of the concepts of ‘counting’ and ‘identity’ are misled. We present a definition of counting in the context of quasi-set theory requiring neither the labeling nor the identity and individuality of the counted entities. We argue that, contrary to what Jantzen poses, there are no problems with the technical development of this kind of definition. As a result of being able (...) to keep counting and identity apart for those entities, we briefly suggest that one venerable tradition concerning the nature of quantum particles may be consistently held. According to that tradition, known as the Received View on particles non-individuality, quantum particles may be seen as entities having both features: (i) identity and individuality do not apply to them, (ii) they may be gathered in collections comprising a plurality of them. (shrink)

Quasi-set theory is a ZFU-like axiomatic set theory, which deals with two kinds of ur-elements: M-atoms, objects like the atoms of ZFU, and m-atoms, items for which the usual identity relation is not defined. One of the motivations to advance such a theory is to deal properly with collections of items like particles in non-relativistic quantum mechanics when these are understood as being non-individuals in the sense that they may be indistinguishable although identity does not apply to them. According to (...) some authors, this is the best way to understand quantum objects. The fact that identity is not defined for m-atoms raises a technical difficulty: it seems impossible to follow the usual procedures to define the cardinal of collections involving these items. In this paper we propose a definition of finite cardinals in quasi-set theory which works for collections involving m-atoms. (shrink)

We consider the claim by Dorato and Morganti 591–610) that primitive individuality should be attributed to the entities dealt with by non-relativistic quantum mechanics. There are two central ingredients in the proposal: in the case of non-relativistic quantum mechanics, individuality should be taken as a primitive notion and primitive individuality is naturalistically acceptable. We argue that, strictly understood, naturalism faces difficulties in helping to provide a theory with a unique principle of individuation. We also hold that even when taken in (...) a loose sense, naturalism does not provide any sense in which one could hold that quantum mechanics endorses primitive individuality over non-individuality. Rather, we argue that non-individuality should be preferred based on the grounds that such a view fits better the claims of the theory. (shrink)

Quasi-set theory Q is an alternative set-theory designed to deal mathematically with collections of indistinguishable objects. The intended interpretation for those objects is the indistinguishable particles of non-relativistic quantum mechanics, under one specific interpretation of that theory. The notion of cardinal of a collection in Q is treated by the concept of quasi-cardinal, which in the usual formulations of the theory is introduced as a primitive symbol, since the usual means of cardinal definition fail for collections of indistinguishable objects. In (...) a recent work, Domenech and Holik have proposed a definition of quasi-cardinality in Q. They claimed their definition of quasi-cardinal not only avoids the introduction of that notion as a primitive one, but also that it may be seen as a first step in the search for a version of Q that allows for a greater representative power. According to them, some physical systems can not be represented in the usual formulations of the theory, when the quasi-cardinal is considered as primitive. In this paper, we discuss their proposal and aims, and also, it is presented a modification from their definition we believe is simpler and more general. (shrink)

This unique anthology of new, contributed essays offers a range of perspectives on various aspects of ontic vagueness. It seeks to answer core questions pertaining to onticism, the view that vagueness exists in the world itself. The questions to be addressed include whether vague objects must have vague identity, and whether ontic vagueness has a distinctive logic, one that is not shared by semantic or epistemic vagueness. The essays in this volume explain the motivations behind onticism, such as the plausibility (...) of mereological vagueness and indeterminacy in quantum mechanics and they offer various arguments both for and against ontic vagueness; onticism is also compared with other, competing theories of vagueness such as semanticism, the view that vagueness exists only in our linguistic representation of the world. Gareth Evans’s influential paper of 1978, “Can There Be Vague Objects?” gave a simple but cogent argument against the coherence of ontic vagueness. Onticism was subsequently dismissed by many. However, in recent years, researchers have become aware of the logical gaps in Evans’s argument and this has triggered a new wave of interest in onticism. Onticism is now widely regarded as at least a coherent view. Reflecting this growing consensus, the present anthology for the first time puts together essays that are focused on onticism and its various facets and it fills in the lacuna in the literature on vagueness, a much-discussed subject in contemporary philosophy. (shrink)

In this work, we discuss a formal way of dealing with the properties of contextual systems. Our approach is to assume that properties describing the same physical quantity, but belonging to different measurement contexts, are indistinguishable in a strong sense. To construct the formal theoretical structure, we develop a description using quasi-set theory, which is a set-theoretical framework built to describe collections of elements that violate Leibnitz's principle of identity of indiscernibles. This framework allows us to consider a new ontology (...) in order to study the properties of quantum systems. (shrink)

One recent debate in philosophy of physics has centered whether quantum particles are individuals or not. The received view is that particles are not individuals and the standard methodology is to approach the question via the structure of quantum theory. I challenge both the received view and the standard methodology. I contend not only that the structure of quantum theory is not the right place to look for conditions of individuality that quantum particles may or may not satisfy, but also (...) that there is an important role for traditional metaphysics to play. Consequently, my work brings together the philosophy of physics and traditional metaphysics literatures to shed new light on the debate over the individuality of quantum particles. I defend a set of conditions of individuality and argue that quantum particles satisfy these conditions thereby defending the view that particles are individuals in opposition to the received view. I also challenge a second feature of the standard methodology insofar as I challenge the significance of the Principle of the Identity of Indiscernibles in terms of which much discussion in the philosophy of physics literature is framed. My work is significant in a number of additional ways as well. My work implies that the dominant explanation for quantum statistics in terms of non-individuality is incorrect and it also undermines the ontic-structural realists metaphysical underdetermination challenge to the scientific realist. (shrink)

I introduce a thin concept of ad hoc identity -- distinct from metaphysical accounts of either relative identity or absolute identity -- and an equally thin account of concepts and their content. According to the latter minimalist view of concepts, the content of a concept has behavioral consequences, and so content can be bounded if not determined by appeal to linguistic and psychological evidence. In the case of counting practices, this evidence suggests that the number concept depends on a notion (...) of identity at least as strong as ad hoc identity. In the context of nonrelativistic QM in particular, all of the counting procedures appealed to in the existing literature on nonindividuality are shown to involve ad hoc identity. I then show that Goyal Complementarity and the associated derivation of a strong symmetrization principle in QM can be understood in terms ad hoc identity. Specifically, persistence and non-persistence models of quantum processes are seen to be complementary in the sense that they involve two relations of ad hoc identity that occasionally overlap in empirically meaningful ways. Finally, I attempt to draw out consequences for theories of nonindividuality from the above conceptual analysis. The upshot is that counting and definite cardinality are incompatible with nonindividuality, and that none of the counting procedures cited for quantum phenomena offer positive support for an interpretation in terms of nonindividuals. (shrink)

In this work we discuss logical structures related to indistinguishable particles. Most of the framework used to develop these structures was presented in [17, 28] and in [20, 14, 15, 16]. We use these structures and constructions to discuss possible ontologies for identical particles. In other words, we use these structures in order to characterize the logical structure of quantum systems for the case of indistinguishable particles, and draw possible philosophical implications. We also review some proposals available in the literature (...) which may be considered within the framework of the quantum logical tradition regarding the problem of indistinguishability. Besides these discussions and constructions, we advance novel technical results, namely, a lattice theoretical structure for identical particles for the finite dimensional case. This kind of approach was not present in the scarcely literature of quantum logic and indistinguishable particles. (shrink)

Paraconsistent logics are logics that can be used to base inconsistent but non-trivial systems. In paraconsistent set theories, we can quan- tify over sets that in standard set theories, if consistent, would lead to contradictions, such as the Russell set, R = fx : x =2 xg. Quasi-set theories are mathematical systems built for dealing with collections of indiscernible elements. The basic motivation for the development of quasi-set theories came from quantum physics, where indiscernible entities need to be considered. Usually, (...) the way of dealing with indiscernible objects within clas- sical logic and mathematics is by restricting them to certain structures, in a way so that the relations and functions of the structure are not sufficient to individuate the objects; in other words, such structures are not rigid. In quantum physics, this idea appears when symmetry conditions are introduced, say by choosing symmetric and anti-symmetric functions in the relevant Hilbert spaces. But in standard mathematics, such as that built in Zermelo-Fraenkel set theory, any structure can be extended to a rigid structure. That means that, although we can deal with certain objects as they were indiscernible, we realize that from out- side of these structures these objects are no more indiscernible, for they can be individualized in the extended rigid structures: ZF is a theory of individuals, distinguishable objects. In quasi-set theory, it seems that there are structures that cannot be extended to rigid ones, so it seems that they provide a natural mathematical framework for expressing quantum facts without certain symmetry suppositions. There may be situations, however, in which we may need to deal with inconsistent bits of infor- mation in a quantum context, even if these informations are concerned with ways of speech. Furthermore, some authors think that superposi- tions may be understood in terms of paraconsistent logics, and even the notion of complementarity was already treated by such a means. This is, apparently, a nice motivation to try to merge these two frameworks. In this work, we develop the technical details, by basing our quasi-set theory in the paraconsistent system C1. We also elaborate a new hierarchy of paraconsistent calculi, the paraconsistent calculi with indiscernibility. For the finalities of this work, some philosophical questions are outlined, but this topic is left to a future work. (shrink)

In this paper we consider the notions of structure and models within the semantic approach to theories. To highlight the role of the mathematics used to build the structures which will be taken as the models of theories, we review the notion of mathematical structure and of the models of scientific theories. Then, we analyse a case-study and argue that if a certain metaphysical view of quantum objects is adopted, namely, that which sees them as non-individuals, then there would be (...) strong reasons to ask for a different mathematical framework for describing the structures that would be the models of the corresponding theory. In departing from the standard frameworks, we hope to bring to the scene, within the scope of the semantic approach, the importance of paying attention to some fundamental concepts usually only superficially touched by philosophers of science. (shrink)