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 (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  2. 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...
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  3. Derivability and Metainferential Validity.Bruno Da Ré, Damian Szmuc & Paula Teijeiro - 2021 - Journal of Philosophical Logic 51 (6):1521-1547.
    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 _S__T_ and _T__S_. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  4. 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.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  5. Non-reflexive Nonsense: Proof-Theory for Paracomplete Weak Kleene Logic.Bruno Da Ré, Damian Szmuc & María Inés Corbalán - forthcoming - Studia Logica:1-17.
    Our aim is to provide a sequent calculus whose external consequence relation coincides with the three-valued paracomplete logic `of nonsense' introduced by Dmitry Bochvar and, independently, presented as the weak Kleene logic K3W by Stephen C. Kleene. The main features of this calculus are (i) that it is non-reflexive, i.e., Identity is not included as an explicit rule (although a restricted form of it with premises is derivable); (ii) that it includes rules where no variable-inclusion conditions are attached; and (iii) (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  7. On Three-Valued Presentations of Classical Logic.Bruno da Ré, Damian Szmuc, Emmanuel Chemla & Paul Égré - forthcoming - Review of Symbolic Logic:1-23.
    Given a three-valued definition of validity, which choice of three-valued truth tables for the connectives can ensure that the resulting logic coincides exactly with classical logic? We give an answer to this question for the five monotonic consequence relations $st$, $ss$, $tt$, $ss\cap tt$, and $ts$, when the connectives are negation, conjunction, and disjunction. For $ts$ and $ss\cap tt$ the answer is trivial (no scheme works), and for $ss$ and $tt$ it is straightforward (they are the collapsible schemes, in which (...)
    Download  
     
    Export citation  
     
    Bookmark