Décio Krause

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 (\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak{I}}$$\end{document}-lattice), which can be modeled by an algebraic structure built in quasi-set theory \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak{Q}}$$\end{document}. 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.

We show that using quasi-set theory, or the theory of collections of indistinguishable objects, we can define an algebra that has most of the standard properties of an orthocomplete orthomodular lattice, which is the lattice of all closed subspaces of a Hilbert space. We call the mathematical structure so obtained $\mathfrak{I}$-lattice. After discussing some aspects of such a structure, we indicate the next problem of axiomatizing the corresponding logic, that is, a logic which has $\mathfrak{I}$-lattices as its Lindembaum algebra, which we postpone to a future work. Thus we conclude that the initial intuitions by Birkhoff and von Neumann that the ``logic of quantum mechanics" would be not classical logic, is consonant with the idea of considering indistinguishability right from the start, that is, as a primitive concept. In the first sections, we present the main motivations and a ``classical'' situation which mirrors that one we focus on the last part of the paper. This paper is our first analysis of the algebraic structure of indiscernibility.

Some of the forerunners of quantum theory regarded the basic entities of such theories as 'non-individuals'. One of the problems is to treat collections of such 'things', for they do not obey the axioms of standard set theories like Zermelo- Fraenkel. In this paper, collections of objects to which the standard concept of identity does not apply are termed 'quasi-sets'. The motivation for such a theory, linked to what we call 'the Manin problem', is presented, so as its specific axioms. At the end, it is shown how quantum statistics can be obtained within quasi-set thbeory.

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.

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.

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.

El Premio Nobel Hans Dehmelt aprisionó un positron, que fue llamado “Priscilla”. Dehmelt dijo que no podemos dudar de la identidad de Priscilla. Eso nos coloca un problema filosófico, puesto que aprendimos con la mecánica cuántica (en sus principales interpretaciones) que los objetos cuánticos no deberían tener individualidad. En este artículo, discutimos las cuestiones de nombrar los quanta y las cuestiones de la individuación. Conclúyenos que, a pesar de que Dehmelt nombró algo, ese algo no es un individuo.

Lowe has recently argued that quantum particles offer examples of vague objects. While accepting the premise of the argument that such particles can be regarded as individuals, we point out that there is a lacuna here, to be filled by a detailed analysis of the nature of the entangled states which they enter into. We then elaborate the alternative view, according to which such particles should be regarded as non- individuals' and situate it in the context of recent developments of a logic of non- individuality. Our conclusion is that it is here that one encounters genuine ontic vagueness.

Georg Cantor said that a set is a collection into a whole of defined and distinct objects. This intuitive idea is in certain sense grasped by standard set theories, like Zermelo-Fraenkel's (ZF), where we can always (at least in principle) distinguish among the elements of a set. So, a natural question is: How to treat as 'sets' collections of indistinguishable objects, as those supposed by certain versions of quantum physics? Motivated by these issues, we have developed quasi-set theory. The problem of treating as 'sets' collections of entities like electrons, which would be indistinguishable, was listed as the first problem in list of Present Day Problems of Mathematics, posed at the Congress on the Hubert Problems in 1974, sponsored by the American Mathematical Society. Embedded in such a context, quasi-set theory acquires a strong commitment to the way quantum physics copes with collections of elementary particles, once it admits particles of some sort. In this paper, we discuss the axioms of quasi-set theory and sketch some of its possible applications to physics. The discussion, we hope, will also help us to get a deeper understanding on the role played by the concept of identity in mathematics. © 2011 Elsevier B.V., All rights reserved.

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).

In this paper we try to justify our way of looking for an alternative approach to quantum mechanics, which is based on a non-classical logic. We consider two specific questions related to quantum theory, namely, entanglement and the indiscernibility of quanta. We characterize individuals, and then explain in what sense entanglement is a concept which can be applied to individuals in a restricted sense only. Then, we turn to indiscernibility and, after realizing that this concept is of a fundamental importance, we mention the ‘traditional’ theory of identity of standard logic and mathematics, which underly the basic formalism of quantum theory. Then we propose to call the Problem of Identity the question whether identity of objects can be justified, and under what conditions. As in the Hume’s celebrated Problem of Induction, we conclude that the attribution of transtemporal identity to an object has no logic justification, and must be considered as a metaphysical hypothesis. Numerical identity is also put aside for similar reasons. Then we guess that identity is just an useful concept, but which in certain fields, mainly in the quantum realm, could be substituted by a weaker concept of indiscernibility. This assumption motivates us to look for an interpretation of quantum mechanics based on a non-classical logic, termed non-reflexive, and the corresponding mechanics is called non-reflexive quantum mechanics.

Is there vagueness in the world? This is the central question that we are concerned with. Focusing on identity statements around which much of the recent debate has centred, we argue that `vague identity' arises in quantum mechanics in one of two ways. First, quantum particles may be described as individuals, with `entangled' states understood in terms of non-supervenient relations. In this case, the vagueness is ontic but exists at the level of these relations which act as a kind of `veil'. Secondly, the particles can be regarded as non-individuals, where this is understood as a lack of self-identity and given formal expression in terms of quasi-set theory. Here we have ontic vagueness at perhaps the most basic metaphysical level. Our conclusion is that there is genuine vagueness `in the world' but how it is understood depends on the metaphysical package adopted.

This paper is the sequel of a previous one where we have introduced a paraconsistent logic termed paraclassical logic to deal with 'complementary propositions'. Here, we enlarge upon the discussion by considering certain 'meaning principles', which sanction either some restrictions of 'classical' procedures or the utilization of certain 'classical' incompatible schemes in the domain of the physical theories. Here, the term 'classical' refers to classical physics. Some general comments on the logical basis of a scientific theory are also put in between the text, motivated by the discussion of complementarity.

Discutimos algumas quest~oes relacionadas a uma possvel teoriade quase-objetos, isto e, objetos para os quais as condic~oes usuais de identidaden~ao se aplicariam. Desde que a principal motivac~ao para uma tal teoriae a mec^anica qu^antica, a discuss~ao e realizada tendo-se essa intepretac~ao pretendidaem mente.We discuss some questions related to a possible theory of quasiobjects,that is, objects for which the standard identity conditions should nothold. Since the main motivation for such a theory is quantum mechanics,the discussion is posed with this intended interpretation in mind.

In this paper I consider some logical and mathematical aspects of the discussion of the identity and individuality of quantum entities. I shall point out that for some aspects of the discussion, the logical basis cannot be put aside; on the contrary, it leads us to unavoidable conclusions which may have consequences in how we articulate certain concepts related to quantum theory. Behind the discussion, there is a general argument which suggests the possibility of a metaphysics of non-individuals, based on a reasonable interpretation of quantum basic entities. I close the paper with a suggestion that consists in emphasizing that quanta should be referred to by the cardinalities of the collections to which they belong, for which an adequate mathematical framework seems to be possible.

Despite the discrepancies between quantum objects and `classical' ones, mainly with regard to the fact that the latter may be thought of as `individuals', contrary to the former, we still regard the quanta as `things' in our ordinary discourse as well as in the logico-mathematical basis of quantum theories. This paper considers some possibilities for accomodating the logico-mathematical framework of the theories which deal with such a strange ontology where the inhabitants are things devoid of identity and both having and not having certain properties.``All right'', said the Cat; and this time it vanished quite slowly, beginning with the end of the tail, and ending with the grin, which remained some time after the rest of it had gone.