Leibniz’s Logicism and Its Aristotelian Ancestry