Décio Krause

Non-relativistic quantum mechanics is grounded on ‘classical’ space and time. The mathematical description of these con- cepts entails that any two spatially separated objects are necessarily dif- ferent, which implies that they are discernible — we say that the space is T2, or "Hausdorff". But quantum systems, in the most interesting cases, some- times need to be taken as indiscernible, so that there is no way to tell which system is which, and this holds even in the case of fermions. But in the NST setting, it seems that we can always give an identity to them, which seems to be contra the physical situation. In this paper we discuss this topic for a case study and con- clude that, taking into account the quantum case, that is, when physics enter the discussion, even NST cannot be used to say that the systems do have identity.

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.

According to the semantic view, a theory is characterized by a class of models. In this paper, we examine critically some of the assumptions that underlie this approach. First, we recall that models are models of something. Thus we cannot leave completely aside the axiomatization of the theories under consideration, nor can we ignore the metamathematics used to elaborate these models, for changes in the metamathematics often impose restrictions on the resulting models. Second, based on a parallel between van Fraassen’s modal interpretation of quantum mechanics and Skolem’s relativism regarding set-theoretic concepts, we introduce a distinction between relative and absolute concepts in the context of the models of a scientific theory. And we discuss the significance of that distinction. Finally, by focusing on contemporary particle physics, we raise the question: since there is no general accepted unification of the parts of the standard model (namely, QED and QCD), we have no theory, in the usual sense of the term. This poses a difficulty: if there is no theory, how can we speak of its models? What are the latter models of? We conclude by noting that it is unclear that the semantic view can be applied to contemporary physical theories

In this first paper of a series of works on the foundations of science, we examine the significance of logical and mathematical frameworks used in foundational studies. In particular, we emphasize the distinction between the order of a language and the order of a structure to prevent confusing models of scientific theories with first-order structures, and which are studied in standard model theory. All of us are, of course, bound to make abuses of language even in putatively precise contexts. This is not a problem—in fact, it is part of scientific and philosophical practice. But it is important to be sensitive to the dierent uses that structure, model, and language have. In this paper, we examine these topics in the context of classical logic; only in the last section we touch upon briefly on non-classical ones.

Sortal predicates have been associated with a counting process, which acts as a criterion of identity for the individuals they correctly apply to. We discuss in what sense certain types of predicates suggested by quantum physics deserve the title of 'sortal' as well, although they do not characterize either a process of counting or a criterion of identity for the entities that fall under them. We call such predicates 'quantum-sortal predicates' and, instead of a process of counting, to them is associated a 'criterion of cardinality'. After their general characterization, it is discussed how these predicates can be formally described

According to the semantic view, a theory is characterized by a class of models. In this paper, we examine critically some of the assumptions that underlie this approach. First, we recall that models are models of something. Thus we cannot leave completely aside the axiomatization of the theories under consideration, nor can we ignore the metamathematics used to elaborate these models, for changes in the metamathematics often impose restrictions on the resulting models. Second, based on a parallel between van Fraassen’s modal interpretation of quantum mechanics and Skolem’s relativism regarding set-theoretic concepts, we introduce a distinction between relative and absolute concepts in the context of the models of a scientific theory. And we discuss the significance of that distinction. Finally, by focusing on contemporary particle physics, we raise the question: since there is no general accepted unification of the parts of the standard model, we have no theory, in the usual sense of the term. This poses a difficulty: if there is no theory, how can we speak of its models? What are the latter models of? We conclude by noting that it is unclear that the semantic view can be applied to contemporary physical theories.

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.

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.

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.

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.

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

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.

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 (in a preliminary form) 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 (a Boolean algebra), 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.

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.