20 found
Order:
See also
Eduardo Alejandro Barrio
University of Buenos Aires
  1. A Hierarchy of Classical and Paraconsistent Logics.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2020 - Journal of Philosophical Logic 49 (1):93-120.
    In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a novel identity criterion for logics in general and, therefore, for Classical Logic. In particular, we will firstly generalize the ST phenomenon, thereby obtaining a recursively defined hierarchy of strict-tolerant systems. Secondly, we will prove that the logics in this hierarchy are progressively more classical, although not entirely classical. We will claim that a logic is to (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   10 citations  
  2. A Recovery Operator for Nontransitive Approaches.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2020 - Review of Symbolic Logic 13 (1):80-104.
    In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a nontransitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances of Cut (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  56
    A Paraconsistent Route to Semantic Closure.Eduardo Alejandro Barrio, Federico Matias Pailos & Damian Enrique Szmuc - 2017 - Logic Journal of the IGPL 25 (4):387-407.
    In this paper, we present a non-trivial and expressively complete paraconsistent naïve theory of truth, as a step in the route towards semantic closure. We achieve this goal by expressing self-reference with a weak procedure, that uses equivalences between expressions of the language, as opposed to a strong procedure, that uses identities. Finally, we make some remarks regarding the sense in which the theory of truth discussed has a property closely related to functional completeness, and we present a sound and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  4. Substructural Logics, Pluralism and Collapse.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - forthcoming - Synthese:1-17.
    When discussing Logical Pluralism several critics argue that such an open-minded position is untenable. The key to this conclusion is that, given a number of widely accepted assumptions, the pluralist view collapses into Logical Monism. In this paper we show that the arguments usually employed to arrive at this conclusion do not work. The main reason for this is the existence of certain substructural logics which have the same set of valid inferences as Classical Logic—although they are, in a clear (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  16
    Models & Proofs: LFIs Without a Canonical Interpretations.Eduardo Alejandro Barrio - 2018 - Principia: An International Journal of Epistemology 22 (1):87-112.
    In different papers, Carnielli, W. & Rodrigues, A., Carnielli, W. Coniglio, M. & Rodrigues, A. and Rodrigues & Carnielli, present two logics motivated by the idea of capturing contradictions as conflicting evidence. The first logic is called BLE and the second—that is a conservative extension of BLE—is named LETJ. Roughly, BLE and LETJ are two non-classical logics in which the Laws of Explosion and Excluded Middle are not admissible. LETJ is built on top of BLE. Moreover, LETJ is a Logic (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6. Theories of Truth Without Standard Models and Yablo’s Sequences.Eduardo Alejandro Barrio - 2010 - Studia Logica 96 (3):375-391.
    The aim of this paper is to show that it’s not a good idea to have a theory of truth that is consistent but ω -inconsistent. In order to bring out this point, it is useful to consider a particular case: Yablo’s Paradox. In theories of truth without standard models, the introduction of the truth-predicate to a first order theory does not maintain the standard ontology. Firstly, I exhibit some conceptual problems that follow from so introducing it. Secondly, I show (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  7. The Yablo Paradox and Circularity.Eduardo Alejandro Barrio - 2012 - Análisis Filosófico 32 (1):7-20.
    In this paper, I start by describing and examining the main results about the option of formalizing the Yablo Paradox in arithmetic. As it is known, although it is natural to assume that there is a right representation of that paradox in first order arithmetic, there are some technical results that give rise to doubts about this possibility. Then, I present some arguments that have challenged that Yablo’s construction is non-circular. Just like that, Priest (1997) has argued that such formalization (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  18
    Consecuencia lógica: modelos conjuntistas y aspectos modales.Eduardo Alejandro Barrio - 2006 - Revista de Filosofía (Madrid) 31 (2):203-220.
    According to Etchemendy, in attempting to offer an analysis of the modal features of the intuitive concept of logical consequence, Tarski has committed a modal fallacy. In this paper, I consider the thesis according to it is posible to analyze the modals properties of concept of logical consequence through of a generalization on set-theoretical interpretations. As is known, some philosophers have tried to argue for the transit from the general to the modal by showing that there are enough settheoretic interpretations (...)
    No categories
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  10
    Collapse, Plurals and Sets.Eduardo Alejandro Barrio - 2014 - Principia: An International Journal of Epistemology 18 (3):419.
    This paper raises the question under what circumstances a plurality forms a set. My main point is that not always all things form sets. A provocative way of presenting my position is that, as a result of my approach, there are more pluralities than sets. Another way of presenting the same thesis claims that there are ways of talking about objects that do not always collapse into sets. My argument is related to expressive powers of formal languages. Assuming classical logic, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10. Expresabilidad, Validez y Recursos Lógicos.Eduardo Alejandro Barrio - 2014 - Critica 46 (138):3-36.
    El objetivo de este artículo es investigar diversos resultados limitativos acerca del concepto de validez. En particular, argumento que ninguna teoría lógica de orden superior con semántica estándar puede tener recursos expresivos suficientes como para capturar su propio concepto de validez. Además, muestro que la lógica de la verdad transparente que Hartry Field desarrolló recientemente conduce a resultados limitativos similares.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  3
    Introducing Consistency in a Dialogical Framework for Paraconsistent Logic.Eduardo Alejandro Barrio, Nicolas Clerbout & Shahid Rahman - 2020 - Logic Journal of the IGPL 28 (5):953-972.
    The logics of formal inconsistency are logics tolerant to some amount of contradiction, but in which some versions of explosion still hold. The main result of this paper is a reconstruction of two such logics in the dialogical framework. By doing so, we achieve two things. On the one hand, we provide a formal approach to argumentative situations where some contradictions may occur while keeping the idea that there may still be situations in which some propositions are ‘safe’ in the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12. (Meta)Inferential Levels of Entailment Beyond the Tarskian Paradigm.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - forthcoming - Synthese:1-25.
    In this paper we discuss the extent to which the very existence of substructural logics puts the Tarskian conception of logical systems in jeopardy. In order to do this, we highlight the importance of the presence of different levels of entailment in a given logic, looking not only at inferences between collections of formulae but also at inferences between collections of inferences—and more. We discuss appropriate refinements or modifications of the usual Tarskian identity criterion for logical systems, and propose an (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  74
    Indexicalidad Y Realismo Modal.Eduardo Alejandro Barrio - 1999 - Cuadernos de Filosofía 45:49-67.
    In this paper, I attempt to throw some light on modal realism. Since it is David Lewis who has put forward the best arguments for thar position, I focus on his work. In the first, I point out that his approach does not provide an adequate account for the intuitive lack of symmetry between the actual and the possible. To begin with, I try to show that the strategy of appealing to both the spatio-temporal network and causality is not at (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  58
    Modelos, Autoaplicación Y Máxima Generalidad (Models, Self-Application and Absolute Generality).Eduardo Alejandro Barrio - 2007 - Theoria 22 (2):133-152.
    En este artículo, me propongo exponer algunas dificultades relacionadas con la posibilidad de que la Teoría de Modelos pueda constituirse en una Teoría General de la Interpretación. Específicamente la idea que sostengo es que lo que nos muestra la Paradoja de Orayen es que las interpretaciones no pueden ser ni conjuntos ni objetos. Por eso, una elucidación del concepto intuitivo de interpretación, que apele a este tipo de entidades, está condenada al fracaso. De manera secundaria, muestro que no hay algún (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  7
    Modelos, autoaplicación y máxima generalidad.Eduardo Alejandro Barrio - 2007 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 22 (2):133-152.
    En este artículo, me propongo exponer algunas dificultades relacionadas con la posibilidad de que la Teoría de Modelos pueda constituirse en una Teoría General de la Interpretación. Específicamente la idea que sostengo es que lo que nos muestra la Paradoja de Orayen es que las interpretaciones no pueden ser ni conjuntos ni objetos. Por eso, una elucidación del concepto intuitivo de interpretación, que apele a este tipo de entidades, está condenada al fracaso. De manera secundaria, muestro que no hay algún (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  20
    Review: Nota crítica sobre la generalidad absoluta. [REVIEW]Eduardo Alejandro Barrio - 2009 - Critica 41 (121):67 - 84.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. Symposium on Yablo's Paradox: Introducción.Eduardo Alejandro Barrio - 2012 - Análisis Filosófico 32 (1):5-5.
    El contenido de la presente discusión de Análisis Filosófico surge a partir de diversas actividades organizadas por mí en SADAF y en la UBA. En primer lugar, Roy Cook dictó en SADAF el seminario de investigación intensivo On Yablo's Paradox durante la última semana de julio de 2011. En el seminario, el profesor Cook presentó el manuscrito aún sin finalizar de su libro The Yablo Paradox: An Essay on Circularity, Oxford, Oxford UP, (en prensa). Extensas y apasionantes discusiones ocurrieron durante (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18.  21
    Teorías de la Verdad Sin Modelos Estándar: Un Nuevo Argumento Para Adoptar Jerarquías.Eduardo Alejandro Barrio - 2011 - Análisis Filosófico 31 (1):7-32.
    En este artículo, tengo dos objetivos distintos. En primer lugar, mostrar que no es una buena idea tener una teoría de la verdad que, aunque consistente, sea omega-inconsistente. Para discutir este punto, considero un caso particular: la teoría de Friedman-Sheard FS. Argumento que en los lenguajes de primer orden omega inconsistencia implica que la teoría de la verdad no tiene modelo estándar. Esto es, no hay un modelo cuyo dominio sea el conjunto de los números naturales en el cual esta (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  7
    Volume I: Recovery Operators in Logics of Formal Inconsistency.Eduardo Alejandro Barrio & Walter Carnielli - 2020 - Logic Journal of the IGPL 28 (5):615-623.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  55
    Verdad y Circularidad.Eduardo Alejandro Barrio - 2002 - Theoria 17 (1):63-79.
    Belnap and Gupta have recently maintained that truth is a circular concept: its extension cannot be established without being previously hypothesized. This has led Yaqub to claim that the circular character in question cannot be made compatible with the thesis that semantic properties tlre supervenient ones. Belnap and Gupta have explicitly denied sitch a claim any plausibility. In this paper, I offir some new arguments in support of Yaqub 's position. Such arguments are based on an analysis of some aspects (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark