logic

(redirected from formal logic)
Also found in: Dictionary, Thesaurus, Medical, Encyclopedia, Wikipedia.
Related to formal logic: symbolic logic

logic

noun analytic, analytical, argument, art of controversy, art of disputation a, chain of reaaoning, cogent, common sense, course of argument, course of thought, deduction, dialectic, dialectical, explanation, good sense, inference, line of reasoning, logical reasoning, method of reasoning, philosophical, polemics, process of reasoning, ratiocination, rationalization, reason, reasoned, reasoning, science of reasoning, sense, sound judgment, sound reasoning, thought process, wisdom
Associated concepts: laws of logic, logical relevancy
See also: common sense, data, dialectic, ratiocination, reason
References in periodicals archive ?
Contrary to this, the expression meta- has never been a technical term in its own right, only as a prefix of some kind, for instance in formal logic, mathematics and linguistics.
The former were not concerned with the relation of formal logic to reality at all; logic to them was a system of rules for manipulating symbols.
* Improve SQL facilities making possible to negate a where clause if we keep in mind the formal logic rules [StackOverflow, 2016,]:
Although written in the language of formal logic including proofs of theorems, the book is written at a level intended to be accessible to high school students, and gives some space to gently introducing the concept and method of proofs.
It's an attractively compact, modest work in which ideas progress with a formal logic that helps the listener anticipate what is coming next.
Taking these tasks upon ourselves, we shall mention the case of the deontic systems or algebras, as a starting point in finding out a solution which, we think, will throw light upon the status of principles in formal logic toto genere.
One regularly-encountered issue in digital image quality is, of course, pixilation, whereby, because of whatever technological glitch, the formal logic of the digital image's underlying grid format comes through and distorts it.
The interest also shifted from formal logic (syllogisms) to semantical concerns.
The languages of formal logic are sufficient for studying the world-time parallel.
Invoking the Bergsonian notion of a pure perception that would extend beyond every form given to human comprehension, as well as the Deleuzian principle of subtraction which would suspend subjective relationality in favour of the machinic impersonality of the nonhuman, Bewes constructs the concept of freedom as a thought-perception liberated from the formal logic of shame.
For example, his 1990 National Medal of Science citation says, among other things, "the application of mathematical logic to computer programs that use commonsense knowledge and reasoning"; his Franklin Institute Award says: "key developments in the application of formal logic to common sense reasoning."

Full browser ?