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