10 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] |
304 | Beautiful things must be different from beauty itself, but beauty itself must be present in each of them [Plato] |
16120 | Knowing how to achieve immortality is pointless without the knowledge how to use immortality [Plato] |
303 | Say how many teeth the other has, then count them. If you are right, we will trust your other claims [Plato] |
16383 | Puzzled Pierre has two mental files about the same object [Recanati on Kripke] |
302 | What knowledge is required to live well? [Plato] |
301 | Only knowledge of some sort is good [Plato] |
305 | Something which lies midway between two evils is better than either of them [Plato] |