We discuss the idea that superpositions in quantum mechanics may involve contradictions or contradictory properties. A state of superposition such as the one comprised in the famous Schrödinger’s cat, for instance, is sometimes said to attribute contradictory properties to the cat: being dead and alive at the same time. If that were the case, we would be facing a revolution in logic and science, since we would have one of our greatest scientific achievements showing that real contradictions exist.We analyze that (...) claim by employing the traditional square of opposition.We suggest that it is difficult to make sense of the idea of contradiction in the case of quantum superpositions. From a metaphysical point of view the suggestion also faces obstacles, and we present some of them. (shrink)

Quasi-truth is typically advanced as a framework accounting for incompleteness and uncertainty in the actual practices of science. Also, it is said to be useful for accommodating cases of inconsistency in science without leading to triviality. In this paper, we argue that the given developments do not deliver all that is promised. We examine the most prominent account of quasi-truth available in the literature, advanced by da Costa and collaborators in many places, and argue that it cannot legitimately account for (...) incompleteness in science: we shall claim that it conflates paraconsistency and paracompleteness. It also cannot account for inconsistencies, because no direct contradiction of the form α ∧ ¬α can be quasi-true, according to the framework. Finally, we advance an alternative interpretation of the formalism in terms of dealing with distinct contexts where incompatible information is dealt with. This does not save the original program, but seems to make better sense of the formalism. (shrink)

Ontic Structural Realism is a version of realism about science according to which by positing the existence of structures, understood as basic components of reality, one can resolve central difficulties faced by standard versions of scientific realism. Structures are invoked to respond to two important challenges: one posed by the pessimist meta-induction and the other by the underdetermination of metaphysics by physics, which arises in non-relativistic quantum mechanics. We argue that difficulties in the proper understanding of what a structure is (...) undermines the realist component of the view. Given the difficulties, either realism should be dropped or additional metaphysical components not fully endorsed by science should be incorporated. (shrink)

Following J.-Y.Béziau in his pioneer work on non-standard interpretations of the traditional square of opposition, we have applied the abstract structure of the square to study the relation of opposition between states in superposition in orthodox quantum mechanics in [1]. Our conclusion was that such states are contraries, contradicting previous analyzes that have led to different results, such as those claiming that those states represent contradictory properties. In this chapter we bring the issue once again into the center of the (...) stage, but now discussing the metaphysical presuppositions which underlie each kind of analysis and which lead to each kind of result, discussing in particular the idea that superpositions represent potential contradictions. We shall argue that the analysis according to which states in superposition are contrary rather than contradictory is still more plausible. (shrink)

In this paper we propose to take seriously the claim that at least some kinds of paraconsistent negations are subcontrariety forming operators. We shall argue that from an intuitive point of view, by considering paraconsistent negations as formalizing that particular kind of opposition, one needs not worry with issues about the meaning of true contradictions and the like, given that “true contradictions” are not involved in these paraconsistent logics. Our strategy will consist in showing that, on the one hand, the (...) natural translation for subcontrariety in formal languages is not a contradiction in natural language, and on the other, translating alleged cases of contradiction in natural language to paraconsistent formal systems works only provided we transform them into a subcontrariety. Transforming contradictions into subcontrariety shall provide for an intuitive interpretation for paraconsistent negation, which we also discuss here. By putting all those pieces together, we hope a clearer sense of paraconsistency can be made, one which may liberate us from the need to tame contradictions. (shrink)

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. (shrink)

The aim of this paper is to argue that some objections raised by Jantzen (Synthese, 2010 ) against the separation of the concepts of ‘counting’ and ‘identity’ are misled. We present a definition of counting in the context of quasi-set theory requiring neither the labeling nor the identity and individuality of the counted entities. We argue that, contrary to what Jantzen poses, there are no problems with the technical development of this kind of definition. As a result of being able (...) to keep counting and identity apart for those entities, we briefly suggest that one venerable tradition concerning the nature of quantum particles may be consistently held. According to that tradition, known as the Received View on particles non-individuality, quantum particles may be seen as entities having both features: (i) identity and individuality do not apply to them, (ii) they may be gathered in collections comprising a plurality of them. (shrink)

According to a very widespread interpretation of the metaphysical nature of quantum entities—the so-called Received View on quantum non-individuality—, quantum entities are non-individuals. Still according to this understanding, non-individuals are entities for which identity is restricted or else does not apply at all. As a consequence, it is said, such approach to quantum mechanics would require that classical logic be revised, given that it is somehow committed with the unrestricted validity of identity. In this paper we examine the arguments to (...) the inadequacy of classical logic to deal with non-individuals, as previously defined, and argue that they fail to make a good case for logical revision. In fact, classical logic may accommodate non-individuals in that specific sense too. What is more pressing for the Received View, it seems, is not a revision of logic, but rather a more adequate metaphysical characterization of non-individuals. (shrink)

A close examination of the literature on ontology may strike one with roughly two distinct senses of this word. According to the first of them, which we shall call traditional ontology , ontology is characterized as the a priori study of various “ontological categories”. In a second sense, which may be called naturalized ontology , ontology relies on our best scientific theories and from them it tries to derive the ultimate furniture of the world. From a methodological point of view (...) these two senses of ontology are very far away. Here, we discuss a possible relationship between these senses and argue that they may be made compatible and complement each other. We also examine how logic, understood as a linguistic device dealing with the conceptual framework of a theory and its basic inference patterns must be taken into account in this kind of study. The idea guiding our proposal may be put as follows: naturalized ontology checks for the applicability of the ontological categories proposed by traditional ontology and give substantial feedback for it. The adequate expression of some of the resulting ontological frameworks may require a different logic. We conclude with a discussion of the case of orthodox quantum mechanics, arguing that this theory exemplifies the kind of relationship between the two senses of ontology. We also argue that the view proposed here may throw some light in ontological questions concerning this theory. (shrink)

Quasi-set theory is a ZFU-like axiomatic set theory, which deals with two kinds of ur-elements: M-atoms, objects like the atoms of ZFU, and m-atoms, items for which the usual identity relation is not defined. One of the motivations to advance such a theory is to deal properly with collections of items like particles in non-relativistic quantum mechanics when these are understood as being non-individuals in the sense that they may be indistinguishable although identity does not apply to them. According to (...) some authors, this is the best way to understand quantum objects. The fact that identity is not defined for m-atoms raises a technical difficulty: it seems impossible to follow the usual procedures to define the cardinal of collections involving these items. In this paper we propose a definition of finite cardinals in quasi-set theory which works for collections involving m-atoms. (shrink)

Dialetheism is the view that some true sentences have a true negation as well. Defending dialetheism, Graham Priest argues that the correct account of negation should allow for true contradictions and \) without entailing triviality. A negation doing precisely that is said to have ‘surplus content’. Now, to defend that the correct account of negation does have surplus content, Priest advances arguments to hold that classical Boolean negation does not even make sense without begging the question against the dialetheist. We (...) shall argue that Priest’s arguments may be turned upon themselves, and that he may also be accused of begging the question against the classical logician. We then advance an argument to the effect that Priest’s account of negation falls short of satisfying his own desiderata on a correct account of a negation: a theory of negation that attempts to represent contradictions cannot coherently allow surplus content, and vice-versa, a negation allowing for surplus content bans contradiction. (shrink)

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 different mathematical framework for describing the structures that would be the models of the corresponding theory. In departing from the standard frameworks (those worked on within standard mathematics), we hope to bring to the scene, within the scope of the semantic approach, the importance of paying attention to some fundamental concepts usually only superficially touched by philosophers of science (if touched). (shrink)

In this paper we discuss two approaches to the axiomatization of scientific theories in the context of the so called semantic approach, according to which (roughly) a theory can be seen as a class of models. The two approaches are associated respectively to Suppes’ and to da Costa and Chuaqui’s works. We argue that theories can be developed both in a way more akin to the usual mathematical practice (Suppes), in an informal set theoretical environment, writing the set theoretical predicate (...) in the language of set theory itself or, more rigorously (da Costa and Chuaqui), by employing formal languages that help us in writing the postulates to define a class of structures. Both approaches are called internal , for we work within a mathematical framework, here taken to be first-order ZFC. We contrast these approaches with an external one, here discussed briefly. We argue that each one has its strong and weak points, whose discussion is relevant for the philosophical foundations of science. (shrink)

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. (shrink)

In this paper we deal with two applications of the square of opposition to controversial issues in the philosophy of quantum mechanics. The first one concerns the kind of opposition represented by states in superposition. A superposition of “spin up” and “spin down” for a given spatial direction, for instance, is sometimes said to originate particular kinds of opposition such as contradictoriness. The second application concerns the problem of identical particles. Identity and indiscernibility are entangled in discussions of this problem (...) in such a way that a proper conceptual treatment of those issues through the square seems profitable. (shrink)

Problems of logical theory choice are current being widely dis- cussed in the context of anti-exceptionalist views on logic. According to those views, logic is not a special science among others, so, in particular, the methodology for theory choice should be the same in logic as for other scientific disciplines. Richard Routley advanced one such methodology which meshes well with anti-exceptionalism, and argued that it leads one to choosing one single logic, which is a kind of ultralogic. We argue that (...) the choice for only one correct system of logic may be rejected on the basis of the methodology proposed by Routley and, furthermore, that taking anti-exceptionalism about logic seriously recommends that a pluralist view of logic should be accepted. We call this view “full-blooded anti-exceptionalism”, and the resulting view on logic, lacking a proper name, “local pluralism”. (shrink)

The notion of an individual and the related issues on individuation are topics that appear in the philosophical discussion ever since the antiquity. The idea of an individual thing is intuitively clear: an individual is something of a specific kind that is a unity, having its own identity, and being so that it is possible at least in principle to discern it from any other individual, even of similar species. But when we try to leave the intuitive realm and push (...) this idea to a logical analysis, we find a cluster of problems that are difficult to overcome within standard logico-mathematical contexts. In this work, we shall be concerned with some aspects of this intuitive concept of an individual and on some related facts about individuation taken from recent discussions that arose ever since the inception of quantum theory, pushing the discussion to a “logical” view, which in our opinion is still lacking in the usual debates on such issues. In the final part of the paper, we propose a metaphysics where the notion of identity is substituted, for some objects, by a weaker notion of indiscernibility, and we try to justify such a move. In most of the uses of the expression “quantum theory”, we shall not make explicit the distinction between the non-relativistic and the relativistic approaches, although they of course are quite different, for we think that the problems as we shall present them appear in both versions. But, as the text goes, the context will distinguish between them and these questions will become clear to the reader. (shrink)

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, namely, that which sees them as non-individuals, then there would be (...) strong reasons to ask for a different mathematical framework for describing the structures that would be the models of the corresponding theory. In departing from the standard frameworks, we hope to bring to the scene, within the scope of the semantic approach, the importance of paying attention to some fundamental concepts usually only superficially touched by philosophers of science. (shrink)

In this work, we focus on a very specific case study: assuming that quantum theories deal with “particles” of some kind, what kind of entity can such particles be? One possible answer, the one we shall examine here, is that they are not the usual kind of object found in daily life: individuals. Rather, we follow a suggestion by Erwin Schrödinger, according to which quantum mechanics poses a revolutionary kind of entity: non-individuals. While physics, as a scientific field, is not (...) concerned with whether entities posited by a specific physical theory are individuals or not, answering this question is part of the quest for a better understanding of physical reality. Here lies, in large measure, the relevance of ontology. (shrink)

In this paper we argue that physical theories, including quantum mechanics, refer to some kind of ‘objects’, even if only implicitly. We raise questions about the logico-mathematical apparatuses commonly employed in such theories, bringing to light some metaphysical presuppositions underlying such apparatuses. We point out to some incongruities in the discourse holding that quantum objects would be entities of some ‘new kind’ while still adhering to the logico-mathematical framework we use to deal with classical objects. The use of such apparatus (...) would hinder us from being in complete agreement with the ontological novelties the theories of quanta seem to advance. Thus, we join those who try to investigate a ‘logic of quantum mechanics’, but from a different point of view: looking for a formal foundation for a supposed new ontology. As a consequence of this move, we can revisit Einstein’s ideas on physical reality and propose that, by considering a new kind of object traditionally termed ‘non-individuals’, it is possible to sustain that they still obey some of Einstein’s conditions for ‘physical realities’, so that it will be possible to talk of a ‘principle of separability’ in a sense which is not in complete disagreement with quantum mechanics. So, Einstein’s departure from quantum mechanics might be softened at least concerning a form of his realism, which sees separated physical objects as distinct ‘physical realities’. (shrink)

Nonreflexive quantum mechanics is a formulation of quantum theory based on a non- classical logic termed nonreflexive logic. In these logics, the standard notion of identity, as encapsulated in classical logic and set theories, does not hold in full. The basic aim of this kind of approach to quantum mechanics is to take seriously the claim made by some authors according to whom quantum particles are non-individuals in some sense, and also to take into account the fact that they may (...) be absolutely indistinguishable. The nonreflexive formulation of quantum theory assumes these features of the objects already at the level of the underlying logic, so that no use is required of symmetrization postulates or other mathematical devices that serve to pretend that the objects are indiscernible. Here, we present the ideas of the development of nonreflexive quantum mechanics and discuss some philosophical motivations and consequences of it. (shrink)

In this paper we consider the phenomenon of superpositions in quantum mechanics and suggest a way to deal with the idea in a logical setting from a syntactical point of view, that is, as subsumed in the language of the formalism, and not semantically. We restrict the discussion to the propositional level only. Then, after presenting the motivations and a possible world semantics, the formalism is outlined and we also consider within this schema the claim that superpositions may involve contradictions, (...) as in the case of the Schrödinger's cat, which is both alive and dead. We argue that this claim is a misreading of the quantum case. Finally, we sketch a new form of quantum logic that involves three kinds of negations and present the relationships among them. The paper is a first approach to the subject, introducing some main guidelines to be developed by a `syntactical' logical approach to quantum superpositions. (shrink)

This paper is a continuation of the authors' attempts to deal with the notion of indistinguishability (or indiscernibility) from a logical point of view. Now we introduce a two-sorted first-order modal logic to enable us to deal with objects of two different species. The intended interpretation is that objects of one of the species obey the rules of standard S5, while the objects of the other species obey only the rules of a weaker notion of indiscernibility. Quantum mechanics motivates the (...) development. The basic idea is that in the ‘actual’ world things may be indiscernible but in another accessible world they may be distinguished in some way. That is, indistinguishability needs not be seen as a necessary relation. Contrariwise, things might be distinguished in the ‘actual’ world, but they may be indiscernible in another world. So, while two quantum systems may be entangled in the actual world, in some accessible world, due to a measurement, they can be discerned, and on the other hand, two initially separated quantum systems may enter in a state of superposition, losing their individualities. Two semantics are sketched for our system. The first is constructed within a standard set theory (the ZFC system is assumed at the metamathematics). The second one is constructed within the theory of quasi-sets, which we believe suits better the purposes of our logic and the mathematical treatment of certain situations in quantum mechanics. Some further philosophically related topics are considered. (shrink)

In this basically expository paper we discuss the role of logic and mathematics in researches concerning the ontology of scientific theories, and we consider the particular case of quantum mechanics. We argue that systems of logic in general, and classical logic in particular, may contribute substantially with the ontology of any theory that has this logic in its base. In the case of quantum mechanics, however, from the point of view of philosophical discussions concerning identity and individuality, those contributions may (...) not be welcome for a specific interpretation, and an alternative system of logic perhaps could be used instead of a classical system. In this sense, we argue that the logic and ontology of a scientific theory may be seen as mutually influencing each other. On the one hand, logic contributes to shape the general features of the ontology of a theory; on the other hand, the theory also puts constraints on the possible understanding of ontology and, respectively, on possible systems of logic that may be the underlying logic of the theory. (shrink)

In this paper, gathering several topics present in the work of Newton da Costa, we propose a rigorous foundation for a possible formulation of scientific theories according to the semantic approach. Following da Costa, as a first step we develop a general theory of structures; inside this theory we show how we can characterize formal languages as particular kinds of structures, more specifically, as free algebras. Next we discuss how we can link a language to a structure, with which we (...) can formulate the axioms that are intended to capture the theory of the structure. Finally, we show how we can, employing the framework developed, formulate da Costa and Chaqui’s formalization of the so-called Suppes’ Predicate, used to characterize scientific theories in a rigorous way. • DOI:10.5007/1808-1711.2010v14n1p15. (shrink)

Neste artigo, a partir de tópicos presentes na obra de Newton C. A. da Costa, propomos uma fundamentação rigorosa para de uma possível formulação de teorias científicas através da abordagem semântica. Seguindo da Costa, primeiramente desenvolveremos uma teoria geral das estruturas; no contexto desta teoria de estruturas mostraremos como caracterizar linguagens formais como um tipo particular de estrutura, mais especificamente, como uma álgebra livre. Em seguida, discutiremos como associar uma linguagem a uma estrutura, com a qual poderemos formular axiomas que (...) buscam captar a teoria da estrutura. Por fim, mostraremos como podemos, utilizando este aparato conceitual, fundamentar a formalização de da Costa e Chuaqui do chamado predicado de Suppes, utilizado para caracterizar teorias científicas de modo rigoroso. DOI:10.5007/1808-1711.2010v14n1p15. (shrink)