Negações
Como negações clássicas, paraconsistentes e paracompletas podem ser formalizadas e relacionadas.
Pesquisa
Sistemas formais para perguntas filosóficas.
Minha pesquisa combina construção lógica e análise conceitual. O fio condutor é compreender diferentes tipos de negação e suas relações com identidade, modalidade e consequência.
Eixos atuais
Quatro linhas de investigação
Modalidade
Como operadores modais se comportam em sistemas que admitem diferentes variedades de negação.
Identidade
Relações entre identidade, indiscernibilidade e os sistemas conceituais usados para representar objetos.
Metalogia
Semânticas, métodos de prova e propriedades formais de sistemas lógicos não-clássicos.
Projetos
Pesquisa em perspectiva
Três etapas de um programa contínuo.
01
Pós-doutorado
Estudos sobre lógicas modais não-clássicas
Studies on Non-Classical Modal Logics
Desenvolvimento de extensões modais dos Sistemas KG, capazes de tratar simultaneamente negações clássica, paraconsistente e paracompleta sem trivialização.
- Instituição
- UFRJ · PPGF
- Orientação
- Supervisor: Jean-Yves Béziau
- Financiamento
- FAPERJ · Pós-Doutorado Nota 10
02
Doutorado
Três Vezes Não
Three Times No
Estudo das negações clássica, paraconsistente e paracompleta por meio de quatro sistemas formais — os Sistemas KG — com semântica, tableaux analíticos e extensões de primeira ordem.
- Instituição
- UFSC · PPGFIL
- Orientação
- Orientação: Décio Krause · Coorientação: Newton C. A. da Costa
- Financiamento
- CAPES · Programa de Demanda Social
03
Mestrado
É a identidade fundamental?
Is Identity Fundamental?
Investigação filosófica sobre identidade, indiscernibilidade e sistemas conceituais, articulando problemas metafísicos e ferramentas da lógica.
- Instituição
- UFSC · PPGFIL
- Orientação
- Orientação: Décio Krause
- Financiamento
- CAPES · Programa de Demanda Social
Colaboração