Single Idea 10035

[catalogued under 5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics]

Full Idea

'Mathematical Logic' is a precise and complete formulation of formal logic, and is both a section of mathematics covering classes, relations, symbols etc, and also a science prior to all others, with ideas and principles underlying all sciences.

Gist of Idea

Mathematical Logic is a non-numerical branch of mathematics, and the supreme science

Source

Kurt Gödel (Russell's Mathematical Logic [1944], p.447)

Book Reference

'Philosophy of Mathematics: readings (2nd)', ed/tr. Benacerraf/Putnam [CUP 1983], p.447


A Reaction

He cites Leibniz as the ancestor. In this database it is referred to as 'theory of logic', as 'mathematical' seems to be simply misleading. The principles of the subject are standardly applied to mathematical themes.