#predicate-logic

⇄ Logic is the one part of philosophy that settles questions, and the rest should take note

People like to say that philosophy never makes progress, that we're still arguing about the same questions as Plato. Logic is the counterexample. For two thousand years, Aristotle's syllogistic could not handle inferences involving relations. "Every horse is an animal, so every…