9 ideas
17990 | Instances of minimal truth miss out propositions inexpressible in current English [Hofweber] |
17988 | Quantification can't all be substitutional; some reference is obviously to objects [Hofweber] |
18253 | I wish to go straight from cardinals to reals (as ratios), leaving out the rationals [Frege] |
18166 | The loss of my Rule V seems to make foundations for arithmetic impossible [Frege] |
17989 | Since properties have properties, there can be a typed or a type-free theory of them [Hofweber] |
18269 | Logical objects are extensions of concepts, or ranges of values of functions [Frege] |
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] |