4 found
Order:
See also
Abilio Rodrigues
Federal University of Minas Gerais
  1.  70
    Towards a Philosophical Understanding of the Logics of Formal Inconsistency.Walter Carnielli & Abílio Rodrigues - 2015 - Manuscrito 38 (2):155-184.
    In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  26
    An Epistemic Approach to Paraconsistency: A Logic of Evidence and Truth.Walter Carnielli & Abilio Rodrigues - 2017 - Synthese.
    The purpose of this paper is to present a paraconsistent formal system and a corresponding intended interpretation according to which true contradictions are not tolerated. Contradictions are, instead, epistemically understood as conflicting evidence, where evidence for a proposition A is understood as reasons for believing that A is true. The paper defines a paraconsistent and paracomplete natural deduction system, called the Basic Logic of Evidence, and extends it to the Logic of Evidence and Truth. The latter is a logic of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3. On Philosophical Motivations for Paraconsistency: An Ontology-Free Interpretation of the Logics of Formal Inconsistency.Walter Carnielli & Abilio Rodrigues - manuscript
    In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non- contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  2
    Foreword: Consistency, Contradiction, and Consequence.Abílio Rodrigues & Federico Matías Pailos - 2018 - Principia: An International Journal of Epistemology 22 (1):01-05.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark