mathematical logic

(redirected from Logic (symbolic))
Also found in: Dictionary, Thesaurus.

mathematical logic:

see symbolic logicsymbolic logic
or mathematical logic,
formalized system of deductive logic, employing abstract symbols for the various aspects of natural language. Symbolic logic draws on the concepts and techniques of mathematics, notably set theory, and in turn has contributed to
..... Click the link for more information.
The Columbia Electronic Encyclopedia™ Copyright © 2013, Columbia University Press. Licensed from Columbia University Press. All rights reserved.
The following article is from The Great Soviet Encyclopedia (1979). It might be outdated or ideologically biased.

Mathematical Logic


a branch of logic that makes use of mathematical methods.

The use of formal languages with an exact syntax and precise semantics that unambiguously define the meaning of formulas is characteristic of mathematical logic. The need for such a logic arose in the early 20th century in connection with the intensive development of the foundations of mathematics, the emergence of set theory in which antinomies had been discovered, the refinement of the concept of an algorithm, as well as with other profound and fundamental problems of mathematical science. The importance of mathematical logic for science as a whole, however, is not exhausted by its mathematical applications, since all sciences require good reasoning and methods of proof. This is why mathematical logic can rightfully be called logic in its most recent development.


The Great Soviet Encyclopedia, 3rd Edition (1970-1979). © 2010 The Gale Group, Inc. All rights reserved.

mathematical logic

[¦math·ə¦mad·ə·kəl ′läj·ik]
The study of mathematical theories from the viewpoint of model theory, recursive function theory, proof theory, and set theory.
McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.