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.
  • Capítulos publicados: 11
    • 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.
  • Nome orientando Área Nível de Programa
    Christian Marcel de Amorim Perret Gentil Dit Maillard Filosofia Doutorado
    Douglas Alexandre Rodrigues Filosofia Doutorado
    Euclides Torres Ometto Stolf Filosofia Doutorado
    Felipe Peinado dos Santos Filosofia Mestrado
    Lucas de Oliveira Laurindo Filosofia Mestrado
    Luiza Silva Porto Ramos Filosofia Doutorado
    Marcelo Leopoldo e Silva de Carvalho Filho Filosofia Mestrado
    Marco Antonio Antonelli Gaiarsa Filosofia Mestrado
    Pedro Navarro Artoni Filosofia Mestrado
    Rodolfo Cunha Carnier Filosofia Doutorado Direto