Course
Doctorate Degree
Research title
Logic as a theory of deduction
Research abstract
The research is divided into three parts: the first part will focus on the problem of logicality from an inferentialist perspective, based on the logical writings of Karl Popper. In the second part we will present truthmaker semantics for classical, intuitionist, co-intuitionist and relevant logics, outlining some relationships between logic and epistemology. In the third part we will present deductive systems based on tableaux for these logics.
Graduate Advisor
Rodrigo Bacellar
Lattes (curriculum vitae)
Funding
CAPES