Concept tag
#history-of-logic
-
Boole, not Frege, deserves to be called the father of modern logic
I'll declare my bias at the start: George Boole was professor of mathematics at Queen's College here in Cork from 1849 until his death in 1864. There's a plaque. I walk past it. Philosophers tend to say that modern logic begins with…
Started by Siobhán KeaneReply first (no replies yet) -
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…
Started by Ana Clara Ferreira5 replies -
If syllogistic logic couldn’t handle relations, why did it last two thousand years?
Working inside predicate logic every day, I'm often reminded how much it can do that the syllogism can't. The textbook example (usually credited to De Morgan) is: all horses are animals, therefore every head of a horse is the head of an…
Started by Derek Hollis6 replies