Lexic.us

Definition of Mathematical logic

1. Noun. Any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity.

Definition of Mathematical logic

1. Noun. (logic) A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power of formal proof systems. ¹

¹ Source: wiktionary.com

Lexicographical Neighbors of Mathematical Logic

Literary usage of Mathematical logic

Below you will find example usage of this term as found in modern and/or classical literature:

1. The Monist by Hegeler Institute (1915)
"In this third part, after a summary of his former two parts on the symbolism of mathematics, he compares mathematics with the new mathematical logic, ..."

2. Introduction to Philosophy: A Handbook for Students of Psychology, Logic by Oswald Külpe (1897)
"We would, nevertheless, call attention to the following arguments: (1) With a few entirely trivial exceptions, mathematical logic is a superfluity. ..."

3. Discussions on Philosophy and Literature, Education and University Reform by William Hamilton (1861)
"... it will be time enough to listen to any Cambridge disparagement of non-mathematical logic, when a bit of reasoning has issued from that University, ..."

4. Discussions on Philosophy and Literature, Education and University Reform by William Hamilton, Robert Turnbull (1853)
"... it will be time enough to listen to any Cambridge disparagement of non-mathematical logic, when a bit of reasoning has issued from that University, ..."

5. A History of Mathematics by Florian Cajori (1919)
"mathematical logic Summarizing the history of mathematical logic, PEB Jourdain says:* "In somewhat close connection with the work of Leibniz . . . stands ..."

6. The Algebra of Logic by Louis Couturat (1911)
"mathematical logic is a necessary preliminary to logical Mathematics. "Mathematical Logic" is the name given by PEANO to what is also known (after VENN) as ..."

Other Resources: