15 ideas
| 10001 | An adjective contributes semantically to a noun phrase [Hofweber] |
| 10007 | Quantifiers for domains and for inference come apart if there are no entities [Hofweber] |
| 10002 | '2 + 2 = 4' can be read as either singular or plural [Hofweber] |
| 9998 | What is the relation of number words as singular-terms, adjectives/determiners, and symbols? [Hofweber] |
| 13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
| 10003 | Why is arithmetic hard to learn, but then becomes easy? [Hofweber] |
| 10008 | Arithmetic is not about a domain of entities, as the quantifiers are purely inferential [Hofweber] |
| 10005 | Arithmetic doesn’t simply depend on objects, since it is true of fictional objects [Hofweber] |
| 10000 | We might eliminate adjectival numbers by analysing them into blocks of quantifiers [Hofweber] |
| 10006 | First-order logic captures the inferential relations of numbers, but not the semantics [Hofweber] |
| 12270 | Being is one [Melissus, by Aristotle] |
| 10004 | Our minds are at their best when reasoning about objects [Hofweber] |
| 3059 | There is no real motion, only the appearance of it [Melissus, by Diog. Laertius] |
| 5100 | The void is not required for change, because a plenum can alter in quality [Aristotle on Melissus] |
| 456 | Nothing could come out of nothing [Melissus] |