mathematical logic

See symbolic logic.

American Heritage® Dictionary of the English Language, Fifth Edition. Copyright © 2016 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company. All rights reserved.

mathematical 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

Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014

symbol′ic log′ic

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:

Noun

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

formal logic, symbolic logic

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

Mentioned in

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.

View in context

Some of Hilbert's problems remains unsolved, and some require formidable background and preparation to understand, say Murty and Fodden, but upper-level undergraduate mathematics students with just a basic introduction to elementary number theory and mathematical logic can understand the proof of his tenth problem.

Hilbert's Tenth Problem: An Introduction to Logic, Number Theory, and Computability

The team of researchers formulated a new mathematical logic, called Timed Quality Temporal Logic, and used it to test two popular machine-learning tools--Squeeze Det and YOLO--using raw video datasets of driving scenes.

Making self-driving cars safer on roads

And the need to understand the mathematical logic of probability is obvious.

Editor's Note: Why data journalism is struggling in Pakistan

Or having to kneel so I could enroll for the overbooked sociology class, wiping sweat before answering mathematical logic on the board while praying the 'Hail Mary' out loud, and writing in baybayin for a whole semester for papers in Philippine culture and studies.

Branded red

But mathematical logic shows that the even digits can only be placed in the second, fourth and sixth positions in six different ways, the 5 has to be placed in the fifth position, and the remaining two odd digits placed in the remaining positions.

discovery

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.

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

Fuzzy logic vs. neutrosophic logic: operations logic

It is believed that the mathematical theory R-functions proposed Rvachev V.L., originated at the crossroads of the classical methods of applied mathematics, cybernetics and methods of mathematical logic [3, 4].

An antology of the distinguished achievements in science and technique. Part 30: portrait of the Kharkov mathematician, mechanical engineer and cyberneticist Vladimir Logvinovich Rvachev

Wang, Introduction to Mathematical Logic and Resolution Principle, Science Press, Beijing, China, 2nd edition, 2006 (Chinese).

Characterizations of fuzzy ideals in coresiduated lattices