- Auxílios pontuais (curta duração)
Busca avançada
Edelcio Gonçalves de Souza
CV Lattes
GoogleMyCitations
ResearcherID
Universidade de São Paulo (USP). Faculdade de Filosofia, Letras e Ciências Humanas (FFLCH) (Instituição-sede da última proposta de pesquisa) País de origem: Brasil
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. Atualmente é professor doutor 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, teoria de modelos para linguagens infinitárias. (Fonte: Currículo Lattes)
Auxílios à pesquisa
Bolsas no país
- O argumento ontológico de Godel, BP.IC
Resumo
Neste estudo, busca-se obter melhor compreensão do argumento ontológico desenvolvido pelo lógico Kurt Godel. A apresentação seguirá o método axiomático, como originalmente proposto por Godel, e utilizará como base uma lógica modal de segunda ordem. Após a apresentação do argumento será feita a defesa a partir de suas recentes objeções. Por fim, tentaremos mostrar se a noção de Deus que...
- O silogismo formal em Aristóteles, uma análise, BP.IC
Resumo
O trabalho tem a intenção de examinar detalhadamente a teoria do silogismo formal, tal como ela foi concebida por Aristóteles e tendo como foco os capítulos um, dois, quatro, cinco, seis e sete dos Analíticos Anteriores. A investigação é constituída de cinco partes principais: a) formar um glossário dos principais termos usados pelo filósofo; b) esclarecer a estrutura das figuras dos s...
- Sistemas formais e valorações: sobre um teorema geral de completude, BP.MS
Resumo
O objetivo do presente projeto consiste, num primeiro momento, em estudar três diferentes caracterizações de sistema formal e demonstrar em que sentido estas conceituações são equivalentes entre si. A seguir, estudaremos o conceito de valoração procurando estendê-lo para todas as caracterizações de sistema formal acima mencionadas. A relação entre os planos sintático e semântico será f...
Bolsas no Exterior
- Sobre categorias com morfismos verdade, BE.PQ
Resumo
O objetivo do presente projeto é mostrar como é possível fazer semântica para linguagens proposicionais em ambientes categoriais que não sejam topos. Proponho a definição de dois tipos de categorias denominadas categorias com morfismos verdade (CTM) e proto-topos. Em categorias com morfismos verdade, pode-se definir as "funções de verdade" que correspondem aos conectivos lógicos de neg...
Para ver o sumário de acessos desta página, clique aqui.
Por favor, reporte erros na informação da página do pesquisador escrevendo para:
cdi@fapesp.br.