more from this thinker     |     more from this text

Single Idea 19597

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

Full Idea

Ought not logic, the theory of relations, be applied to mathematics?

Gist of Idea

Logic (the theory of relations) should be applied to mathematics

Source

Novalis (Logological Fragments II [1798], 38)

Book Ref

Novalis: 'Philosophical Writings', ed/tr. Stoljar,M.M. [SUNY 1997], p.162

A Reaction

Bolzano was 19 when his was written. I presume Novalis would have been excited by set theory (even though he was a hyper-romantic).

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

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]