13 found
Order:
  1. 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   8 citations  
  2.  22
    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  
  3.  87
    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   4 citations  
  4.  32
    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   8 citations  
  5.  40
    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   6 citations  
  6.  89
    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 (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  29
    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   1 citation  
  8.  9
    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   1 citation  
  9.  25
    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  
  10.  24
    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 (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  18
    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  
  12.  27
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  20
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark