| formal logic n. The study of the properties of propositions and deductive reasoning by abstraction and analysis of the form rather than the content of propositions under consideration. |
formal logic
n
1. (Philosophy / Logic) the study of systems of deductive argument in which symbols are used to represent precisely defined categories of expressions Also called symbolic logic Compare philosophical logic
2. (Philosophy / Logic) a specific formal system that can be interpreted as representing a fragment of natural argument
ThesaurusLegend: Synonyms Related Words Antonyms
| Noun | 1. |  formal logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validityBoolean algebra, Boolean logic - a system of symbolic logic devised by George Boole; used in computers propositional calculus, propositional logic - a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them functional calculus, predicate calculus - a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) modal logic - a system of logic whose formal properties resemble certain moral and epistemological concepts fuzzy logic - a form of mathematical logic in which truth can assume a continuum of values between 0 and 1 |
Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.
| ?Page tools | ||
|---|---|---|
|