7 ideas
9224 | Proceduralism offers a version of logicism with no axioms, or objects, or ontological commitment [Fine,K] |
9222 | The objects and truths of mathematics are imperative procedures for their construction [Fine,K] |
9223 | My Proceduralism has one simple rule, and four complex rules [Fine,K] |
12695 | Epicurean atomists say body is sensible, to distinguish it from space. [Garber] |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
12705 | Epicurean atoms are distinguished by their extreme hardness [Garber] |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |