-
53Does Newtonian Space Provide Identity to Quantum Systems?Foundations of Science 24 (2): 197-215. 2019.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…Read more
-
179Contextuality and IndistinguishabilityEntropy 19 ((9)): 435. 2017.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…Read more
-
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.
-
39Quantum 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.
-
1445Scientific 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
-
87Scientific 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
-
40The 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.
-
154Is 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
-
321A inseparabilidade entre lógica E a éticaPhilósophos - Revista de Filosofia 18 (1): 245-259. 2013.
-
82An 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
-
149Vague 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
-
118Physics, 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
-
77From 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
-
52A discussion on quantum non-individualityJournal of Applied Non-Classical Logics 22 (1-2): 105-124. 2012.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…Read more
-
Quantum objects are vague objectsSorites 6 (1): 21--33. 1996.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'. Sec…Read more
-
106Some 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 en…Read more
-
30Sobre uma fundamentação não reflexiva da mecânica quânticaScientiae Studia 10 (1): 71-104. 2012.
-
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 |