-
30Introdução aos fundamentos axiomáticos da ciênciaPrincipia: An International Journal of Epistemology 6 (2): 315-319. 2002.Review of the KRAUSE, Décio "Introdução aos Fundamentos Axiomáticos da Ciência" São Paulo EPU, 2002
-
159Quantum vaguenessErkenntnis 59 (1). 2003.It has been suggested that quantum particles are genuinelyvague objects (Lowe 1994a). The present work explores thissuggestion in terms of the various metaphysical packages that areavailable for describing such particles. The formal frameworksunderpinning such packages are outlined and issues of identityand reference are considered from this overall perspective. Indoing so we hope to illuminate the diverse ways in whichvagueness can arise in the quantum context.
-
90The problem of identity and a justification for a non-reflexive quantum mechanicsLogic Journal of the IGPL 22 (2): 186-205. 2014.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 fundamen…Read more
-
23Brigitte Falkenburg, Editor, Between rationalism and empiricism. Selected Papers in the Philosophy of Physics; Erhard Scheibe, Springer, Berlin (2001) ISBN 0-387-98520-4 (627pp. Euro 88.76) (review)Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 36 (1): 210-217. 2005.
-
18Questões a uma teoria de quase-objetosManuscrito 32 (2): 399-436. 2009.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 the…Read more
-
99Why Non-individuality? A Discussion on Individuality, Identity, and Cardinality in the Quantum ContextErkenntnis (1): 1-18. 2012.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 situat…Read more
-
119Logical aspects of quantum (non-)individualityFoundations of Science 15 (1): 79-94. 2010.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…Read more
-
36We 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 logi…Read more
-
76Remarks on quantum ontologySynthese 125 (1-2): 155-167. 2000.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 i…Read more
-
36Schrödinger LogicsStudia Logica 53 (4). 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 (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 class…Read more
-
48Quantifiers and the Foundations of Quasi-Set TheoryPrincipia: An International Journal of Epistemology 13 (3): 251-268. 2009.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 do…Read more
-
177Identity, indiscernibility, and philosophical claimsAxiomathes 15 (2): 191-210. 2005.The concept of indiscernibility in a structure is analysed with the aim of emphasizing that in asserting that two objects are indiscernible, it is useful to consider these objects as members of (the domain of) a structure. A case for this usefulness is presented by examining the consequences of this view to the philosophical discussion on identity and indiscernibility in quantum theory.
-
111A formal framework for quantum non-individualitySynthese 102 (1). 1995.H. Post's conception of quantal particles as non-individuals is set in a formal logico-mathematical framework. By means of this approach certain metaphysical implications of quantum mechanics can be further explored.
-
112Remarks on the Theory of Quasi-setsStudia Logica 95 (1-2). 2010.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…Read more
-
30Teorias e Modelos em Genética de Populações: Um exemplo do uso do Método Axiomático em BiologiaEpisteme 11 (24): 269-291. 2006.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 “predicad…Read more
-
4Book review (review)Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 36 (1): 210-217. 2005.
-
151Quantum 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
-
107Relativizations of the Principle of IdentityLogic Journal of the IGPL 5 (3): 17-29. 1997.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 formulatio…Read more
-
46Newton da Costa e a Filosofia de Quase-verdadePrincipia: An International Journal of Epistemology 13 (2): 105-128. 2009.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, whi…Read more
-
159Inspired 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
-
195Q-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
-
160Structures 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
-
56Schrö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
-
57Perspectivismo 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
-
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 |