Aristotle’s Logicism