Single Idea 16863

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

Full Idea

Are there perhaps modes of inference peculiar to mathematics which …do not belong to logic? Here one may point to inference by mathematical induction from n to n+1.

Gist of Idea

Does some mathematical reasoning (such as mathematical induction) not belong to logic?

Source

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

Book Reference

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


A Reaction

He replies that it looks as if induction can be reduced to general laws, and those can be reduced to logic.