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ógica009

Sistemas KG e suas novidades

Os Sistemas KG não apenas hospedam as três negações — permitem perguntas que nenhum sistema anterior conseguia sequer formular. O que acontece quando duas negações diferentes se combinam numa mesma fórmula? Examino aqui as dezoito fórmulas de dupla negação que a família KG deixa testar, o Tetraedro Completo das Oposições que resulta delas, e a calculadora interativa onde o leitor confere tudo com as próprias mãos.

6 min de leituraLer nota →
Lógica008

Sistemas KG: uma introdução rápida

Nesta nota apresento os Sistemas KG, o projeto que desenvolvi no doutorado para tratar a negação clássica, a paraconsistente e a paracompleta como três conectivos primitivos — e não como efeitos colaterais de uma proposição bem ou mal comportada. Sintaxe, semântica e o método de prova por tableaux, com o cuidado que o tema pede.

11 min de leituraLer nota →
Lógica007

Haveria um sistema para tratar essas diferentes negações?

Entre os diferentes sistemas lógicos que vimos, N1 de da Costa é o único sistema capaz de hospedar as negações clássica, paraconsistente e paracompleta ao mesmo tempo. Mas hospedar não é o mesmo que relacionar. Mostro aqui que, assim que tentamos misturar essas negações numa mesma fórmula, N1 trava — e por que isso pede um sistema diferente.

6 min de leituraLer nota →
Filosofia da Lógica006

Negações e as Relações de Oposição

O lógico Jean-Yves Béziau defendeu, em 2003, uma tese ousada: as três relações do quadrado aristotélico — contradição, contrariedade, subcontrariedade — são, no fundo, três tipos de negação. Partindo dessa sugestão, mostramos como uma fórmula e suas negações clássica, paracompleta e paraconsistente se organizam numa figura que o quadrado, sozinho, não tem como desenhar: um tetraedro.

6 min de leituraLer nota →
Filosofia da Lógica005

O Quadrado das Oposições

Muito antes de existirem lógicas paraconsistentes ou paracompletas, Aristóteles já precisava explicar por que "algum aluno não passou" não contradiz "algum aluno passou". O quadrado das oposições nasceu dessa pergunta simples. Esta nota apresenta suas quatro proposições e suas quatro relações — e deixa uma pista sobre para onde elas vão nos levar.

5 min de leituraLer nota →
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 / 9
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 ↗