Philosophy
Metaphysical, conceptual and educational questions examined in direct dialogue with the tools of logic.
- Metaphysics
- Philosophy of Logic
- Philosophy of Education
KG Systems
Three negations within one formal structure.
The KG Systems are a family of non-classical logics developed to study classical negation (¬c), paraconsistent negation (¬p) and paracomplete negation (¬q) within a single formal framework. KGp incorporates paraconsistent double-negation elimination; KGq incorporates paracomplete double-negation introduction; and KGc combines both conditions.
These systems enable an integrated examination of contradiction, contrariety, subcontrariety and subalternation, while providing their own semantics and proof methods.
Current directions
Two lines of inquiry and their connections
Logic
Construction and analysis of formal structures capable of representing different ways of negating and reasoning.
- Non-Classical Systems
- Negations
- Philosophical Logics
Projects
Research in perspective
Three stages of an ongoing programme.
01
Postdoctoral research
Studies on Non-Classical Modal Logics
Development of modal extensions of the KG Systems that accommodate classical, paraconsistent and paracomplete negations simultaneously without trivialization.
- Institution
- UFRJ · PPGF
- Supervision
- Supervisor: Jean-Yves Béziau
- Funding
- FAPERJ · Pós-Doutorado Nota 10 fellowship
02
PhD
Three Times No
A study of classical, paraconsistent and paracomplete negations through four formal systems — the KG Systems — with semantics, analytic tableaux and first-order extensions.
- Institution
- UFSC · PPGFIL
- Supervision
- Supervisor: Décio Krause · Co-supervisor: Newton C. A. da Costa
- Funding
- CAPES · Demanda Social scholarship programme
03
Master’s degree
Is Identity Fundamental?
A philosophical investigation of identity, indiscernibility and conceptual systems, connecting metaphysical problems with the tools of logic.
- Institution
- UFSC · PPGFIL
- Supervision
- Supervisor: Décio Krause
- Funding
- CAPES · Demanda Social scholarship programme
Collaboration