16 found
Order:
See also
Bruno Da Re
Universidad de Buenos Aires (UBA)
  1. Theories of Truth Based on Four-Valued Infectious Logics.Damian Szmuc, Bruno Da Re & Federico Pailos - 2020 - Logic Journal of the IGPL 28 (5):712-746.
    Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated as a way to treat different pathological sentences differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps and as a way to treat the semantic pathology suffered by at least (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  2.  42
    Paraconsistency and its Philosophical Interpretations.Eduardo Barrio & Bruno Da Re - 2018 - Australasian Journal of Logic 15 (2):151-170.
    Many authors have considered that the notions of paraconsistency and dialetheism are intrinsically connected, in many cases, to the extent of confusing both phenomena. However, paraconsistency is a formal feature of some logics that consists in invalidating the rule of explosion, whereas dialetheism is a semantical/ontological position consisting in accepting true contradictions. In this paper, we argue against this connection and show that it is perfectly possible to adopt a paraconsistent logic and reject dialetheism, and, moreover, that there are examples (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  3. Metainferential Duality.Bruno Da Ré, Federico Pailos, Damian Szmuc & Paula Teijeiro - 2020 - Journal of Applied Non-Classical Logics 30 (4):312-334.
    The aim of this article is to discuss the extent to which certain substructural logics are related through the phenomenon of duality. Roughly speaking, metainferences are inferences between collect...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  10
    Immune Logics.Bruno da Re & Damian Szmuc - 2021 - Australasian Journal of Logic 18 (1):29-52.
    This article is concerned with an exploration of a family of systems—called immune logics—that arise from certain dualizations of the well-known family of infectious logics. The distinctive feature of the semantic of infectious logics is the presence of a certain “infectious” semantic value, by which two different though equivalent things are meant. On the one hand, it is meant that these values are zero elements for all the operations in the underlying algebraic structure. On the other hand, it is meant (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5. Truth Without Standard Models: Some Conceptual Problems Reloaded.Eduardo Barrio & Bruno Da Ré - 2018 - Journal of Applied Non-Classical Logics 28 (1):122-139.
    A theory of truth is usually demanded to be consistent, but -consistency is less frequently requested. Recently, Yatabe has argued in favour of -inconsistent first-order theories of truth, minimising their odd consequences. In view of this fact, in this paper, we present five arguments against -inconsistent theories of truth. In order to bring out this point, we will focus on two very well-known -inconsistent theories of truth: the classical theory of symmetric truth FS and the non-classical theory of naïve truth (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  7
    Sequent-Calculi for Metainferential Logics.Bruno Da Ré & Federico Pailos - 2022 - Studia Logica 110 (2):319-353.
    In recent years, some theorists have argued that the clogics are not only defined by their inferences, but also by their metainferences. In this sense, logics that coincide in their inferences, but not in their metainferences were considered to be different. In this vein, some metainferential logics have been developed, as logics with metainferences of any level, built as hierarchies over known logics, such as \, and \. What is distinctive of these metainferential logics is that they are mixed, i.e. (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  7. Contraction, Infinitary Quantifiers, and Omega Paradoxes.Bruno Da Ré & Lucas Rosenblatt - 2018 - Journal of Philosophical Logic 47 (4):611-629.
    Our main goal is to investigate whether the infinitary rules for the quantifiers endorsed by Elia Zardini in a recent paper are plausible. First, we will argue that they are problematic in several ways, especially due to their infinitary features. Secondly, we will show that even if these worries are somehow dealt with, there is another serious issue with them. They produce a truth-theoretic paradox that does not involve the structural rules of contraction.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  95
    Derivability and Metainferential Validity.Bruno Da Ré, Damian Szmuc & Paula Teijeiro - forthcoming - Journal of Philosophical Logic:1-27.
    The aim of this article is to study the notion of derivability and its semantic counterpart in the context of non-transitive and non-reflexive substructural logics. For this purpose we focus on the study cases of the logics ST and TS. In this respect, we show that this notion doesn’t coincide, in general, with a nowadays broadly used semantic approach towards metainferential validity: the notion of local validity. Following this, and building on some previous work by Humberstone, we prove that in (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  3
    Metainferential Paraconsistency.Bruno Da Ré, Mariela Rubin & Paula Teijeiro - forthcoming - Logic and Logical Philosophy:1-26.
    In this article, our aim is to take a step towards a full understanding of the notion of paraconsistency in the context of metainferential logics. Following the work initiated by Barrio et al. [2018], we will consider a metainferential logic to be paraconsistent whenever the metainferential version of Explosion is invalid. However, our contribution consists in modifying the definition of meta-Explosion by extending the standard framework and introducing a negation for inferences and metainferences. From this new perspective, Tarskian paraconsistent logics (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  7
    Sorites, Curry and Suitable Models.Bruno Da Ré & Paula Teijeiro - forthcoming - Logic and Logical Philosophy:1.
    In this paper we present two new approaches for dealing with semantic paradoxes and soritical predicates based on fuzzy logic. We show that both of them have conceptual advantages over the more traditional Łukasiewicz approach, and that the second one even avoids standard proofs of ω-nconsistency.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  10
    Inconsistency, Paraconsistency and Ω-Inconsistency.Bruno Da Ré - 2018 - Principia: An International Journal of Epistemology 22 (1):171-188.
    In this paper I’ll explore the relation between ω-inconsistency and plain inconsistency, in the context of theories that intend to capture semantic concepts. In particular, I’ll focus on two very well known inconsistent but non-trivial theories of truth: LP and STTT. Both have the interesting feature of being able to handle semantic and arithmetic concepts, maintaining the standard model. However, it can be easily shown that both theories are ω- inconsistent. Although usually a theory of truth is generally expected to (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  5
    Las soluciones subestructurales a las paradojas y el problema de la dependencia.Bruno Da Ré - 2020 - Análisis Filosófico 40 (1):41-62.
    En los últimos años se han desarrollado diversas soluciones subestructurales a las paradojas semánticas. En particular, se han postulado teorías no transitivas, no contractivas, no reflexivas y, recientemente, no monotónicas. Sin embargo, cuando dichas soluciones son presentadas mediante cálculos de secuentes surge el problema de la dependencia. En pocas palabras, este problema consiste en que no es posible separar las reglas estructurales de la formulación de las otras reglas del cálculo. En este artículo, presentaré este problema y mostraré que, de (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  9
    Dubucs, J., & Bourdeau, M. . Constructivity and Computability in Historical and Philosophical Perspective . Springer Netherlands, XI. 214, Pp. ISBN: 978-94-017-9216-5 978-94-017-9217-2. [REVIEW]Bruno Da Ré - 2015 - Revista de Humanidades de Valparaíso 6:125.
    Reseña del libro Dubucs, J., & Bourdeau, M.. Constructivity and Computability in Historical and Philosophical Perspective. Springer Netherlands, XI. 214, pp. ISBN: 978-94-017-9216-5 978-94-017-9217-2, €83.29.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  6
    Paraconsistencia pura.Bruno Da Ré - 2019 - Revista de Humanidades de Valparaíso 13:90-101.
    Dentro del conjunto de las lógicas no clásicas, las lógicas paraconsistentes han suscitado de manera particular el interés de diversos filósofos. Además de las definiciones tradicionales, en los últimos años, se han propuesto nuevas maneras de caracterizar a la paraconsistencia. Lo que tienen en común todas estas definiciones es que alguna forma de la regla o de la metarregla de explosión debe ser rechazada. En este artículo, presentaré dichas definiciones y evaluaré el rol que juegan la negación y la transitividad (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  5
    Total Paraconsistency.Bruno Da Ré - 2019 - Humanities Journal of Valparaiso 13:90-101.
    In the context of non-classical logics, many philosophers have been particularly interested in the paraconsistent logics. In addition to traditional definitions, in recent years, new ways of characterizing the notion of paraconsistency have been proposed. In all of these definitions the rule or the meta-rule of explosion is abandoned. In this article, I present those definitions and evaluate the role that the negation and the transitivity play in each of them. Finally, I propose a new definition of paraconsistency which I (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  3
    Reseña Del Libro Dubucs, J., & Bourdeau, M. (Eds.) (2014). Constructivity and Computability in Historical and Philosophical Perspective. [REVIEW]Bruno Da Ré - 2015 - Revista de Humanidades de Valparaíso 6:125-131.
    Reseña del libro Dubucs, J., & Bourdeau, M.. Constructivity and Computability in Historical and Philosophical Perspective. Springer Netherlands, XI. 214, pp. ISBN: 978-94-017-9216-5 978-94-017-9217-2, €83.29.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark