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.
Caderno de notas
Ensaios breves sobre lógica, filosofia e ensino — escritos para abrir problemas, organizar conceitos e prolongar conversas.
Uma introdução às diferenças entre negação clássica, paraconsistente e paracompleta — e ao que muda quando elas convivem no mesmo sistema.
Paradoxos não são apenas curiosidades: eles expõem tensões entre conceitos, regras de inferência e expectativas teóricas.
Como apresentar a lógica como investigação de argumentos, linguagens e escolhas formais — não apenas como uma coleção de técnicas.
Sobre o caderno
Um espaço menos formal que um artigo, mas igualmente comprometido com distinções claras, bons argumentos e conversas abertas com leitores.