Edélcio Gonçalves de Souza

Position
Assistant Professor
Specialization
Logic, Philosophy of Logic and Philosophy of Language
Email
edelcio.souza@usp.br

Academic Background

  • 2013 Assistant Professor in Philosophy at the University of São Paulo.
  • 1997 Postdoctoral Research at the Stanford University, Stanford, USA
  • 1995 PhD in Philosophy at the University of São Paulo.
  • Title: The Problem of Destouches and Heterodox Logics: Essay on the Use of Non-Classical Logics in the Foundations of Physics
  • Supervisor: Prof. Newton Carneiro Affonso da Costa.
  • 1992 Master’s Degree in Philosophy at the University of São Paulo
  • Title: Structure and logic of physical theories
  • Supervisor: Prof. Newton Carneiro Affonso da Costa
  • 1989 Bachelor’s Degree in Philosophy at the University of São Paulo

Current Research

Topics in abstract logic
Study on consequence structures of type (X, Cn) where X is a set and Cn is an operator on the parts of X called the consequence operator. Development of a geometric version for consequence operators with the notion of groups acting on sets. Study of the category of consequence structures and certain functors that can be defined in the same.

Model theory for infinitary languages
Studies on definability in first-order relational structures based on infinitary languages. Generalization of some theorems from specific branches of mathematics to the general case of model theory (Generalized Galois Theory). Development on the relationship between categoricity, homogeneity and the notion of strong isomorphism between substructures of a given structure.

Edélcio Gonçalves de Souza

Orientações em andamento
Pesquisador Título da pesquisa Categoria
LUIZA SILVA PORTO RAMOS A new conception of abstract logic as a basis for definability theory Doctorate Degree
DOUGLAS ALEXANDRE RODRIGUES A Reinterpretation of the Notion of Quasi-Truth in Three-Valued logicss Doctorate Degree
FELIPE PEINADO DOS SANTOS BETWEEN UNDEFINABILITY AND INCOMPLETENESS: A COMPARATIVE READING BETWEEN TARSKI'S AND GÖDEL'S THEOREMS Master's degree
EUCLIDES TORRES OMETTO STOLF Category, Fixed Point and Information Doctorate Degree
MARCO ANTONIO ANTONELLI GAIARSA Decision Theory A logical and philosophical exploration of the classical context and of generalization alternatives Master's degree
RODOLFO CUNHA CARNIER Empirical Adequacy as Quasi-truth: A Model-Theoretic Approach Direct Doctorate
PEDRO NAVARRO ARTONI GÖDEL'S DISJUNCTION AND THE INEVITABILITY OF THE ANTI-MATERIALIST THESIS Master's degree
CHRISTIAN MARCEL DE AMORIM PERRET GENTIL DIT MAILLARD On the concept of Prototopos Doctorate Degree
MATHEUS DE ARAÚJO FERREIRA The Axiom of Choice and the completeness of logical calculi: a study via Lindenbaum’s theorems. Master's degree
MARCELO LEOPOLDO E SILVA DE CARVALHO FILHO THE CURRY–HOWARD ISOMORPHISM Master's degree