-
18Non-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 th…Read more
-
17This is a general philosophical paper where I overview some of my ideas concerning the non-reflexive foundations of quantum mechanics. By NRFQM I mean an interpretation of QM that considers an involved on- tology of non-individuals as explained in the text. Thus, I do not endorse a purely instrumentalist view of QM, but believe that it speaks of something, and then I try to show that one of the plausible views of this ‘something’ is as entities devoided of identity conditions.
-
37Quantum Logical Structures For Identical ParticlesCadernos de História E Filosofia da Ciéncia 2 (1): 13-58. 2016.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 s…Read more
-
118In this paper, we examine the concept of particle as it appears in quantum field theories, focusing on a puzzling situation regarding this concept. Although quantum ‘particles’ arise from fields, which form the basic ontology of QFT, and thus a certain concept of ‘particle’ is al- ways available, the properties ascribed to such ‘particles’ are not completely in agreement with the mathematical and logical description of such fields, which should be taken as individuals.
-
1444Scientific Theories, Models and the Semantic ApproachPrincipia: An International Journal of Epistemology 11 (2): 187-201. 2007.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 paralle…Read more
-
90In 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. Th…Read more
-
1Quasiset theories for microobjects: A comparisonIn Elena Castellani (ed.), Interpreting Bodies, Princeton University Press. pp. 142--52. 1998.
-
94Quantum Sortal PredicatesSynthese 154 (3). 2007.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 a…Read more
-
86Scientific Theories, Models and the Semantic ApproachPrincipia: An International Journal of Epistemology 11 (2): 187-201. 2007.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 paralle…Read more
-
39The Quasi-lattice of Indiscernible ElementsStudia Logica 97 (1): 101-126. 2011.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…Read more
-
74A obra de Newton C.A. Da Costa em LogicaTheoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 7 (1-3): 347-386. 1992.In this paper we present an overview of Professor Newton C. A. da Costa’s work in logic, emphasizing the main results obtained by him in the several areas of his research activity. The text furnish a detailed bibliographic reference of his works, which are listed in the last section
-
Classical Logic or Non-Reflexive Logic?: A Case of Semantic UnderdeterminationRevista Portuguesa de Filosofia 68 (1-2): 73-86. 2012.
-
158Inspired 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 …Read more
-
25We 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…Read more
-
183Q-spaces and the Foundations of Quantum MechanicsFoundations of Physics 38 (11): 969-994. 2008.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, alt…Read more
-
157Structures and Structural RealismLogic Journal of the IGPL 13 (1): 113-126. 2003.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…Read more
-
53Schrödinger LogicsStudia Logica 53 (4): 533-550. 1994.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 presen…Read more
-
55Perspectivismo na filosofia da ciência: um estudo de caso na física quântica / Perspectivism in philosophy of science: a case-study in quantum physicsScientiae Studia 11 (1): 159-183. 2013.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 me…Read more
-
149Is Identity Really so Fundamental?Foundations of Science 24 (1): 51-71. 2019.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…Read more
-
318A inseparabilidade entre lógica E a éticaPhilósophos - Revista de Filosofia 18 (1): 245-259. 2013.
-
79An Intensional Schrödinger LogicNotre Dame Journal of Formal Logic 38 (2): 179-194. 1997.We investigate the higher-order modal logic , which is a variant of the system presented in our previous work. A semantics for that system, founded on the theory of quasi sets, is outlined. We show how such a semantics, motivated by the very intuitive base of Schrödinger logics, provides an alternative way to formalize some intensional concepts and features which have been used in recent discussions on the logical foundations of quantum mechanics; for example, that some terms like 'electron' hav…Read more
-
147Vague Identity and Quantum Non-IndividualityAnalysis 55 (1). 1995.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…Read more
-
116Physics, inconsistency, and quasi-truthSynthese 191 (13): 3041-3055. 2014.In this work, the first of a series, we study the nature of informal inconsistency in physics, focusing mainly on the foundations of quantum theory, and appealing to the concept of quasi-truth. We defend a pluralistic view of the philosophy of science, grounded on the existence of inconsistencies and on quasi-truth. Here, we treat only the ‘classical aspects’ of the subject, leaving for a forthcoming paper the ‘non-classical’ part
-
33Resenha de: DUTRA, L. H. de A. e MORTARI, C. A. (eds.) Princípios: seu papel na filosofia e nas ciênciasPrincipia: An International Journal of Epistemology 4 (2): 327-330. 2000.Resenha
-
75From primitive identity to the non-individuality of quantum objectsStudies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 46 (2): 273-282. 2014.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 princ…Read more
-
25Física e OntologiaDiscusiones Filosóficas 9 (12). 2008.objeto físicolas teorías físicas. En la medida en quela física se ocupa de los constitutivosesencial. A pesar de que la física actual node explicar por qué el mundo es comolas físicas
-
Federal University of Santa CatarinaProfessor
University of São Paulo
Department of Philosophy, Languages and Literature, and Human Sciences
PhD, 1990
Florianópolis, Santa Catarina, Brazil
Areas of Specialization
Logic and Philosophy of Logic |
Philosophy of Physical Science |