Décio Krause

Physics is not just mathematics. This seems trivial, but poses difficult and interesting questions. In this paper we analyse a particular discrepancy between non-relativistic quantum mechanics and ‘classical’ space and time. We also suggest, but not discuss, the case of the relativistic QM. In this work, we are more concerned with the notion of space and its mathematical representation. The mathematics entails that any two spatially separated objects are necessarily different, which implies that they are discernible —we say that the space is T2, or “Hausdorff”, or yet “separable”. But when enters QM, sometimes the systems need to be taken as completely indistinguishable, 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 by means of their individuation, which seems to be contra the quantum physical situation, where individuation does not entail identity. Here we discuss this topic by considering a case study and conclude 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. This case study seems to be relevant for a more detailed discussion on the interplay between physical theories and their underlying mathematics, in a simple way apparently never realized before.

It is well known that in quantum mechanics we cannot always define consistently properties that are context independent. Many approaches exist to describe contextual properties, such as Contextuality by Default, sheaf theory, topos theory, and non-standard or signed probabilities. In this paper we propose a treatment of contextual properties that is specific to quantum mechanics, as it relies on the relationship between contextuality and indistinguishability. In particular, we propose that if we assume the ontological thesis that quantum particles or properties can be indistinguishable yet different, no contradiction arising from a Kochen-Specker-type argument appears: when we repeat an experiment, we are in reality performing an experiment measuring a property that is indistinguishable from the first, but not the same. We will discuss how the consequences of this move may help us understand quantum contextuality.

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.

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.

Schrödinger logics are logical systems in which the principle of identity is not true in general. The intuitive motivation for these logics is both Erwin Schrödinger's thesis (which has been advanced by other authors) that identity lacks sense for elementary particles of modern physics, and the way which physicists deal with this concept; normally, they understandidentity as meaningindistinguishability (agreemment with respect to attributes). Observing that these concepts are equivalent in classical logic and mathematics, which underly the usual physical theories, we present a higher-order logical system in which these concepts are systematically separated. A classical semantics for the system is presented and some philosophical related questions are mentioned. One of the main characteristics of our system is that Leibniz' Principle of the Identity of Indiscernibles cannot be derived. This fact is in accordance with some authors who maintain that quantum mechanics violates this principle. Furthermore, our system may be viewed as a way of making sense some of Schrödinger's logical intuitions about the nature of elementary particles.

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.

A investigação de um domínio amplo da realidade, como a evolução dosseres vivos, pode dar origem a diferentes “teorias”, cada uma consoantecom uma particular perspectiva que se considere. Para que se proceda auma análise detalhada dos pressupostos e conceitos que baseiam umadeterminada visão, o método axiomático parece ser a melhor das opções.Neste artigo, são discutidas algumas teorias da biologia evolutiva de umponto de vista axiomático, mostrando-se de que forma se pode apresentarum “predicado de Suppes” para a teoria sintética da evolução, comodetalhado em outro local . Estaformulação é utilizada, dentre outras coisas, para se discutir a noção deaptidão darwiniana, bem como para explorar as relações entre a teoriadarwiniana da seleção natural e a genética de populações.The investigation of a wide field of knowledge, as evolution of living beings,may originate different “theories”, each one acting as a particularperspective we have about the domain. In order to proceed a philosophicalanalysis of the underlying assumptions of a particular view, it seems thatthe use of the axiomatic method is still the better way. Here, we discuss some theories of evolutionary biology from an axiomatic point of view, bymeans of a Suppes predicate for the synthetic theory of evolution, alreadydetailed in MAGALHÃES and KRAUSE . This formulation is hereused, among other things, to deal with the concept of Darwinian fitness, soas to explore the relationships between Darwinian theory and populationgenetics

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

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.

We discuss some logico-mathematical systems which deviate from classical logic and mathematics with respect to the concept of identity. In the first part of the paper we present very general formulations of the principle of identity and show how they can be ‘relativized’ to objects and to properties. Then, as an application, we study the particular cases of physics and logic . In the last part of the paper, we discuss the alphabar logics, that is, those logical systems which violate a formulation of one of the most fundamental versions of the principle of identity; in these logics, there are formulas which are not deducible from themselves

This paper intends to introduce the three issues of Principia which will appear in a sequel honoring Newton da Costa’s 80th birthday. Instead of presenting the papers one by one, as it is common in presentations such as this one, we have left the papers speak by themselves, and instead we have preferred to present to the Brazilian readers, specialty to our students, some aspects of Newton da Costa’s conception of science and of the scientific activity, grounded on the concept of quasi-truth, which he contributed to develop in a rigorous way. Da Costa is known as one of the founding fathers of paraconsistent logic, but his contributions go also to the foundations of physics, theoretical computation, model theory, algebraic logic, lattice theory, applications of non-classical logics to law and technology, etc. But perhaps his main contribution was to provide a basis for the birth of a school of logic in our country, serving as teacher and inspiring new researchers for generations. It is a pleasure to have had so enthusiastic acceptation from the editors of Principia to organize these volumes. I would like to thank the contributors and the editors of Principia, specially Prof. Cezar Mortari for his help in organizing the issue.

Inspired in Quine's well known slogans “To be is to be the value of a variable” and "No entity without identity", we provide a way of enabling that non-individual entities (as characterized in the text) can also be values of variables of an adequate "regimented" language, once we consider a possible meaning of the background theory Quine reports to ground his view. In doing that, we show that there may exist also entities without identity, and emphasize the importance of paying attention to the metalanguage of scientific theories, for they may be also fundamental in determining the theory's ontological commitment.