Edélcio 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

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
Marco Antonio Chabbouh Junior SOBRE AS CONDIÇÕES HISTÓRICAS, FILOSÓFICAS E MATEMÁTICAS DAS NOÇÕES FREGEANAS DE PROPOSIÇÕES ANALÍTICAS E DE PROPOSIÇÕES A PRIORI NOS FUNDAMENTOS DA ARITMÉTICA Pós-doutorado
Daniel Arvage Nagase Expressivismo Matemático: Atividade Dedutiva e Construção de Modelos Pós-doutorado
Felipe Gustavo Alves Moreira Reconsiderando princípios lógicos: primeiros princípios e parâmetros de racionalidade 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
MATHEUS DE ARAÚJO FERREIRA O Axioma da Escolha e a completude de cálculos lógicos: um estudo via teoremas de Lindenbaum. 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
MARCO ANTONIO ANTONELLI GAIARSA Teoria da Decisão Uma Exploração Lógica e Filosófica do Contexto Clássico e de Possibilidades de Generalização Mestrado
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