formal logic

Noun

Meaning

any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

Source: WordNet

Synonyms

mathematical logic symbolic logic logic Boolean algebra aristotelianism Aristotelian logic propositional logic classical logic predicate logic first-order logic term logic deductive inference logic symbol connective symbol deductive methods
Show all synonyms

Antonyms

informal logic common-sense logic intuitive logic natural logic non-formal logic

Hypernyms

logic logical system system of logic

Hyponyms

Boolean algebra Boolean logic modal logic fuzzy logic propositional calculus predicate calculus

Examples

By abstaining from all definite content, whether as formal logic and theory of science or as the legend of Being beyond all beings, philosophy declared its bankruptcy regarding concrete social goals. Theodor Adorno

Adherents of formal logic may be compared to a maker of porcelain dishes who would contend that he was simply paying attention to the form of his dishes, pots, and vases, but that he did not have anything to do with the raw material. Joseph Dietzgen

Formal logic and the logical syllogism encapsulate connectedness in reasoning. Marshall McLuhan

In life two negatives don't make a positive. Double negatives turn positive only in math and formal logic. In life things just get worse and worse and worse. Robert McKee

I am inclined to doubt that anything very resembling formal logic could be a good model for human reasoning. Marvin Minsky

Hodges, W: "A Shorter Model Theory", page 182. CUP, 1997 Using these methods, he found a way of using formal logic to show that there are self-consistent nonstandard models of the real number system that include infinite and infinitesimal numbers. Source: Internet

Close letter words and terms

formal leave formal letter formal liturgy formal meal formal name formal negotiations