Combining Texts

Ideas for 'fragments/reports', 'Theory of Science (Wissenschaftslehre, 4 vols)' and 'Logological Fragments I'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

1 idea

7. Existence / C. Structure of Existence / 1. Grounding / c. Grounding and explanation
17265 Philosophical proofs in mathematics establish truths, and also show their grounds [Bolzano, by Correia/Schnieder]
     Full Idea: Mathematical proofs are philosophical in method if they do not only demonstrate that a certain mathematical truth holds but if they also disclose why it holds, that is, if they uncover its grounds.
     From: report of Bernard Bolzano (Theory of Science (Wissenschaftslehre, 4 vols) [1837]) by Correia,F/Schnieder,B - Grounding: an opinionated introduction 2.3
     A reaction: I aim to defend the role of explanation in mathematics, but this says that this is only if the proofs are 'philosophical', which may be of no interest to mathematicians. Oh well, that's their loss.