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.

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

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

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.

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.

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

The ‘ontic’ form of structural realism , roughly speaking, admits a complete elimination of the objects in the discourse of scientific theories, leaving us with structures only. As put by the defenders of such a claim, the idea is that all there is are structures and, if the relevant structures are to be set-theoretical constructs , as it has also been claimed, then the relations which appear in such structures should be taken to be ‘relations without the relata’. As far as we know, there is not a definition of structure in standard mathematics which fits their intuitions, and even category theory seems not to correspond adequately the OSR claims. Since OSR is also linked with the semantic approach to theories, the structures to be dealt with are taken to be set-theoretical constructs. But these are ‘relational’ structures where the involved relations are built from basic objects , and so no complete elimination of the relata is possible, although it would be adequate for characterizing OSR. In this paper we present a definition of a kind of relation that does not depend on the particular objects being related in the sense that the ‘relation’ continues to hold even if the relata are exchanged by suitable objects. Although there is not a ‘complete’ elimination of relata, our definition might be viewed as an alternative way of finding adequate mathematical ‘set-theoretical’ frameworks for describing at least some of the intuitions regarding OSR within a ‘set-theoretical’ framework

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 that identity lacks sense for elementary particles of modern physics, and the way which physicists deal with this concept; normally, they understand identity as meaning indistinguishability . 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

PORTUGUESE: Neste artigo, apresentaremos uma visão particular do desenvolvimento de teorias científicas que denominamos (inspirados em Ortega y Gasset) "perspectivismo". Discutiremos como, através desse enfoque, é possível compatibilizar diversas descrições aparentemente distintas e incompatíveis de uma suposta realidade que se investiga. Fazemos isso distinguindo entre a "realidade" (R) e a "descrição empírica da realidade" (Re). Aceitando que podemos ter diversas descrições empíricas de uma mesma realidade, discutimos o caso particular em que esse esquema é utilizado nos debates atuais acerca da ontologia da física quântica, em especial da mecânica quântica não relativista. Como se sabe, essa teoria é compatível com distintas ontologias (ou metafísicas), em particular, pode ser vista como comprometida com uma ontologia de indivíduos, mas também com uma ontologia de não indivíduos. Ambas as alternativas são plausíveis e merecem ser desenvolvidas. Propomos que o perspectivismo aqui apresentado é neutro com relação à escolha de uma metafísica (ontologia), bem como aos debates entre realistas e antirrealistas em filosofia da ciência. Concluímos que passar do pluralismo aceito pelo perspectivista ao realismo ou antirrealismo envolve comprometimento com teses mais robustas acerca da relação entre realidade e descrição da realidade.ENGLISH: In this article we present a particular view of the development of scientific theories which (following Ortega y Gasset), we term "perspectivism". Making use of this view, we discuss how we can accommodate distinct and apparently incompatible descriptions of a supposed reality under investigation. We distinguish between a "reality" (R) and its "empirical description", (Re). Acknowledging that we can have diverse empirical descriptions of the same reality, we discuss the particular case in which the view is applied to current debates on the ontology of quantum physics, especially of non-relativistic quantum mechanics. As it is well known, this theory is compatible with treating quantum objects either as individuals or as non-individuals. Both ontologies are possible and deserve to be developed. We propose that the perspectivism developed here is neutral not only with respect to the choice of an ontology, but also concerning the debates among realists and anti-realists in the philosophy of science. We conclude that to go beyond the pluralism accepted by perspectivism, and to adopt realism or anti-realism, involves commitment to strong theses about the relation between reality and its descriptions. PORTUGUESE: Neste artigo, apresentaremos uma visão particular do desenvolvimento de teorias científicas que denominamos (inspirados em Ortega y Gasset) "perspectivismo". Discutiremos como, através desse enfoque, é possível compatibilizar diversas descrições aparentemente distintas e incompatíveis de uma suposta realidade que se investiga. Fazemos isso distinguindo entre a "realidade" (R) e a "descrição empírica da realidade" (Re). Aceitando que podemos ter diversas descrições empíricas de uma mesma realidade, discutimos o caso particular em que esse esquema é utilizado nos debates atuais acerca da ontologia da física quântica, em especial da mecânica quântica não relativista. Como se sabe, essa teoria é compatível com distintas ontologias (ou metafísicas), em particular, pode ser vista como comprometida com uma ontologia de indivíduos, mas também com uma ontologia de não indivíduos. Ambas as alternativas são plausíveis e merecem ser desenvolvidas. Propomos que o perspectivismo aqui apresentado é neutro com relação à escolha de uma metafísica (ontologia), bem como aos debates entre realistas e antirrealistas em filosofia da ciência. Concluímos que passar do pluralismo aceito pelo perspectivista ao realismo ou antirrealismo envolve comprometimento com teses mais robustas acerca da relação entre realidade e descrição da realidade.

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.

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.