(Logic) A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressivepower of formal logics and the deductive power of formal proof systems.
Find another word for formal-logic. In this page you can discover 3 synonyms, antonyms, idiomatic expressions, and related words for formal-logic, like: material-logic, symbolic-logic and mathematical-logic.
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.