12 found
Sort by:
  1.  8 DLs
    Alfred Tarski, Patrícia Del Nero Velasco & Edelcio Gonçalves de Souza (2010). Sobre Alguns Conceitos Fundamentais da Metamatemática (Tarski, Alfred). Princípios 8 (10):187-209.
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2.  7 DLs
    Edelcio G. de Souza (2000). Multideductive Logic and the Theoretic-Formal Unification of Physical Theories. 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  3.  2 DLs
    Edélcio Gonçalves de Souza (2000). Teorias físicas inconsistentes e lógicas multidedutivas. Cognitio: Revista de Filosofia 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
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4.  2 DLs
    Edélcio Gonçalves de Souza (2000). O conceito de verdade pragmática em uma perspectiva lógico-formal. Cognitio: Revista de Filosofia 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
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5.  2 DLs
    Patrícia del Nero Velasco & Edelcio Gonçalves de Souza (2001). Sobre Alguns Conceitos Fundamentais da Metamatemática (Tarski, Alfred). Princípios: Revista de Filosofia 8 (10):9.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  6.  2 DLs
    Edelcio Gonçalves de Souza (2003). Existência e Contradição. Cognitio: Revista de Filosofia 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
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7.  1 DLs
    Edelcio Gonçalves de Souza & Patrícia Del Nero Velasco (2002). Lindenbaumologia II: Cálculos Lógicos Abstratos. Cognitio: Revista de Filosofia 3:115-121.
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8.  1 DLs
    Edélcio G. de Souza (2001). Lindenbaumologia I: A teoria geral. Cognitio: Revista de Filosofia 2:213-219.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  9.  1 DLs
    Edelcio G. de Souza (2007). Remarks on Abstract Consequence Structures. In Jean-Yves Béziau & Alexandre Costa-Leite (eds.), Perspectives on Universal Logic.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  10.  0 DLs
    Roque da C. Caiero & Edelcio G. de Souza (1997). A New Paraconsistent Set Theory: A/L. Logique Et Analyse 40:115-141.
     
    My bibliography  
     
    Export citation  
  11.  0 DLs
    Edelcio Gonçalves de Souza (2005). Depois do annus mirabilis de Einstein: matéria e universo. Scientiae Studia 3 (4):727-732.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  12.  0 DLs
    Edelcio Gonçalves de Souza (2004). Completude diz-se em Vários Sentidos. Cognitio: Revista de Filosofia 5 (2):78-82.
    Resumo: A partir de um raciocínio equivocado acerca do significado dos teoremas de completude e incompletude de Gödel, apresentamos alguns importantes conceitos de lógica matemática e, com base em uma análise dos teoremas acima, concluímos mencionando a existência de modelos não standard da Aritmética de Peano.Palavras-chave: Completude. Incompletude. Teoremas de Gödel: From a mistaken reasoning about the completeness and incompleteness Gödel's theorems, we show important concepts of mathematical logic and, based on above theorems, we conclude showing the existence of non (...)
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation