Newton Carneiro Affonso da Costa (who was born in the city of Curitiba in the state of Paraná 78 years ago, and is married with two sons and a daughter, as well as having two granddaughters) has more ...

From the standpoint of classical logic and mathematics, what’s bad about a contradiction is that it leads to absurdity Consistency, Emerson said, is the hobgoblin of little minds. Perhaps no one in ...

The field of theorem proving and higher‐order logic represents a confluence of computer science, mathematics and formal logic. It encompasses the automated and interactive approaches to establishing ...

While it is natural to assume that contradiction between alleged witness testimonies to some event disconfirms the event, this generalization is subject to important qualifications. I consider a ...