Bachelor (2008 - 12) in Philosophy at Federal University of Ouro Preto [UFOP]. Master (2014 - 16) and Doctor (2016 - 20) in Philosophy at Graduate Program in Philosophy of the Federal University of Santa Catarina [PPGFIL-UFSC]. Post-Doctoral Researcher (2022) at Graduate Program in Philosophy of the Federal University of Rio de Janeiro [PPGF-UFRJ], founded by Research Support Foundation of the State of Rio de Janeiro [FAPERJ]. My interests focus on the relations of Philosophy and Mathematical-Logic. Currently, I research the development of formal systems (specifically in non-classical logics) and their applicability in philosophical debates.