#logic-discovered-or-invented

⇄ Predicate logic was discovered, not invented

Is logic discovered or invented? I want to argue that predicate logic is the strongest evidence that it is discovered. Consider the inference: every horse is an animal, so every horse's head is an animal's head. People knew for two thousand years…