Edelcio Gonçalves de Souza

Afiliação acadêmica
Professor Associado (Livre-docente)
Especialização
Lógica, Filosofia da Lógica e Filosofia da Linguagem
E-mail
edelcio.souza@usp.br

Bolsista de Produtividade em Pesquisa do CNPq – PQ 2

Histórico Acadêmico

  • 2013 Professor Doutor em Filosofia na Universidade de São Paulo.
  • 1997 Pós-Doutorado na Stanford University.
  • 1997 Pós-Doutorado. Stanford University, STANFORD, Estados Unidos
  • 1995 Doutorado em Filosofia pela Universidade de São Paulo.
    Título da Tese: O Problema de Destouches e as lógicas heterodoxas: ensaio sobre o uso de lógicas não-clássicas nos fundamentos da física
    Orientador: Prof. Dr. Newton Carneiro Affonso da Costa.
  • 1992 Mestrado em Filosofia pela Universidade de São Paulo
    Título da Dissertação: Estrutura e lógica de teorias físicas
    Orientador: Prof. Dr. Newton Carneiro Affonso da Costa 
  • 1989 Graduação em Filosofia pela Universidade de São Paulo

Pesquisa em desenvolvimento

Tópicos em lógica abstrata
Resumo: 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.
 
Teoria de modelos para linguagens infinitárias
Resumo: Estudos sobre definibilidade em estruturas relacionais de primeira ordem com base em linguagens infinitárias. Generalização de alguns teoremas de ramos específicos da matemática para o caso geral da teoria de modelos (Teoria de Galois Generalizada). Desenvolvimento sobre a relação entre categoricidade, homogeneidade e a noção de isomorfismo forte entre subestruturas de uma dada estrutura.

Orientações em andamento
Pesquisador Título da pesquisa Categoria
Felipe Gustavo Alves Moreira Reconsiderando princípios lógicos: primeiros princípios e parâmetros de racionalidade Pós-doutorado
Daniel Arvage Nagase Expressivismo Matemático: Atividade Dedutiva e Construção de Modelos Pós-doutorado
Alexandre Costa-Leite Lógica e contradição no paradoxo de Fermi e em estudos do futuro Pós-doutorado
RODOLFO CUNHA CARNIER A Adequação Empírica Como Quase-Verdade: Uma Abordagem Modelo-Teórica Doutorado Direto
PEDRO NAVARRO ARTONI A disjunção de Gödel e a inevitabilidade da tese anti-materialista Mestrado
EUCLIDES TORRES OMETTO STOLF Categoria, Ponto-fixo e informação Doutorado
FELIPE PEINADO DOS SANTOS Entre indefinibilidade e incompletude: uma leitura comparativa dos teoremas de Tarski e Gödel Mestrado
MARCELO LEOPOLDO E SILVA DE CARVALHO FILHO O ISOMORFISMO CURRY-HOWARD Mestrado
CHRISTIAN MARCEL DE AMORIM PERRET GENTIL DIT MAILLARD Sobre o conceito de Proto topos Doutorado
LUIZA SILVA PORTO RAMOS Uma nova concepção de lógica abstrata como base para teoria da definibilidade Doutorado
DOUGLAS ALEXANDRE RODRIGUES Uma Reinterpretação da Noção de Quase-Verdade em Lógicas Trivalentes Doutorado