Faculdade de Filosofia, Letras e Ciências Humanas
Portal de Dados
Logo da Universidade de São Paulo
Não autenticado |

Edelcio Gonçalves de Souza

    • possui graduação, mestrado e doutorado em Filosofia pela Universidade de São Paulo. Fez estágio de pós-doutorado na Stanford University - Center for the Study of Language and Information e na Universidade de Miami. Atualmente é professor Livre-Docente da Universidade de São Paulo. Tem experiência na área de Filosofia, com ênfase em Lógica, atuando principalmente nos seguintes temas: lógica, lógica abstrata,lógicas paraconsistente e teoria de categorias.

       

      Links:    

    • Teoria do Conhecimento
    • DE SOUZA, EDELCIO G ; COSTA-LEITE, ALEXANDRE ; DIAS, DIOGO H B . Paraconsistentization and many-valued logics LOGIC JOURNAL OF THE IGPL , v. 32 , p. 76 - 93 , 2024. ISSN: 13670751.
    • DE SOUZA, EDELCIO G. ; COSTA-LEITE, ALEXANDRE ; DIAS, DIOGO H. B. . Paraconsistent Orbits of Logics Logica Universalis (Online) , v. 15 , p. 271 - 289 , 2021. ISSN: 16618300.
    • COSTA-LEITE, ALEXANDRE ; DE SOUZA, E. G. . Conjunctive and Disjunctive Limits: Abstract Logics and Modal Operators Studia Humana , v. 9 , p. 66 - 71 , 2020. ISSN: 22990518.
    • DE SOUZA, E. G. ; COSTA-LEITE, A. ; DIAS, DIOGO H. B. . Paradeduction in axiomatic formal systems Logique & Analyse , v. 246 , p. 161 - 176 , 2019. ISSN: 22955836.
    • DE SOUZA, E. G. . Sobre a noção categorial de proto-topos REVISTA DE FILOSOFIA MODERNA E CONTEMPORÂNEA , v. 6 , p. 105 - 114 , 2018. ISSN: 23179570.
    • DE SOUZA, E. G. ; RODRIGUES, Alexandre Augusto Martins . On Extensions of Isomorphisms of Substructures SOUTH AMERICAN JOURNAL OF LOGIC , v. 3 , p. 123 - 130 , 2017. ISSN: 24466719.
    • DE SOUZA, E. G. ; COSTA-LEITE, A. . Implications and Limits of Sequences Studia Humana , v. 6 , p. 18 - 24 , 2017. ISSN: 22990518.
    • DE SOUZA, EDELCIO G. ; COSTA-LEITE, ALEXANDRE ; DIAS, DIOGO H. B. . On a paraconsistentization functor in the category of consequence structures Journal of Applied Non-Classical Logics , v. 26 , p. 240 - 250 , 2016. ISSN: 19585780.
    • DE SOUZA, E. G. . Analiticidade e Protocolos Interpretativos Cognitio (PUCSP) , v. 14 , p. 247 - 253 , 2013. ISSN: 15187187.
    • DE SOUZA, E. G. ; RODRIGUES, Alexandre Augusto Martins . A model-theoretical generalization of steinitz's theorem Principia (Florianópolis. Online) , v. 15 , p. 107 - 110 , 2011. ISSN: 18081711.
    • DE SOUZA, E. G. . Nota sobre o conceito de "proposição elementar" em teorias mecânicas Revista Brasileira de Filosofia , v. 232 , p. 226 - 230 , 2009. ISSN: 00347205.
    • RODRIGUES, Alexandre Augusto Martins ; MIRANDA FILHO, Ricardo Carneiro ; DE SOUZA, E. G. . Definibility in infinitary languages and invariance by automorphisms Reports on Mathematical Logic , v. 45 , p. 119 - 133 , 2010. ISSN: 01372904.
    • DE SOUZA, E. G. . Nota sobre uma formulação geométrica para operadores de \ômega-fecho COGNITIO (PUCSP) , v. 9 , p. 325 - 332 , 2008. ISSN: 15187187.
    • DE SOUZA, E. G. . Depois do annus mirabilis de Einstei: matéria e universo Scientiae Studia (USP) , v. 3 , p. 727 - 732 , 2005. ISSN: 16783166.
    • DE SOUZA, E. G. . Adequação material para linguagens aristotélicas Hypnos (São Paulo) , v. 17 , p. 98 - 111 , 2006. ISSN: 14139138.
    • DE SOUZA, E. G. . Conseqüência Lógica e Invariância Cognitio , v. 7 , p. 207 - 216 , 2006. ISSN: 15187187.
    • DE SOUZA, E. G. ; RODRIGUES, Alexandre Augusto Martins ; MIRANDA FILHO, Ricardo Carneiro . Invariance and set-theoretical operations in first order structures Reports on Mathematical Logic , v. 40 , p. 207 - 213 , 2006. ISSN: 01372904.
    • DE SOUZA, E. G. . A note on abstract consequence structures Cognitio , v. 6 , p. 102 - 109 , 2005. ISSN: 15187187.
    • DE SOUZA, E. G. . Completude diz-se em vários sentidos Cognitio , v. 5 , p. 200 - 204 , 2004. ISSN: 15187187.
    • DE SOUZA, E. G. ; VELASCO, Patrícia Del Nero . Sobre alguns conceitos fundamentais da metamatemática Princípios ((UFRN) , v. 8 , p. 187 - 209 , 2001. ISSN: 01048694.
    • DE SOUZA, E. G. ; VELASCO, Patrícia Del Nero . Lindenbaumologia II: cálculos lógicos abstratos Cognitio , v. 3 , p. 115 - 121 , 2002. ISSN: 15187187.
    • DE SOUZA, E. G. . Existência e contradição Cognitio , v. 4 , p. 80 - 86 , 2003. ISSN: 15187187.
    • DE SOUZA, E. G. . Remarks on paraclassical logic Boletim da Sociedade Paranaense de Matemática , v. 18 , p. 107 - 112 , 1998. ISSN: 00378712.
    • DE SOUZA, E. G. . Teorias físicas inconsistentes e lógicas multidedutivas Cognitio , v. 1 , p. 145 - 152 , 2000. ISSN: 15187187.
    • DE SOUZA, E. G. . Lindenbaumologia I: a teoria geral Cognitio , v. 2 , p. 213 - 219 , 2001. ISSN: 15187187.
    • DE SOUZA, E. G. . Multideductive logic and the theoretic-formal unification of physical theories Synthese (Dordrecht) , v. 125 , p. 253 - 262 , 2000. ISSN: 00397857.
    • DE SOUZA, E. G. ; CAIERO, R. C. . A new paraconsistent set theory: ML1 Logique et Analyse , v. 157 , p. 115 - 141 , 1997. ISSN: 00245836.
    • DE SOUZA, E. G. ; BUENO, O. . The Concept of quasi-truth LOGIQUE ET ANALYSE , v. 153/54 , p. 183 - 199 , 1996. ISSN: 00245836.
    • Juliano Maranhão ; DE SOUZA, E. G. ; SARTOR, G. . A dynamic model for balancing values. ICAIL '21: Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law, v. 1, p. 89 - 98, 2021.
    • COSTA-LEITE, ALEXANDRE ; DE SOUZA, E. G. . Conjunctive and Disjunctive Limits: Abstract Logics and Modal Operators. Judgements and Truth: Essays in Honour of Jan Woleński, v. , p. 99 - 108, 2020.
    • DE SOUZA, E. G. . Um procedimento abstrato para transformar uma dada lógica em uma lógica paraconsistente. Lógica e racionalidade científica, v. , p. 135 - 140, 2019.
    • DE SOUZA, EDELCIO G. . Categorias com morfismos verdade e prototopos: uma semântica para linguagens proposicionais. Seminário Lógica no Avião, v. , p. 73 - 102, 2019.
    • DE SOUZA, E. G. . Sobre a Concepção de Verdade de A. Tarski. Sementes de Pragmatismo na Contemporaneidade: Homenagem a Ivo Assad Ibri, v. , p. 205 - 213, 2018.
    • DE SOUZA, E. G. ; MARANHÃO, Juliano Souza de Albuquerque . Contraction of Combined Normative Sets. Deontic Logic and Normative Systems, v. , p. 247 - 261, 2018.
    • DE SOUZA, E. G. . Note on a geometric formulation of a class consequence structures. Aftermath of the Logical Paradise, v. 81, p. 55 - 64, 2018.
    • DE SOUZA, E. G. ; BENSUSAN, H. ; COSTA-LEITE, A. . Logics and Their Galaxies. The Road to Universal Logic : Festschrift for the 50th Birthday of Jean-Yves Beziau, v. , p. 243 - 252, 2015.
    • MELLO, J. L. P. ; DE SOUZA, E. G. . Noções elementares de lógica. Matemática - construção e significado, v. único, p. 1 - 20, 2008.
    • DE SOUZA, E. G. . Remarks on Abstract Consequence Structures. Perspectives on Universal Logic, v. , p. 199 - 204, 2007.
    • DE SOUZA, E. G. . Apêndice - Lógica Multidedutiva e Aplicações. O Conhecimento Científico, v. , p. - , 1997.
    • DE SOUZA, E. G. . A Flexa do Tempo . Jornal de Resenhas da Folha de São Paulo , São Paulo , 15 mar. 1998.
    • DE SOUZA, E. G. . Metafísica Experimental . Jornal de Resenhas da Folha de São Paulo , São Paulo , 10 mai. 1997.
    • DE SOUZA, E. G. ; COSTA-LEITE, A. ; DIAS, D. H. B. . On a paraconsistentization functor in the category of consequence structures. In: Trends in Logic XVI: Consistency, Contradiction, Paraconsistency and Reasoning 40 years of CLE , 2016 , Campinas. Books of Abstracts of 16 conference trends in Logic. Campinas : , 2016. p. 92 - 93.
    • DE SOUZA, E. G. ; COSTA-LEITE, A. . On a paraconsistentization functor. In: 5th World Congress on Paraconsistent Logic , 2014 , Calcutá. Handbook of the 5th World Congresso on Paraconsistent Logic. Calcutá : , 2014. p. 46 - 46.
    • DE SOUZA, E. G. . Uma teoria geométrica para operadores de fecho. In: XIII Encontro Nacional de Filosofia - ANPOF , 2008 , Canela - RS. Livro de atas do XIII Encontro Nacional de Filosofia - ANPOF. São Leopoldo - RS : Editora Unisinos, 2008. p. 188 - 189.
    • DE SOUZA, E. G. . Consequence operators and partitions. In: 2nd World Congress and School on Universal Logic , 2007 , Xi'an. Volume of abstracts - 2nd World Congress and School on Universal Logic. Xi'an : Northwestern Polythecnical University, 2007. p. 15 - 15.
    • DE SOUZA, E. G. . On semantic of infinitary first order relational languages. In: 13th International Congress of Logic, Methodology and Philosophy of Science , 2007 , Pequim. Volume of Abstracts - 13th International Congress of Logic, Methodology and Philosophy of Science. Pequim : Tsinghua University, 2007. p. 56 - 56.
    • DE SOUZA, E. G. . An abstarct consequence structures. In: 1st World Congress and Scholl on Universal Logic , 2005 , Montreux. 1st World Congress and Scholl on Universal Logic - Handbook. : , 2005. p. 98 - 98.
    • DE SOUZA, E. G. ; MARANHÃO, Juliano Souza de Albuquerque . Compacidade em estruturas abstratas de conseqüência. In: IV Simpósio Internacional Principia , 2005 , Florianópolis. IV Simpósio Internacional Principia - A filosfia de Donald Davidson. : , 2005. p. 91 - 92.
    • DE SOUZA, E. G. . Invariância por automorfismos de estruturas de primeira ordem. In: XI Encontro Nacional de Filosofia da ANPOF , 2004 , Salvador BA. XI Encontro Nacional de Filosofia da ANPOF - Livro de atas. : , 2004. p. 126 - 127.
    • DE SOUZA, E. G. . Sobre as lógicas multidedutivas. In: V Congresso Brasileiro de Filosofia , 1995 , São Paulo. Anais do V Congresso Brasileiro de Filosofia. : , 1995. p. 1037 - 1042.
    • DE SOUZA, E. G. ; RODRIGUES, Alexandre Augusto Martins ; MIRANDA FILHO, Ricardo Carneiro . Definability and invariance in first order structures. São Paulo : Instituto de Matemática e Estatística - USP , 2004 (Pré-publicação)
    • DE SOUZA, E. G. ; COSTA, Newton Carneiro Affonso da ; MARANHÃO, Juliano Souza de Albuquerque . Introdução à lógica paraconsistente: a hierarquia Cn. São Paulo : Instituto de Estudos Avançados da Universidade de São Paulo , 2001 (Pré-publicação)
    • DE SOUZA, E. G. ; MARICONDA, P. R. ; KINOUCHI, R. . Acaso, probabilidade e indução: Escritos selecionados de Charles S. Peirce. 2023 (Outra)
    • DE SOUZA, E. G. . Paraconsistentização da Lógica do Paradoxo. 2024 (Conferência)
    • DE SOUZA, E. G. ; MARANHÃO, Juliano Souza de Albuquerque ; SARTOR, G. . A dynamic model for balancing values. 2021 (Conferência)
    • DE SOUZA, E. G. . Paradeduction and Paraconsistency. 2019 (Comunicacao)
    • DE SOUZA, E. G. . On categories with truth morphisms. 2019 (Conferência)
    • DE SOUZA, E. G. . Categoricidade dos Modelos de Peano via Teoria das Categorias: Parte 1. 2019 (Conferência)
    • DE SOUZA, E. G. . Revisiting the notion of pragmatic truth. 2019 (Conferência)
    • DE SOUZA, E. G. . Quase-verdade na filosofia da ciência. 2018 (Comunicacao)
    • DE SOUZA, E. G. ; D?OTTAVIANO, I. M. L. . Comments on D'Ottaviano's 'Contradiction, Consistency and the Paraconsistent Perspective in the Western Thought: From Heraclitus to Newton da Costa. 2017 (Outra)
    • DE SOUZA, E. G. . O conceito de paradedução. 2017 (Seminário)
    • DE SOUZA, E. G. . Paradedução em Sistemas Axiomáticos Formais. 2017 (Comunicacao)
    • DE SOUZA, E. G. . Paraconsistentização via Teoria da Prova. 2017 (Conferência)
    • DE SOUZA, E. G. . Paraconsistentization of logics via category theory. 2016 (Comunicacao)
    • DE SOUZA, E. G. . Geometrical formulation of a class of consequence structures. 2015 (Comunicacao)
    • DE SOUZA, E. G. . Sobre estruturas abstratas de consequência. 2014 (Seminário)
    • DE SOUZA, E. G. . O problema filosófico da definição de verdade nas ciências formais contemporâneas. 2014 (Conferência)
    • DE SOUZA, E. G. . O teorema de incompletude de Gödel em perspectiva. 2014 (Conferência)
    • DE SOUZA, E. G. ; COSTA-LEITE, A. . On a paraconsistentization functor. 2014 (Comunicacao)
    • DE SOUZA, E. G. . Sobre um funtor de paraconsistematização na categoria das estruturas de consequência. 2013 (Conferência)
    • DE SOUZA, E. G. . O Sistema Trivalente de Peirce: Um Precursor das Lógicas não Clássicas?, de Ítala M. Loffredo D'Ottaviano. 2013 (Comunicacao)
    • DE SOUZA, E. G. . Uma teoria geométrica para operadores de fecho. 2008 (Comunicacao)
    • DE SOUZA, E. G. . Consequence operators and partitions. 2007 (Comunicacao)
    • DE SOUZA, E. G. . On semantic of infinitary first order relational languages. 2007 (Comunicacao)
    • DE SOUZA, E. G. . Sobre a noção de conseqüência lógica. 2005 (Conferência)
    • DE SOUZA, E. G. . Compacidade em estruturas abstratas de conseqüência. 2005 (Comunicacao)
    • DE SOUZA, E. G. . An abstract consequence structure. 2005 (Comunicacao)
    • DE SOUZA, E. G. . Lógica e Geometria. 2004 (Conferência)
    • DE SOUZA, E. G. . Invariância por automorfimos de estruturas de primeira ordem. 2004 (Comunicacao)
    • DE SOUZA, E. G. . Completude diz-se em vários sentidos. 2003 (Comunicacao)
    • DE SOUZA, E. G. . Teorias físicas inconsistentes e lógicas multidedutivas. 1999 (Comunicacao)
    • DE SOUZA, E. G. . Verdade pragmática em uma perspectiva lógico-formal. 1998 (Comunicacao)
    • DE SOUZA, E. G. . O Sujeito e o discurso da Ciência. 1999 (Comunicacao)
    • DE SOUZA, E. G. . Lógicas multidedutivas e o modelo do átomo de Bohr. 1995 (Comunicacao)
    • DE SOUZA, E. G. . Considerações iniciais acerca da lógica paraclássica. 1996 (Comunicacao)
    • DE SOUZA, E. G. . Sobre as lógicas multidedutivas. 1995 (Comunicacao)
    • DE SOUZA, E. G. . Lógica trivalente e teorias mecânicas. 1991 (Comunicacao)
    • DE SOUZA, E. G. ; IBRI, Ivo Assad . I Encontro sobre o Pragmatismo. 1998 (Pontifícia Universidade Católica de São Paulo)
    • DE SOUZA, E. G. ; IBRI, Ivo Assad . II Encontro sobre o Pragmatismo. 1999 (Pontifícia Universidade Católica de São Paulo)
    • DE SOUZA, E. G. ; IBRI, Ivo Assad . VI Encontro Internacional Sobre o Pragmatismo. 2003 (Pontifícia Universidade Católica de São Paulo)
    • DE SOUZA, E. G. ; IBRI, Ivo Assad . VII Encontro Internacional Sobre o Pragmatismo. 2004 (PUC-SP)
    • DE SOUZA, E. G. ; IBRI, Ivo Assad . VIII Encontro Internacional sobre o Pragmatismo. 2005 (PUC-SP)
    • IBRI, Ivo Assad ; DE SOUZA, E. G. . IX Encontro Internacional sobre Pragmatismo. 2006 (Pontifícia Universidade Católica de São Paulo)
    • IBRI, Ivo Assad ; DE SOUZA, E. G. . 10º Encontro Internacional sobre Pragmatismo. 2007 (Pontifícia Universidade Católica de São Paulo)
    • DE SOUZA, E. G. . Two-dimensionally classical reconstructions of the maximal paraconsistent systems Co. 1 and Co. 2. 2015 (Universidade de São Paulo)
    • DE SOUZA, E. G. ; BACELLAR, R. . II Colóquio UnB-USP de Lógica e Filosofia da Lógica. 2017 (Universidade de São Paulo e Universidade de Brasília)
    • DE SOUZA, E. G. . V Colóquio UnB?USP de Lógica e Filosofia da Lógica. 2024 (Universidade de São Paulo e Universidade de Brasília)
    • DE SOUZA, E. G. . Teorias do Conhecimento e as Ciências V. 2006 (Pontifícia Universidade Católica do Rio Grande do Sul)
    • DE SOUZA, E. G. . A concepção semântica da verdade de A. Tarski. 2015 (Universidade Federal do Espírito Santo)
    • Nome do projeto: Teoria de categorias e lógica categorial (2018 Atual)
      Natureza: Pesquisa
      Integrantes: DE SOUZA, E. G. .
      Descrição: Investigação acerca de ambientes categoriais em que se possa construir semânticas para linguagens proposicionais.Introduzimos as noções de categorias com morfismos verdade (CTM) e prototopos que constituem generalizações do conceito de topos elementar. Estuda-se as principais propriedades dessas categorias bem como a lógica subjacente aos sistemas que as mesmas produzem.
    • Nome do projeto: Tópicos de lógica abstrata (2015 Atual)
      Natureza: Pesquisa
      Integrantes: DE SOUZA, E. G. , MARANHÃO, Juliano Souza de Albuquerque , COSTA-LEITE, A. , DIAS, D. H. B. .
      Descrição: Estudo sobre estruturas de consequência do tipo (X,Cn) em que X é um conjunto e Cn é um operador nas partes de X denominado operador de consequência. Desenvolvimento de uma versão geométrica para operadores de consequência com a noção de grupos agindo sobre conjuntos. Estudo da categoria das estruturas de consequência e de certos funtores que podem ser definidos na mesma. Paraconsistentização de lógicas. Lógica abstrata de sistemas normativos.
  • Formação Acadêmica: 5
    • Graduacao:
      • Curso: Filosofia
        Nome da Instituição: Universidade de São Paulo
        Ano de conclusão: 1989
    • Mestrado:
      • Curso: Filosofia
        Nome da Instituição: Universidade de São Paulo
        Ano de conclusão: 1992
    • Doutorado:
      • Curso: Filosofia
        Nome da Instituição: Universidade de São Paulo
        Ano de conclusão: 1995
    • Pos-doutorado:
      • Nome da Instituição: Stanford University
        Ano de conclusão: 1997
    • Livre-docencia:
      • Nome da Instituição: Universidade de São Paulo
        Ano de conclusão: 2021
        Status do curso:
    • Pontifícia Universidade Católica de São Paulo:
      • Tipo de vínculo: Livre (1992 - 2013 ).
        Outras informações: Outro (especifique) professor associado
    • Fundação Escola de Sociologia e Política de São Paulo:
      • Tipo de vínculo: Livre (1990 - 1992 ).
        Outras informações: Assistente Mestre
    • Faculdade de São Bento:
      • Tipo de vínculo: Livre (2006 - 2013 ).
        Outras informações: Professor assistente doutor
    • Universidade de São Paulo:
      • Tipo de vínculo: Servidor_publico (2013 - Atual ).
        Outras informações: Professor Doutor