47 found
Order:
Disambiguations
Jonas R. B. Arenhart [25]Jonas R. Becker Arenhart [24]
See also
Jonas R. B. Arenhart
Universidade Federal de Santa Catarina
  1.  76
    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  
  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   5 citations  
  3. 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  
  4.  10
    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  
  5. 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  
  6.  67
    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  
  7.  66
    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  
  8. The elimination of metaphysics through the epistemological analysis: lessons (un)learned from metaphysical underdetermination.Raoni Wohnrath Arroyo, Jonas R. B. Arenhart & Décio Krause - forthcoming - In Diederik Aerts, Jonas R. B. 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  
  9.  77
    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  
  10. 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  
  11.  52
    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  
  12.  19
    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  
  13.  41
    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  
  14.  47
    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, U.K: 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  
  15.  60
    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  
  16.  98
    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  
  17.  44
    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  
  18.  48
    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  
  19.  32
    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  
  20.  14
    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  
  21.  22
    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  
  22.  37
    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  
  23. 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  
  24.  99
    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  
  25.  17
    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  
  26.  30
    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  
  27.  6
    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  
  28.  42
    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  
  29.  38
    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  
  30. 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  
  31.  6
    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  
  32. 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  
  33.  37
    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  
  34.  5
    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  
  35.  9
    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  
  36.  38
    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  
  37.  40
    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  
  38.  31
    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  
  39. Probing the Meaning of Quantum Mechanics: Probability, Metaphysics, Explanation and Measurement.Diederik Aerts, Jonas R. B. Arenhart, Christian de Ronde & Giuseppe Sergioli (eds.) - forthcoming - World Scientific.
     
    Export citation  
     
    Bookmark  
  40. Does identity hold a priori in standard quantum mechanics?Jonas R. Becker Arenhart & Décio Krause - 2019 - In Diederik Aerts, Dalla Chiara, Maria Luisa, Christian de Ronde & Decio Krause (eds.), Probing the meaning of quantum mechanics: information, contextuality, relationalism and entanglement: Proceedings of the II International Workshop on Quantum Mechanics and Quantum Information: Physical, Philosophical and Logical Approaches, CLEA, Brussels. World Scientific.
     
    Export citation  
     
    Bookmark  
  41.  34
    Estruturas, Modelos e os Fundamentos da Abordagem Semântica.Jonas R. Becker Arenhart & Fernando T. F. Moraes - 2010 - Principia: An International Journal of Epistemology 14 (1):15-30.
    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 (...)
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  42.  26
    Estruturas, Modelos e os Fundamentos da Abordagem Sem'ntica DOI:10.5007/1808-1711.2010v14n1p15.Jonas R. Becker Arenhart & Fernando T. F. Moraes - 2010 - Principia: An International Journal of Epistemology 14 (1):15-30.
    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 (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  43.  21
    Non-Reflexive Logics, Non-Individuals, and the Philosophy of Quantum Mechanics: Essays in Honour of the Philosophy of Décio Krause.Jonas R. B. Arenhart & Raoni W. Arroyo (eds.) - 2023 - Springer Verlag.
    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, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  8
    A (Meta)Metafísica da Ciência: O Caso da Mec'nica Qu'ntica Não Relativista.Raoni Wohnrath Arroyo & Jonas R. Becker Arenhart - 2022 - Kriterion: Journal of Philosophy 63 (152):275-296.
    ABSTRACT 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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  26
    Ontology and the mathematization of the scientific enterprise.Décio Krause, Jonas R. B. Arenhart & Newton C. A. da Costa - unknown
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  30
    Structures and Models of Scientific Theories: A Discussion on Quantum Non-Individuality.Décio Krause & Jonas R. B. Arenhart - unknown
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  83
    Separability and Non-Individuality: Is It Possible to Conciliate (At Least A Form Of) Einstein’s Realism with Quantum Mechanics?Décio Krause & Jonas R. B. Arenhart - 2005 - Foundations of Physics 44 (12):1269-1288.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark