16 found
Order:
Disambiguations
Edelcio Gonçalves de Souza [13]Edelcio G. de Souza [9]
  1.  28
    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   3 citations  
  2.  8
    Implications and Limits of Sequences.Alexandre Costa-Leite & Edelcio G. de Souza - 2017 - Studia Humana 6 (1):18-24.
    This paper analyzes the problem of implication and attempts to characterize conditionals by a criterion of adequacy. A definition of implication based on the notion of limit of an infinite sequence is proposed.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  17
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  43
    Conjunctive and Disjunctive Limits: Abstract Logics and Modal Operators.Edelcio G. de Souza & Alexandre Costa-Leite - 2020 - Studia Humana 9 (3-4):66-71.
    Departing from basic concepts in abstract logics, this paper introduces two concepts: conjunctive and disjunctive limits. These notions are used to formalize levels of modal operators.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5. A New Paraconsistent Set Theory: A/L.Roque da C. Caiero & Edelcio G. de Souza - 1997 - Logique Et Analyse 40:115-141.
     
    Export citation  
     
    Bookmark  
  6. Sobre Alguns Conceitos Fundamentais da Metamatemática (Tarski, Alfred).Alfred Tarski, Patrícia Del Nero Velasco & Edelcio Gonçalves de Souza - 2001 - Princípios 8 (10):187-209.
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  11
    Lindenbaumologia II: Cálculos Lógicos Abstratos.Edelcio Gonçalves de Souza & Patrícia Del Nero Velasco - 2002 - Cognitio 3:115-121.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  11
    Existência e Contradição.Edelcio Gonçalves de Souza - 2003 - Cognitio 4 (1):80-86.
    Resumo: No presente artigo, discutiremos os aspectos filosóficos de teorias de conjuntos paraconsistentes. A fim de ilustrar nossas considerações de modo mais concreto, abordaremos uma nova teoria de conjuntos baseada em um sistema bem conhecido de Quine e em um cálculo paraconsistente.Palavras-chave: existência, contradição, lógica e paraconsistência.: In the present paper we deal with the philosophical aspects of paraconsistent set theories. In order to illustrate our points more concretely, we will discuss new paraconsistent set theory based both on Quine's well-known (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  7
    Sobre Alguns Conceitos Fundamentais da Metamatemática (Tarski, Alfred).Patrícia del Nero Velasco & Edelcio Gonçalves de Souza - 2001 - Princípios: Revista de Filosofia 8 (10):9.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  41
    Multideductive Logic and the Theoretic-Formal Unification of Physical Theories.Edelcio G. de Souza - 2000 - Synthese 125 (1-2):253-262.
    We present a kind of logic named multideductive logic and outline an application of it in the problem of theoretic-formal unification of physical theories dealing with the Bohr atom theory. This is just a preliminary study that will be developed in future papers.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  6
    Lindenbaumologia I: A teoria geral.Edélcio G. de Souza - 2001 - Cognitio 2:213-219.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  5
    Remarks on Abstract Consequence Structures.Edelcio G. de Souza - 2007 - In Jean-Yves Béziau & Alexandre Costa-Leite (eds.), Perspectives on Universal Logic.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  5
    Teorias físicas inconsistentes e lógicas multidedutivas.Edélcio Gonçalves de Souza - 2000 - Cognitio 1:145-152.
    Resumo: Pretendemos esboçar o conceito de lógica multidedutiva que constitui um sistema lógico subjacente à noção de verdade pragmática. Com base em lógicas multidedutivas, delineamos um aparato formal para o tratamento apropriado de inconsistências em teorias físicas.: we intend to delineate the concept of multideductive logic that constitutes a subjacent logical system for the pragmatic notion of truth. Based upon the multideductive logic we have pictured a formal apparatus used as an appropriate treatment to the inconsistencies in Physics theories.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  12
    O conceito de verdade pragmática em uma perspectiva lógico-formal.Edélcio Gonçalves de Souza - 2000 - Cognitio 1:138-144.
    Resumo: Examinar-se á o conceito de verdade pragmática em uma perspectiva que poderia ser denominada de pragmática. Assim, pretende-se apresentar, de um ponto de vista lógico-formal, a idéia de verdade pragmática num sentido de que uma proposição é pragmaticamente verdadeira se e somente se, em determinado contexto, tudo se passa como se ela fosse verdadeira do ponto de vista correspondencial. Ora, A. Tarski, em 1933, ao examinar o conceito de verdade nas linguagens formalizadas forneceu uma definição precisa de verdade inaugurando (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  15.  12
    Multideductive Logic and the Theoretic-Formal Unification of Physical Theories.Edelcio G. de Souza - 2000 - Synthese 125 (1/2):253 - 262.
    We present a kind of logic named multideductive logic and outline an application of it in the problem of theoretic-formal unification of physical theories dealing with the Bohr atom theory. This is just a preliminary study that will be developed in future papers.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  1
    Depois do annus mirabilis de Einstein: matéria e universo.Edelcio Gonçalves de Souza - 2005 - Scientiae Studia 3 (4):727-732.
    No categories
    Direct download (7 more)  
    Translate
     
     
    Export citation  
     
    Bookmark