Edélcio Gonçalves de Souza

Versão para impressão

lattea curriculum lattes
 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

Linha de Pesquisa

Lógica
 

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
 

Mestrado

Christian Marcel de Amorim Perret Gentil Dit Maillard
Pesquisa: Uma Semântica Categorial para Linguagens Proposicionais
Agência financiadora: CNPq

Lucas Baccarat Silva Negrão de Campos
Pesquisa: A crítica de Neurath à concepção semântica de verdade de Tarski
Agência financiadora: CAPES

Matheus Cury Vieira
Pesquisa: Tradução e comentários do artigo "Investigations into sentencial calculus", de Tarski e Lukasiewicz
Agência financiadora: S/B

Doutorado

Diogo Henrique Bispo Dias
Pesquisa: Paraconsistentização de Lógicas
Agência financiadora: CAPES
Guilherme Messias Pereira Lima
Pesquisa: Semântica Topológica Para a Logica Modal Quantificada: Sob Uma Perspectiva Metafísica
Agência financiadora: S/B


Pós-Doutorado

Nobuiuki Costa ito
Pesquisa "Investigaçôes sobre os Fundamentos de uma Moral Econômica"
Agência: S/B