72 found
Order:
See also
Jonas R. B. Arenhart
Universidade Federal de Santa Catarina
  1. back to the question of ontology.Jonas Rafael Becker Arenhart & Raoni Wohnrath Arroyo - 2021 - Manuscrito 44 (2):1-51.
    We articulate a distinction between ontology, understood as involving existence questions, and metaphysics, understood as either providing for metaphysical profiles of entities or else as dealing with fundamentality and/or grounding and dependence questions. The distinction, we argue, allows a better understanding of the roles of metaontology and metametaphysics when it comes to discussing the relations between ontology and science on the one hand, and metaphysics and science on the other. We argue that while ontology, as understood in this paper, may (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  2. The spectrum of metametaphysics: mapping the state of art in scientific metaphysics.Jonas R. Becker Arenhart & Raoni Wohnrath Arroyo - 2021 - Veritas – Revista de Filosofia da Pucrs 66 (1):e41217.
    Scientific realism is typically associated with metaphysics. One current incarnation of such an association concerns the requirement of a metaphysical characterization of the entities one is being a realist about. This is sometimes called “Chakravartty’s Challenge”, and codifies the claim that without a metaphysical characterization, one does not have a clear picture of the realistic commitments one is engaged with. The required connection between metaphysics and science naturally raises the question of whether such a demand is appropriately fulfilled, and how (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  83
    On physics, metaphysics, and metametaphysics.Jonas R. Becker Arenhart & Raoni Wohnrath Arroyo - 2021 - Metaphilosophy 52 (2):175-199.
    Nonrelativistic quantum mechanics (QM) works perfectly well for all practical purposes. Once one admits, however, that a successful scientific theory is supposed not only to make predictions but also to tell us a story about the world in which we live, a philosophical problem emerges: in the specific case of QM, it is not possible to associate with the theory a unique scientific image of the world; there are several images. The fact that the theory may be compatible with distinct (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  4. Is Identity Really so Fundamental?Décio Krause & Jonas R. Becker Arenhart - 2019 - Foundations of Science 24 (1):51-71.
    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, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  5.  71
    The received view on quantum non-individuality: formal and metaphysical analysis.Jonas Rafael Becker Arenhart - 2017 - Synthese 194 (4).
    The Received View on quantum non-individuality is, roughly speaking, the view according to which quantum objects are not individuals. It seems clear that the RV finds its standard expression nowadays through the use of the formal apparatuses of non-reflexive logics, mainly quasi-set theory. In such logics, the relation of identity is restricted, so that it does not apply for terms denoting quantum particles; this “lack of identity” formally characterizes their non-individuality. We face then a dilemma: on the one hand, identity (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  6.  14
    The logical foundations of scientific theories. Languages, Structures, and Models.Decio Krause & Jonas R. B. Arenhart - 2016 - Nova Iorque, NY, EUA: Routledge. Edited by Becker Arenhart & R. Jonas.
    This book addresses the logical aspects of the foundations of scientific theories. Even though the relevance of formal methods in the study of scientific theories is now widely recognized and regaining prominence, the issues covered here are still not generally discussed in philosophy of science. The authors focus mainly on the role played by the underlying formal apparatuses employed in the construction of the models of scientific theories, relating the discussion with the so-called semantic approach to scientific theories. The book (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  7. Structural realism and the nature of structure.Jonas R. Becker Arenhart & Otávio Bueno - 2015 - European Journal for Philosophy of Science 5 (1):111-139.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  8.  91
    Between Physics and Metaphysics: A Discussion of the Status of Mind in Quantum Mechanics.Raoni Arroyo & Jonas Arenhart - 2019 - In J. De Barros & Carlos Montemayor (eds.), Quanta and Mind. Springer Verlag. pp. 31-42.
    We discuss the ‘Consciousness Causes Collapse Hypothesis’ (CCCH), the interpretation of quantum mechanics according to which consciousness solves the measurement problem. At first, it seems that the very hypothesis that consciousness causally acts over matter counts as a reductio of CCCH. However, CCCH won’t go so easily. In this paper we attempt to bring new light to the discussion. We distinguish the ontology of the interpretation (the positing of a causally efficacious consciousness as part of the furniture of reality) from (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  9.  94
    The epistemic value of metaphysics.Raoni Wohnrath Arroyo & Jonas R. Becker Arenhart - 2022 - Synthese 200 (4):337.
    It is sometimes argued that, given its detachment from our current most successful science, analytic metaphysics has no epistemic value because it contributes nothing to our knowledge of reality. Relatedly, it is also argued that metaphysics properly constrained by science can avoid that problem. In this paper we argue, however, that given the current understanding of the relation between science and metaphysics, metaphysics allegedly constrained by science suffers the same fate as its unconstrained sister; that is, what is currently thought (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  74
    Contradiction, Quantum Mechanics, and the Square of Opposition.Jonas R. B. Arenhart & Décio Krause - unknown
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  11.  86
    Full-blooded anti-exceptionalism about logic.Newton Da Costa & Jonas R. Becker Arenhart - 2018 - Australasian Journal of Logic 15 (2):362-380.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  12. Ontological Frameworks for Scientific Theories.Jonas R. Becker Arenhart - 2012 - Foundations of Science 17 (4):339-356.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  13. Whence deep realism for Everettian quantum mechanics?Raoni Wohnrath Arroyo & Jonas R. Becker Arenhart - 2022 - Foundations of Physics 52 (6):121.
    ‘Shallow’ and ‘deep’ versions of scientific realism may be distinguished as follows: the shallow realist is satisfied with belief in the existence of the posits of our best scientific theories; by contrast, deep realists claim that realism can be legitimate only if such entities are described in metaphysical terms. We argue that this methodological discussion can be fruitfully applied in Everettian quantum mechanics, specifically on the debate concerning the existence of worlds and the recent dispute between Everettian actualism and quantum (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  55
    Potentiality and Contradiction in Quantum Mechanics.Jonas R. B. Arenhart & Decio Krause - unknown
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  15.  22
    The evidence approach to paraconsistency versus the paraconsistent approach to evidence.Jonas Rafael Becker Arenhart - 2020 - Synthese 198 (12):11537-11559.
    In this paper, we analyze the epistemic approach to paraconsistency. This approach is advanced as an alternative to dialetheism on what concerns interpreting paraconsistency and contradictions; instead of having to accept that there are true contradictions, it is suggested that we may understand such situations as involving only conflicting evidence, which restricts contradictions to a notion of evidence weaker than truth. In this paper, we first distinguish two conflicting programs entangled in the proposal: interpreting paraconsistency in general through the notion (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  62
    On Woodruff’s Constructive Nonsense Logic.Jonas R. B. Arenhart & Hitoshi Omori - forthcoming - Studia Logica:1-20.
    Sören Halldén’s logic of nonsense is one of the most well-known many-valued logics available in the literature. In this paper, we discuss Peter Woodruff’s as yet rather unexplored attempt to advance a version of such a logic built on the top of a constructive logical basis. We start by recalling the basics of Woodruff’s system and by bringing to light some of its notable features. We then go on to elaborate on some of the difficulties attached to it; on our (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  43
    Quantifiers and the Foundations of Quasi-Set Theory.Jonas R. Becker Arenhart & Décio Krause - 2009 - Principia: An International Journal of Epistemology 13 (3):251-268.
    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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  18.  22
    Change of logic, without change of meaning.Hitoshi Omori & Jonas R. B. Arenhart - 2023 - Theoria 89 (4):414-431.
    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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  52
    Making Sense of Non-Individuals in Quantum Mechanics.Jonas R. B. Arenhart, Otávio Bueno & Décio Krause - forthcoming - In Olimpia Lombardi, Sebastian Fortin, Cristian López & Frederico Holik (eds.), Quantum Worlds. Different Perspectives about the ontology of quantum mechanics. Cambridge University Press.
    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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  20.  67
    Finite Cardinals in Quasi-set Theory.Jonas R. Becker Arenhart - 2012 - Studia Logica 100 (3):437-452.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  21. Many entities, no identity.Jonas R. Becker Arenhart - 2012 - Synthese 187 (2):801-812.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  22. The elimination of metaphysics through the epistemological analysis: lessons (un)learned from metaphysical underdetermination.Raoni Wohnrath Arroyo, Jonas R. B. Arenhart & Décio Krause - 2023 - In Diederik Aerts, Jonas Arenhart, Christian De Ronde & Giuseppe Sergioli (eds.), Probing The Meaning Of Quantum Mechanics: Probability, Metaphysics, Explanation And Measurement. World Scientific.
    This chapter argues that the general philosophy of science should learn metaphilosophical lessons from the case of metaphysical underdetermination, as it occurs in non-relativistic quantum mechanics. Section presents the traditional discussion of metaphysical underdetermination regarding the individuality and non-individuality of quantum particles. Section discusses three reactions to it found in the literature: eliminativism about individuality; conservatism about individuality; eliminativism about objects. Section wraps it all up with metametaphysical considerations regarding the epistemology of metaphysics of science.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23.  72
    From primitive identity to the non-individuality of quantum objects.Jonas Becker Arenhart & Décio Krause - 2014 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 46 (2):273-282.
    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 principle of individuation. We also hold that even when taken in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  24.  54
    Oppositions and quantum mechanics.Jonas R. B. Arenhart & Décio Krause - unknown
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  25.  62
    Does weak discernibility determine metaphysics?Jonas Rafael Becker Arenhart - 2017 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 32 (1):109-125.
    Two entities are weakly discernible when an irreflexive and symmetric relation holds between them. That weak discernibility holds in quantum mechanics is fairly uncontroversial nowadays. The ontological consequences of weak discernibility, however, are far from clear. Part of the literature seems to imply that weak discernibility points to a definite metaphysics to quantum mechanics. In this paper we shall discuss the metaphysical contribution of weak discernibility to quantum mechanics and argue that, contrary to part of current literature, it does not (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  26. Weak Discernibility in Quantum Mechanics: Does It Save PII?Jonas Rafael Becker Arenhart - 2013 - Axiomathes 23 (3):461-484.
    The Weak Principle of the Identity of Indiscernibles (weak PII), states that numerically distinct items must be discernible by a symmetrical and irreflexive relation. Recently, some authors have proposed that weak PII holds in non relativistic quantum mechanics, contradicting a long tradition claiming PII to be simply false in that theory. The question that arises then is: are relations allowed in the scope of PII? In this paper, we propose that quantum mechanics does not help us in deciding matters concerning (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  27.  36
    Liberating Paraconsistency from Contradiction.Jonas R. Becker Arenhart - 2015 - Logica Universalis 9 (4):523-544.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  28.  68
    Wither away individuals.Jonas Rafael Becker Arenhart - 2013 - Synthese 190 (16):3475-3494.
    In this paper we deal with the problem of identity and individuality in quantum mechanics. We analyze three definitions of the concept of an individual and propose to check their merits in relation to the theory. In order to achieve our goals our approach also ties those definitions of individuality to two distinct kinds of naturalism in ontology: a strong version, according to which quantum mechanics must somehow authorize in a positive fashion the ontological concepts being dealt with, and a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  29.  40
    Newton da Costa on Hypothetical Models in Logic and on the Modal Status of Logical Laws.Jonas Rafael Becker Arenhart - 2022 - Axiomathes 32 (6):1191-1211.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  17
    Interpreting philosophical interpretations of paraconsistency.Jonas R. Becker Arenhart - 2022 - Synthese 200 (6):1-21.
    In this paper, we critically discuss the idea of a ‘philosophical interpretation’ of paraconsistent logics. We do so by considering the epistemic approach to paraconsistency, by Carnielli and Rodrigues, according to which paraconsistent logics should be interpreted exclusively in terms of non-conclusive evidence, and also, by considering counter-arguments by Barrio and Barrio and Da Re, according to whom paraconsistent logics are not specially tied to any specific interpretation. We begin by presenting the positions involved, and by arguing that the debate (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  26
    Dialetheists’ Lies About the Liar.Jonas R. B. Arenhart & Ederson S. Melo - 2018 - Principia: An International Journal of Epistemology 22 (1):59-85.
    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 (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  32.  81
    Why Non-individuality? A Discussion on Individuality, Identity, and Cardinality in the Quantum Context.Jonas Rafael Becker Arenhart & Décio Krause - 2012 - Erkenntnis (1):1-18.
    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 situation comprising multiple particles there is a well-defined (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  33.  45
    Quasi-truth and defective knowledge in science: a critical examination.Jonas R. Becker Arenhart & Décio Krause - 2023 - Manuscrito 46 (2):122-155.
    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 (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34. The Powers of Quantum Mechanics: A Metametaphysical Discussion of the “Logos Approach”.Raoni Wohnrath Arroyo & Jonas R. Becker Arenhart - 2023 - Foundations of Science 28 (3):885-910.
    This paper presents and critically discusses the “logos approach to quantum mechanics” from the point of view of the current debates concerning the relation between metaphysics and science. Due to its alleged direct connection with quantum formalism, the logos approach presents itself as a better alternative for understanding quantum mechanics than other available views. However, we present metaphysical and methodological difficulties that seem to clearly point to a different conclusion: the logos approach is on an epistemic equal footing among alternative (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  35.  86
    A Discussion on Finite Quasi-cardinals in Quasi-set Theory.Jonas Rafael Becker Arenhart - 2011 - Foundations of Physics 41 (8):1338-1354.
    Quasi-set theory Q is an alternative set-theory designed to deal mathematically with collections of indistinguishable objects. The intended interpretation for those objects is the indistinguishable particles of non-relativistic quantum mechanics, under one specific interpretation of that theory. The notion of cardinal of a collection in Q is treated by the concept of quasi-cardinal, which in the usual formulations of the theory is introduced as a primitive symbol, since the usual means of cardinal definition fail for collections of indistinguishable objects. In (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  36. Axiomatization and Models of Scientific Theories.Décio Krause, Jonas R. B. Arenhart & Fernando T. F. Moraes - 2011 - Foundations of Science 16 (4):363-382.
    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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  37.  23
    New Logics for Quantum Non-individuals?Jonas R. Becker Arenhart - 2018 - Logica Universalis 12 (3-4):375-395.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  32
    Individuality, quantum physics, and a metaphysics of non-individuals: the role of the formal.Décio Krause & Jonas R. B. Arenhart - unknown
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  39.  8
    A Generalization of Ordered-Pair Semantics.Hitoshi Omori & Jonas R. B. Arenhart - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 149-157.
    In this paper, we generalize the ordered-pair semantics advanced by Matthew Clemens for the Logic of Paradox to n-tuple semantics, for each fixed n. Moreover, we show that the resulting semantics can accommodate not only LP, but also classical logic as well as strong Kleene logic depending on the set of designated values that one chooses. Building on the technical observations, we offer intuitively plausible readings for the semantics, and we also discuss some weaknesses of the original intuitive reading advanced (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  47
    A discussion on quantum non-individuality.Décio Krause & Jonas R. Becker Arenhart - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):105-124.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  41.  12
    Why FDE might be too strong for Beall.Jonas R. B. Arenhart & Hitoshi Omori - 2024 - Asian Journal of Philosophy 3 (1):1-16.
    In his “The simple argument for subclassical logic,” Jc Beall advances an argument that led him to take FDE as the one true logic (the latter point is explicitly made clear in his “FDE as the One True Logic”). The aim of this article is to point out that if we follow Beall’s line of reasoning for endorsing FDE, there are at least two additional reasons to consider that FDE is too strong for Beall’s purposes. In fact, we claim that (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  43
    A logical account of superpositions.Decio Krause & Jonas R. B. Arenhart - unknown
    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, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  14
    A Generalization of Beall’s Off-Topic Interpretation.Yang Song, Hitoshi Omori, Jonas R. B. Arenhart & Satoshi Tojo - forthcoming - Studia Logica:1-40.
    In one of his papers, JC Beall advanced a new and interesting interpretation of Weak Kleene logic, in terms of on-topic/off-topic. In brief, Beall suggests to read the third value as off-topic, whereas the two classical values are read as true and on-topic and false and on-topic. Building on Beall’s new interpretation, the aim of this paper is threefold. First, we discuss two motivations to enrich Beall’s interpretation, and offer an alternative semantic framework that reflects our motivations. Second, by making (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  37
    Carnapian Lessons for Anti-Exceptionalism about Logic.Jonas Rafael Becker Arenhart & Ivan Ferreira da Cunha - 2023 - History and Philosophy of Logic 44 (1):54-65.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  39
    Classical Negation Strikes Back: Why Priest’s Attack on Classical Negation Can’t Succeed.Jonas R. Becker Arenhart & Ederson Safra Melo - 2017 - Logica Universalis 11 (4):465-487.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46. The (meta)metaphysics of science: the case of non-relativistic quantum mechanics.Raoni Wohnrath Arroyo & Jonas R. B. Arenhart - 2022 - Kriterion – Journal of Philosophy 63 (152):275-296.
    Traditionally, being a realist about something means believing in the independent existence of that something. In this line of thought, a scientific realist is someone who believes in the objective existence of the entities postulated by our best scientific theories. In metaphysical terms, what does that mean? In ontological terms, i.e., in terms of what exists, scientific realism can be understood as involving the adoption of a scientifically informed ontology. But according to some philosophers, a realistic attitude must go beyond (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  13
    The Roads to Non-individuals.Jonas R. B. Arenhart & Raoni Wohnrath Arroyo - 2023 - In Jonas R. B. Arenhart & Raoni W. Arroyo (eds.), Non-Reflexive Logics, Non-Individuals, and the Philosophy of Quantum Mechanics: Essays in Honour of the Philosophy of Décio Krause. Springer Verlag. pp. 79-100.
    Ever since its beginnings, standard quantum mechanics has been associated with a metaphysical view according to which the theory deals with non-individual objects, i.e., objects deprived of individuality in some sense of the term. We shall examine the grounds of the claim according to which quantum mechanics is so closely connected with a metaphysics of non-individuals. In particular, we discuss the attempts to learn the ‘metaphysical lessons’ required by quantum mechanics coming from four distinct roads: from the formalism of the (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  44
    Presenting Nonreflexive Quantum Mechanics: Formalism and Metaphysics.Décio Krause & Jonas R. B. Arenhart - unknown
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  46
    Logical Relativism Through Logical Contexts.Jonas R. Becker Arenhart - 2021 - European Journal of Analytic Philosophy 17 (2):(A2)5-28.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50.  34
    A Modal Logic of Indiscernibility.Décio Krause, Pedro Merlussi & Jonas R. Becker Arenhart - 2016 - In A. L. Aerts Diederik Et (ed.), Probing the Meaning of Quantum Mechanics: Superpositions, Dynamics, Semantics and Identity. World Scientific. pp. 259-279.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 72