KGKherian Gracher
Menu
Releitura contemporânea da Escola de Atenas, com filósofos reunidos em torno de computadores.

Filosofia · Lógica · Sistemas formais

Pensar a Filosofia
nos/e os limites da
Lógica.

Sou Kherian Gracher, professor e pesquisador em Filosofia.

LÓGICAS NÃO-CLÁSSICAS◆FILOSOFIA DA LÓGICA◆PARACONSISTÊNCIA◆PARACOMPLETUDE

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.

Conheça meu percurso →O que ensino →O que pesquiso →

Caderno de notas

Ideias em circulação

Ensaios breves sobre lógica, filosofia e ensino.

Filosofia da Lógica002

Negação paraconsistente é mesmo negação?

Um argumento de 1995 dizia que a lógica paraconsistente simplesmente não existe. A resposta mais interessante não é provar que ele está errado — é perguntar o que, afinal, conta como negação.

3 min de leituraLer nota →
Filosofia da Lógica001

Uma contradição paraconsistente é mesmo uma contradição?

Se a negação paraconsistente forma apenas subcontrárias, e não contradições propriamente ditas, o que sobra da ideia de que essas lógicas lidam com contradições verdadeiras? A resposta de Jonas Arenhart transforma o problema em outra coisa — e oferece um critério preciso para saber quando a estratégia funciona.

3 min de leituraLer nota →
1 / 2
Abrir o blog →

Contato & colaboração

Vamos continuar
a a conversa?

Para convites acadêmicos, pesquisa, orientação e projetos de divulgação.

kherian@ufpi.edu.br ↗