Sobre

Uma trajetória entre filosofia e sistemas formais.

Professor, pesquisador e divulgador. Meu trabalho acompanha uma pergunta recorrente: o que as diferentes lógicas nos permitem compreender sobre raciocínio, linguagem e realidade?

Retrato de Kherian Gracher

Sou bacharel em Filosofia pela UFOP, mestre e doutor em Filosofia pela UFSC e realizei pós-doutorado na UFRJ, com financiamento da FAPERJ.

Atualmente, sou Professor Assistente na Universidade Federal do Piauí e Professor Colaborador no Programa de Pós-Graduação em Filosofia da UFRJ. Em 2025, também atuei como Professor Substituto na UNIRIO.

Meus interesses se concentram na relação entre Filosofia e Lógica Matemática. Pesquiso o desenvolvimento de sistemas formais — especialmente lógicas não-clássicas — e suas aplicações em debates filosóficos.

English profile

Philosophy, logic, and the architecture of formal systems.

Kherian Gracher holds a bachelor’s degree in Philosophy from UFOP, and master’s and doctoral degrees in Philosophy from UFSC. He was a postdoctoral researcher at UFRJ funded by FAPERJ and is currently an Assistant Professor at UFPI and a Collaborating Professor at UFRJ’s Graduate Program in Philosophy.

His research focuses on mathematical and philosophical logic, particularly non-classical systems, varieties of negation, and their philosophical applications.

Percurso

Formação & atuação

Professor Assistente

Universidade Federal do Piauí · CAFS

Professor Substituto

Universidade Federal do Estado do Rio de Janeiro

Professor Colaborador

Programa de Pós-Graduação em Filosofia · UFRJ

Pós-doutorado em Filosofia

Universidade Federal do Rio de Janeiro · FAPERJ

Doutorado em Filosofia

Universidade Federal de Santa Catarina

Mestrado em Filosofia

Universidade Federal de Santa Catarina

Bacharelado em Filosofia

Universidade Federal de Ouro Preto