mathematical logic


Also found in: Dictionary, Thesaurus, Wikipedia.

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.
.

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.

A. A. MARKOV

mathematical logic

[¦math·ə¦mad·ə·kəl ′läj·ik]
(mathematics)
The study of mathematical theories from the viewpoint of model theory, recursive function theory, proof theory, and set theory.
References in periodicals archive ?
mathematical logic, cognitive and perceptual psychology, computation theory, neuroanatomy, the philosophy of mind, information theory, and linguistics, among others), states Douglas Hofstadter (cognitive science and comparative literature, Indiana U.
Other theorists regard musical space as a metaphor, a means for explaining the relationships found in music without attempting to suggest that these relationships were preordained by a mathematical logic.
But while that may seem to confirm the pessimistic view that any attempts to interfere with human nature are naive and challenge the mathematical logic of the codes, it seems not everyone was entirely convinced.
Yet behind their mystery lies solid mathematical logic which will always help you to find the answer.
The reasoning is less grounded in mathematical logic while it is much more concerned with the empirical and inductive description of specific market configurations.
Each procedure chapter reviews the mathematical logic on which the statistical test is based and the basic tools necessary for comprehending the literature published in the statistics journals.
It is an impossible comparison to make and, moreover, it is an argument that defies simple mathematical logic.
Relationship between variable parameters and the original introduced through mathematical logic relations.
Cohen succeeds in showing that this rhetoric of humility has roots in the hopes of George Boole (1815-1864) and Augustus De Morgan (1806-1871) to use mathematical logic in the service of true religion.
They have become the Arsenal of the Championship; joyful to watch and capable of creating the kind of triangles that defy mathematical logic.
But from the point of pure logic--and also taking into consideration the fact that logical formulae and logical concepts do not themselves evolve--there is a constancy in logic, both in mathematical logic and formal logic and one can make a logical criticism of the prevalent understanding of evolution based on reductionism.

Full browser ?