Jonas R. B. Arenhart

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.

Logical anti‐exceptionalism is the view that logic is not special, it is continuous with science. This continuity is typically understood in terms of the use of the abductive method in logical theory choice, with logical knowledge resulting from our choice of the theory best accounting for the data. In this paper, we argue for two related claims: (i) that this understanding of the continuity between logic and science faces considerable challenges; and (ii) that such challenges may be avoided by elaborating the continuity of logic with science in terms of the “logic‐as‐models” approach. More specifically, we defend that logical theories should be seen in the lights of the “models‐as‐epistemic‐tools” approach, an approach to the nature of models in empirical science more closely connected with current scientific practice. The result is a version of logical anti‐exceptionalism opening new perspectives for the philosophical understanding of logic.

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.

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.

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

We advance an approach to logical contexts that grounds the claim that logic is a local matter: distinct contexts require distinct logics. The approach results from a concern about context individuation, and holds that a logic may be constitutive of a context or domain of application. We add a naturalistic component: distinct domains are more than mere technical curiosities; as intuitionistic mathematics testifies, some of the distinct forms of inference in different domains are actively pursued as legitimate fields of research in current mathematics, so, unless one is willing to revise the current scientific practice, generalism must go. The approach is advanced by discussing some tenets of a similar argument advanced by Shapiro, in the context of logic as models approach. In order to make our view more appealing, we reformulate a version of logic as models approach following naturalistic lines, and bring logic closer to the use of models in science.

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

Quasi-truth (a.k.a. pragmatic truth or partial 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 formalism available does not deliver all that is promised. We examine the standard account of quasi-truth 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 properly account for inconsistencies, because no direct contradiction of the form S ∧ ¬S can be quasi-true according to the framework; contradictions simply have no place in the formalism. 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 apparatus.

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.

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.

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.

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.

This paper has three aims: first, to present in a clear way Newton da Costa’s argument against the necessity of logical laws. In order to do so, we need to clearly advance his views on the idea that logic is context-relative, and not known a priori. Doing so, however, requires that we present his methodology for the development of counter-examples to logical laws: the use of hypothetical models in logic. Given that this method has been overlooked in most discussions on the epistemology of logic, our second goal is to present da Costa’s views on it carefully. The discussion of some tensions resulting from the relation of a system of logic and the context it governs, in da Costa’s approach, is our third goal. Basically, da Costa seems to swing between two incompatible views on such relation, requiring sometimes that a logic is dependent on a context, and in other cases, that the nature of the context is dependent on a logic. Bringing this to light may also benefit current discussions on logical relativism.

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.

This paper aims at disentangling two distinct problems in present philosophy of logic: the a priori/a posteriori divide and the theory choice problem. A confusion of these problems is present in the heart of current anti-exceptionalism about logic, as the use of a posteriori methods is identified with theory choice. We illustrate how the division may be preserved in a version of anti-exceptionalism by discussing Carnap’s approach, which had both an a priori epistemology and a pragmatic account of logical theory choice. This contributes to illuminate the claim that the current understanding is mistaken in considering Carnap as an exceptionalist, and it also helps us to address one of the difficulties of current anti-exceptionalism, to know, that, by equating a posteriori with theory choice, it requires appeal to framework-independent facts. We suggest that the pragmatic account of both Quine and Carnap to theory choice was advanced precisely to avoid that kind of difficulty.

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

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.

This book discusses the philosophical work of Décio Krause. Non-individuality, as a new metaphysical category, was thought to be strongly supported by quantum mechanics. No one did more to promote this idea than the Brazilian philosopher Décio Krause, whose works on the metaphysics and logic of non-individuality are now widely regarded as part of the consolidated literature on the subject. This volume brings together chapters elaborating on the ideas put forward and defended by Krause, developing them in many different directions, commenting on aspects not completely developed so far, and, more importantly, critically addressing their current formulations and defenses by Krause himself. Given that Krause’s ideas do connect directly and indirectly with a wide array of subjects, such as the philosophy of quantum mechanics, more broadly understood, the philosophy of logic and logical philosophy, non-classical logics, metaphysics, and ontology, this volume contains important material for the research on logic and foundations of science, broadly understood. All the invited contributors have already worked with the ideas developed by Décio (some of them still work with them), being also distinct authors and extremely relevant in their areas of expertise. The volume is aimed at philosophers, including those of physics and quantum mechanics.

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.

Francesco Berto has argued that a primitive concept of material exclusion could be employed to formulate a notion of absolute contradiction that not even dialetheists could accept. The machinery of material exclusion and absolute contradiction could then be employed as a common ground by both dialetheists as well as their opponents in debates about negation and truth. In this paper, we first put the idea on a clear basis, and then present some criticism to it. We shall argue that the concepts of material exclusion and absolute contradiction hardly help with a clear basis for the debate on dialetheism; furthermore, the introduction of material exclusion threatens the coherence of dialetheism by allowing one to express the opposition between designated and undesignated values, with unwanted conclusions.

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.

This book discusses the philosophical work of Décio Krause. Non-individuality, as a new metaphysical category, was thought to be strongly supported by quantum mechanics. No one did more to promote this idea than the Brazilian philosopher Décio Krause, whose works on the metaphysics and logic of non-individuality are now widely regarded as part of the consolidated literature on the subject. This volume brings together chapters elaborating on the ideas put forward and defended by Krause, developing them in many different directions, commenting on aspects not completely developed so far, and, more importantly, critically addressing their current formulations and defenses by Krause himself. Given that Krause’s ideas do connect directly and indirectly with a wide array of subjects, such as the philosophy of quantum mechanics, more broadly understood, the philosophy of logic and logical philosophy, non-classical logics, metaphysics, and ontology, this volume contains important material for the research on logic and foundations of science, broadly understood. All the invited contributors have already worked with the ideas developed by Décio (some of them still work with them), being also distinct authors and extremely relevant in their areas of expertise. The volume is aimed at philosophers, including those of physics and quantum mechanics.

Change of logic is typically taken as requiring that the meanings of the connectives change too. As a result, it has been argued that legitimate rivalry between logics is under threat. This is, in a nutshell, the meaning‐variance argument, traditionally attributed to Quine. In this paper, we present a semantic framework that allows us to resist the meaning‐variance claim for an important class of systems: classical logic, the logic of paradox and strong Kleene logic. The major feature of the semantics is that the connectives have the same meanings in these systems, so that the meaning‐variance argument is straightforwardly blocked. We discuss the effects of this semantics for two uses of the argument of meaning variance, and also consider its impact on related issues.

Liar-like paradoxes are typically arguments that, by using very intuitive resources of natural language, end up in contradiction. Consistent solutions to those paradoxes usually have difficulties either because they restrict the expressive power of the language, or else because they fall prey to extended versions of the paradox. Dialetheists, like Graham Priest, propose that we should take the Liar at face value and accept the contradictory conclusion as true. A logical treatment of such contradictions is also put forward, with the Logic of Paradox, which should account for the manifestations of the Liar. In this paper we shall argue that such a formal approach, as advanced by Priest, is unsatisfactory. In order to make contradictions acceptable, Priest has to distinguish between two kinds of contradictions, internal and external, corresponding, respectively, to the conclusions of the simple and of the extended Liar. Given that, we argue that while the natural interpretation of LP was intended to account for true and false sentences, dealing with internal contradictions, it lacks the resources to tame external contradictions. Also, the negation sign of LP is unable to represent internal contradictions adequately, precisely because of its allowance of sentences that may be true and false. As a result, the formal account suffers from severe limitations, which make it unable to represent the contradiction obtained in the conclusion of each of the paradoxes.

Systems of paraconsistent logics violate the law of explosion: from contradictory premises not every formula follows. One of the philosophical options for interpreting the contradictions allowed as premises in these cases was put forward recently by Carnielli and Rodrigues, with their epistemic approach to paraconsistent logics. In a nutshell, the plan consists in interpreting the contradictions in epistemic terms, as indicating the presence of non-conclusive evidence for both a proposition and its negation. Truth, in this approach, is consistent and is dealt with by classical logic. In this paper we discuss the fate of the Liar paradox in this picture. While this is a paradox about truth, it cannot be accommodated by the classical part of the approach, due to trivialization problems. On the other hand, the paraconsistent part does not seem fit as well, due to the fact that its intended reading is in terms of non-conclusive evidence, not truth. We discuss the difficulties involved in each case and argue that none of the options seems to accommodate the paradox in a satisfactory manner.

Logical abductivism features in the recent literature as a new epistemology for logic, in connection with logical anti-exceptionalism. According to this account, (i) logical knowledge is obtained by the justified choice of a logical theory using abduction, which (ii) replaces problematic approaches in traditional logical epistemology. We argue that such claims are not properly warranted; they conflate justification and theory choice methods. Abduction requires that one starts with justified data, and justification, in such cases, needs to appeal to sources that are not granted by abduction. In this sense, abduction cannot be all there is to the epistemology of logic. Some abductivists, we shall see, even appeal to methods of the traditional epistemology to obtain the data. Keeping justification and theory choice separated may contribute to avoid obscurities in discussion of the nature of data in logic and in understanding more clearly how to frame the anti-exceptional nature of logic.

Dialetheism is the view that some contradictions are true. One common motivation to the view concerns cases of contradictory concepts obtaining together. Allegedly, in these cases, such concepts lead to a true contradiction. In this paper, we argue that this path is closed as a motivation for dialetheism. There are two basic difficulties to articulate the view: i) once contradictory or incompatible concepts are granted to obtain together, there is no longer any reason to claim that they were incompatible to begin with, and ii) it is not easy to go from such concepts to clear cases of negation-involving contradictions without already assuming the truth of dialetheism. Further difficulties discussed here concern the maintenance of the meaning of important concepts such as “contradiction” in a dialetheist setting. Those difficulties make the case for dialetheism hard to motivate via contradictory concepts.

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.