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 a Filosofia
nos/e os limites da
Lógica.
Sou Kherian Gracher, professor e pesquisador em Filosofia.
Perfil acadêmico
A Lógica como problema filosófico.
A Filosofia de um ponto de vista lógico.
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.
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 a conversa?
Para convites acadêmicos, pesquisa, orientação e projetos de divulgação.
kherian@ufpi.edu.br ↗