# mathematical logic

(redirected from*Logic (symbolic)*)

Also found in: Thesaurus, Encyclopedia.

## mathematical logic

*n.*

See symbolic logic.

## mathematical logic

*n*

**1.**(Logic) symbolic logic, esp that branch concerned with the foundations of mathematics

**2.**(Mathematics) symbolic logic, esp that branch concerned with the foundations of mathematics

## symbol′ic log′ic

*n.*

a modern development of formal logic employing a special notation or symbolism capable of manipulation in accordance with precise rules. Also called

**mathematical logic.**ThesaurusAntonymsRelated WordsSynonyms

**Legend:**Switch to new thesaurus

Noun | 1. | mathematical 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, or visit the webmaster's page for free fun content.

Link to this page: