Coding With Fun
Home Docker Django Node.js Articles Python pip guide FAQ Policy

Is the definition of logic the same as formal logic?


Asked by Meredith Russo on Dec 07, 2021 FAQ



In many definitions of logic, logical inference and inference with purely formal content are the same. This does not render the notion of informal logic vacuous, because no formal logic captures all of the nuances of natural language.
Moreover,
formal logic. noun. : a system of logic (as Aristotelian logic or symbolic logic) that abstracts the forms of thought from its content to establish abstract criteria of consistency —contrasted with material logic.
In respect to this, Logic, used strictly in the singular, is a science that deals with the formal principles of reason. If a visitor walks in the house with wet hair, it is logical for one to assume that it is raining outside.
Consequently,
At its core, mathematical logic deals with mathematical concepts expressed using formal logical systems. These systems, though they differ in many details, share the common property of considering only expressions in a fixed formal language.
Similarly,
There are many subsets in the study of logic including informal logic, formal logic, symbolic logic, and mathematical logic. We will discuss each type of logic and when it is appropriately used.