Lógica001
O que uma negação pode negar?
Uma introdução às diferenças entre negação clássica, paraconsistente e paracompleta — e ao que muda quando elas convivem no mesmo sistema.
Filosofia · Lógica · Sistemas formais
Pensar
os limites da
lógica.
Sou Kherian Gracher, professor e pesquisador em Filosofia. Investigo lógicas não-clássicas, negações e suas aplicações no debate filosófico.
Perfil acadêmico
A lógica como
problema filosófico.
Investigo como sistemas formais tornam visíveis diferentes maneiras de raciocinar com inconsistência, incompletude e oposição.
Minha trajetória reúne formação na UFOP e na UFSC, pós-doutorado na UFRJ e atuação docente na UFPI. O centro desse percurso é a relação entre Filosofia e Lógica Matemática, especialmente o desenvolvimento de lógicas não-clássicas e suas aplicações.
Biografia completa →Caderno de notas
Ideias em circulação
Ensaios breves sobre lógica, filosofia e ensino.
Filosofia da lógica002
Paradoxos como instrumentos filosóficos
Paradoxos não são apenas curiosidades: eles expõem tensões entre conceitos, regras de inferência e expectativas teóricas.
Ensino003
Ensinar lógica além das tabelas
Como apresentar a lógica como investigação de argumentos, linguagens e escolhas formais — não apenas como uma coleção de técnicas.
Contato & colaboração
Vamos continuar
a conversa?
Para convites acadêmicos, pesquisa, orientação e projetos de divulgação.
kherian@ufpi.edu.br ↗