In formal logic the drawing of inferences is frequently called ratiocination.
Reason abandons her efforts to mould the world, and is content to let the aims of individuals work out their results independently, only stepping in to lay down precepts for the cases where individual actions conflict, and to test these precepts by the rules of formal logic.
The merit of Hegel is to have indicated and to a large extent displayed the filiation and mutual limitation of our forms of thought; to have arranged them in the order of their comparative capacity to give a satisfactory expression to truth in the totality of its relations; and to have broken down the partition which in Kant separated the formal logic from the transcendental analytic, as well as the general disruption between logic and metaphysic. It must at the same time be admitted that much of the work of weaving the terms of thought, the categories, into a system has a hypothetical and tentative character, and that Hegel has rather pointed out the path which logic must follow, viz.
But we must first consider the mental analysis of inference, and this brings us to conceptual and formal logic.
The Prior A T h e Analytics then are concerned with a formal logic to niytics.