16 ideas
17990 | Instances of minimal truth miss out propositions inexpressible in current English [Hofweber] |
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] |
17988 | Quantification can't all be substitutional; some reference is obviously to objects [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] |
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] |
17989 | Since properties have properties, there can be a typed or a type-free theory of them [Hofweber] |
10004 | Our minds are at their best when reasoning about objects [Hofweber] |
17991 | Holism says language can't be translated; the expressibility hypothesis says everything can [Hofweber] |
7861 | Libet says the processes initiated in the cortex can still be consciously changed [Libet, by Papineau] |
6660 | Libet found conscious choice 0.2 secs before movement, well after unconscious 'readiness potential' [Libet, by Lowe] |