Curso
Doutorado
Título da pesquisa
A lógica como teoria da dedução
Resumo da pesquisa
A pesquisa divide-se em três partes: a primeira parte terá como foco o problema da logicalidade por uma perspectiva inferencialista, baseada nos escritos lógicos de Karl Popper. Na segunda parte apresentaremos semânticas de 'truthmakers' para as lógicas clássica, intuicionista, co-intuicionista e relevantes, traçando algumas relações entre lógica e epistemologia. Na terceira parte apresentaremos sistemas dedutivos baseados em tablôs para essas lógicas.
Orientador
Rodrigo Bacellar
Fomento
CAPES