[Aristotle formal logic thus far (1787)] has not been able to advance a single step, and hence is to all appearances closed and completed.