6.1224 It also becomes clear why logic has been called the theory of forms and of inference.