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.

Lógica004

Três Modos de Negar

A negação clássica exige que uma proposição e sua negação nunca sejam ambas verdadeiras, nem ambas falsas. Bastou relaxar uma dessas exigências, e não a outra, para nascerem duas famílias inteiras de lógicas: a paraconsistente e a paracompleta. Anos depois, da Costa tentou unir as duas num único sistema, sem perder a lógica clássica. Como cada uma dessas construções funciona é o que esta nota apresenta.

4 min de leituraLer nota →
Filosofia da Lógica003

A proposição não muda. O conectivo, sim.

Nos sistemas de da Costa, uma proposição pode ser bem ou mal comportada, e isso decide como sua negação vai se comportar. Defendo a posição oposta: a proposição nunca muda — o que muda é qual conectivo de negação, entre o clássico, o paracompleto e o paraconsistente, escolhemos aplicar a ela.

3 min de leituraLer nota →
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 / 4
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 ↗