mathematical logic


Also found in: Thesaurus, Encyclopedia, Wikipedia.

mathematical 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 WordsSynonymsLegend:
Noun1.mathematical logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validitymathematical logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
logical system, system of logic, logic - a system of reasoning
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
References in classic literature ?
If there is to be parallelism, it is easy to prove by mathematical logic that the causation in physical and psychical matters must be of the same sort, and it is impossible that mnemic causation should exist in psychology but not in physics.
By using a minimum of mathematical logic in a well-motivated way, "Reverse Mathematics" will engage advanced undergraduates and all mathematicians interested in the foundations of mathematics.
There is no doubt in the fact that the mathematical logic as an intellectual practice has not been far from contemplation and the philosophical discourse, and disconnecting it from philosophy seems to be more of a systematic disconnection than a real one, because throughout the history of philosophy, the philosophers and what they have built as intellectual landmark, closed or opened, is standing on a logical foundation even if it did not come out as a symbolic mathematical logic.
The project may be viewed as a contribution to this renaissance since it will make essential use of tools from philosophical and mathematical logic.
Wang, Introduction to Mathematical Logic and Resolution Principle, Science Press, Beijing, China, 2nd edition, 2006 (Chinese).
However, this method requires special knowledge on mathematical logic and most of the deductions are tricky.
originated at the crossroads of the classical methods of applied mathematics, cybernetics and methods of mathematical logic [3, 4].
We are one with it, and though we may be erratic in our moods, the tides of our blood and the processes of our being may be expressed in mathematical logic.
As Martinez is also Argentinian, and has a PhD in mathematical logic, he is uniquely qualified to undergo this task.
The titular connectives are 'and', 'or', 'if, and 'not'; each is studied extensively using the tools of modern mathematical logic.
Over the course of her long career, Carmen Herrera has filled thousands of sheets of tracing paper, drawing innumerable variations based on mathematical logic.
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof.

Full browser ?