mathematical logic(redirected from Mathematical logician)
Also found in: Thesaurus, Encyclopedia.
Related to Mathematical logician: formal logic
See symbolic logic.
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
a modern development of formal logic employing a special notation or symbolism capable of manipulation in accordance with precise rules. Also called mathematical logic.
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 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