Order:
Disambiguations
Diogo H. B. Dias [3]Diogo Dias [3]Diogo Henrique Bispo Dias [1]
  1.  41
    On a paraconsistentization functor in the category of consequence structures.Edelcio G. de Souza, Alexandre Costa-Leite & Diogo H. B. Dias - 2016 - Journal of Applied Non-Classical Logics 26 (3):240-250.
    This paper is an attempt to solve the following problem: given a logic, how to turn it into a paraconsistent one? In other words, given a logic in which ex falso quodlibet holds, how to convert it into a logic not satisfying this principle? We use a framework provided by category theory in order to define a category of consequence structures. Then, we propose a functor to transform a logic not able to deal with contradictions into a paraconsistent one. Moreover, (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  36
    Paraconsistent Orbits of Logics.Edelcio G. de Souza, Alexandre Costa-Leite & Diogo H. B. Dias - 2021 - Logica Universalis 15 (3):271-289.
    Some strategies to turn any logic into a paraconsistent system are examined. In the environment of universal logic, we show how to paraconsistentize logics at the abstract level using a transformation in the class of all abstract logics called paraconsistentization by consistent sets. Moreover, by means of the notions of paradeduction and paraconsequence we go on applying the process of changing a logic converting it into a paraconsistent system. We also examine how this transformation can be performed using multideductive abstract (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  16
    Paraconsistentization and many-valued logics.Edelcio G. de Souza, Alexandre Costa-Leite & Diogo H. B. Dias - forthcoming - Logic Journal of the IGPL.
    This paper shows how to transform explosive many-valued systems into paraconsistent logics. We investigate mainly the case of three-valued systems exhibiting how non-explosive three-valued logics can be obtained from them.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  14
    Pluralismo, Monismo e Relativismo Lógico.Diogo Dias - 2018 - Revista de Filosofia Moderna E Contemporânea 6 (2):21-36.
    Is there only one logic? Or are there several equally adequate logics? What does it mean, after all, that different logics can be equally adequate? And they would be adequate with respect to what?This article intends to analyze the different answers to these questions, that is, we will evaluate the central arguments of the debate between pluralism, relativism and logical monism. We will explain,on the one hand, the main assumptions of this discussion and, on the other hand, its philosophical ramifications. (...)
    Direct download  
     
    Export citation  
     
    Bookmark