Harvey Friedman: Aristotle’s Logic Was Incomplete