8 ideas
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
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] |
15538 | Semantic indecision explains vagueness (if we have precisifications to be undecided about) [Lewis] |
15537 | If cats are vague, we deny that the many cats are one, or deny that the one cat is many [Lewis] |
15536 | We have one cloud, but many possible boundaries and aggregates for it [Lewis] |
15539 | Basic to pragmatics is taking a message in a way that makes sense of it [Lewis] |