mathematical logic

American  

noun

1. symbolic logic.

---

mathematical logic British  

noun

1. symbolic logic, esp that branch concerned with the foundations of mathematics

---

Etymology

Origin of mathematical logic

First recorded in 1855–60

Example Sentences

Yacob, Copernicus, and others had to challenge religious authorities in arguing for a truth based on reason, mathematical logic, and scientific observation.

From Textbooks • Jun. 15, 2022

With its combination of mathematical logic and empirical evidence, physics helps us overcome wishful thinking and other biases.

From Scientific American • Jul. 1, 2018

Initially, Ms. Rockburne was inspired by set theory, a branch of mathematical logic.

From New York Times • May 4, 2018

In the current MSC2010, for instance, the code 03 represents mathematical logic and foundations.

From Nature • Feb. 6, 2018

To secure a definition giving this result, without previously assuming that physical objects are composed of points, is an agreeable problem in mathematical logic.

From Mysticism and Logic and Other Essays by Russell, Bertrand