Also found in: Thesaurus, Medical, Encyclopedia, Wikipedia.
Related to formal logic: symbolic logic
The study of the properties of deductive reasoning over propositions by abstraction and analysis of the form, rather than the content, of the propositions.
1. (Logic) Also called: symbolic logic the study of systems of deductive argument in which symbols are used to represent precisely defined categories of expressions. Compare philosophical logic
2. (Logic) a specific formal system that can be interpreted as representing a fragment of natural argument
Switch to new thesaurus
|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 validity|
Boolean 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