Switch to: References

Add citations

You must login to add citations.
  1. Expressing Consistency Consistently.Lucas Rosenblatt - 2021 - Thought: A Journal of Philosophy 10 (1):33-41.
    Thought: A Journal of Philosophy, EarlyView.
    Download  
     
    Export citation  
     
    Bookmark  
  • ${LFIs}$ and Methods of Classical Recapture.Diego Tajer - 2020 - Logic Journal of the IGPL 28 (5):807-816.
    In this paper, I will argue that Logics of Formal Inconsistency $$ can be used as very sophisticated and powerful methods of classical recapture. I will compare $LFIs$ with the well-known non-monotonic logics by Batens and Priest and the ‘shrieking’ rules of Beall. I will show that these proposals can be represented in $LFIs$ and that $LFIs$ give room to more complex and varied recapturing strategies.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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   6 citations  
  • Volume I: Recovery Operators in Logics of Formal Inconsistency.Eduardo Alejandro Barrio & Walter Carnielli - 2020 - Logic Journal of the IGPL 28 (5):615-623.
    Download  
     
    Export citation  
     
    Bookmark  
  • Enthymematic Classical Recapture 1.Henrique Antunes - 2020 - Logic Journal of the IGPL 28 (5):817-831.
    Priest, argues that classical reasoning can be made compatible with his preferred logical theory by proposing a methodological maxim authorizing the use of classical logic in consistent situations. Although Priest has abandoned this proposal in favour of the one in G. Priest, I shall argue that due to the fact that the derivability adjustment theorem holds for several logics of formal consistency, these paraconsistent logics are particularly well suited to accommodate classical reasoning by means of a version of that maxim, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Truth in a Logic of Formal Inconsistency: How Classical Can It Get?Lavinia Picollo - 2020 - Logic Journal of the IGPL 28 (5):771-806.
    Weakening classical logic is one of the most popular ways of dealing with semantic paradoxes. Their advocates often claim that such weakening does not affect non-semantic reasoning. Recently, however, Halbach and Horsten have shown that this is actually not the case for Kripke’s fixed-point theory based on the Strong Kleene evaluation scheme. Feferman’s axiomatization $\textsf{KF}$ in classical logic is much stronger than its paracomplete counterpart $\textsf{PKF}$, not only in terms of semantic but also in arithmetical content. This paper compares the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Enthymematic Classical Recapture1.Henrique Antunes - forthcoming - Logic Journal of the IGPL.
    Download  
     
    Export citation  
     
    Bookmark  
  • From Logics of Formal Inconsistency to Logics of Formal Classicality.Hitoshi Omori - 2020 - Logic Journal of the IGPL 28 (5):684-711.
    One of the oldest systems of paraconsistent logic is the set of so-called C-systems of Newton da Costa, and this has been generalized into a family of systems now known as logics of formal inconsistencies by Walter Carnielli, Marcelo Coniglio and João Marcos. The characteristic notion in these systems is the so-called consistency operator which, roughly speaking, indicates how gluts are behaving. One natural question then is to ask if we can let not only gluts but also gaps be around (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Disjoint Logics.Federico Pailos - forthcoming - Logic and Logical Philosophy:1.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Against a Metaphysical Understanding of Rejection.Mariela Rubin & Ariel Roffé - 2018 - Principia: An International Journal of Epistemology 22 (1):189-202.
    In this article, we defend that incorporating a rejection operator into a paraconsistent language involves fully specifying its inferential characteristics within the logic. To do this, we examine a recent proposal by Berto for a paraconsistent rejection, which — according to him — avoids paradox, even when introduced into a language that contains self-reference and a transparent truth predicate. We will show that this proposal is inadequate because it is too incomplete. We argue that the reason it avoids trouble is (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations