structure for 'Theory of Logic'    |     alphabetical list of themes    |     expand these ideas

5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics

[logic that is used in the practice of mathematics]

8 ideas
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]