Combining Texts

All the ideas for 'fragments/reports', 'The Architecture of Mathematics' and 'On Platonism in Mathematics'

unexpand these ideas     |    start again     |     specify just one area for these texts


6 ideas

4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
Very few things in set theory remain valid in intuitionist mathematics [Bernays]
     Full Idea: Very few things in set theory remain valid in intuitionist mathematics.
     From: Paul Bernays (On Platonism in Mathematics [1934])
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
From the axiomatic point of view, mathematics is a storehouse of abstract structures [Bourbaki]
     Full Idea: From the axiomatic point of view, mathematics appears as a storehouse of abstract forms - the mathematical structures.
     From: Nicholas Bourbaki (The Architecture of Mathematics [1950], 221-32), quoted by Fraser MacBride - Review of Chihara's 'Structural Acc of Maths' p.79
     A reaction: This seems to be the culmination of the structuralist view that developed from Dedekind and Hilbert, and was further developed by philosophers in the 1990s.
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
Restricted Platonism is just an ideal projection of a domain of thought [Bernays]
     Full Idea: A restricted Platonism does not claim to be more than, so to speak, an ideal projection of a domain of thought.
     From: Paul Bernays (On Platonism in Mathematics [1934], p.261)
     A reaction: I have always found Platonism to be congenial when it talks of 'ideals', and ridiculous when it talks of a special form of 'existence'. Ideals only 'exist' because we idealise things. I may declare myself, after all, to be a Restricted Platonist.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Mathematical abstraction just goes in a different direction from logic [Bernays]
     Full Idea: Mathematical abstraction does not have a lesser degree than logical abstraction, but rather another direction.
     From: Paul Bernays (On Platonism in Mathematics [1934], p.268)
     A reaction: His point is that the logicists seem to think that if you increasingly abstract from mathematics, you end up with pure logic.
25. Social Practice / E. Policies / 5. Education / b. Education principles
Learned men gain more in one day than others do in a lifetime [Posidonius]
     Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes.
     From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078
     A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book.
27. Natural Reality / D. Time / 1. Nature of Time / d. Time as measure
Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus]
     Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness.
     From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42
     A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them.