Filosofia · Lógica · Sistemas formais
Sou Kherian Gracher, professor e pesquisador em Filosofia.
Perfil acadêmico
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
Ensaios breves sobre lógica, filosofia e ensino.
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.
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.
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.
Contato & colaboração
Para convites acadêmicos, pesquisa, orientação e projetos de divulgação.
kherian@ufpi.edu.br ↗