more from this thinker     |     more from this text


Single Idea 16862

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

Full Idea

Mathematics has closer ties with logic than does almost any other discipline; for almost the entire activity of the mathematician consists in drawing inferences.

Gist of Idea

The closest subject to logic is mathematics, which does little apart from drawing inferences

Source

Gottlob Frege (Logic in Mathematics [1914], p.203)

Book Ref

Frege,Gottlob: 'Posthumous Writings', ed/tr. Hermes/Long/White etc [Blackwell 1979], p.203


A Reaction

The interesting question is who is in charge - the mathematician or the logician?


The 8 ideas with the same theme [logic that is used in the practice of mathematics]:

Logic (the theory of relations) should be applied to mathematics [Novalis]
Does some mathematical reasoning (such as mathematical induction) not belong to logic? [Frege]
The closest subject to logic is mathematics, which does little apart from drawing inferences [Frege]
In modern times, logic has become mathematical, and mathematics has become logical [Russell]
Mathematical Logic is a non-numerical branch of mathematics, and the supreme science [Gödel]
Classical logic is deliberately extensional, in order to model mathematics [Fitting]
We should exclude second-order logic, precisely because it captures arithmetic [Read]
The model theory of classical predicate logic is mathematics [Beall/Restall]