#brazilian-logic

¶ Newton da Costa and why paraconsistency has a Brazilian accent

Newton da Costa died in 2024, and I've wanted to write something about him for the forum since. For anyone outside Brazil: he built the first systematic paraconsistent logics, logics in which a theory can contain a contradiction without every statement becoming…