20 ideas
3798 | An overexamined life is as bad as an unexamined one [Dennett] |
3801 | Rationality requires the assumption that things are either for better or worse [Dennett] |
23623 | Predicativism says only predicated sets exist [Hossack] |
23624 | The iterative conception has to appropriate Replacement, to justify the ordinals [Hossack] |
23625 | Limitation of Size justifies Replacement, but then has to appropriate Power Set [Hossack] |
23628 | The connective 'and' can have an order-sensitive meaning, as 'and then' [Hossack] |
23627 | 'Before' and 'after' are not two relations, but one relation with two orders [Hossack] |
23626 | Transfinite ordinals are needed in proof theory, and for recursive functions and computability [Hossack] |
23621 | Numbers are properties, not sets (because numbers are magnitudes) [Hossack] |
23622 | We can only mentally construct potential infinities, but maths needs actual infinities [Hossack] |
3802 | Why pronounce impossible what you cannot imagine? [Dennett] |
3795 | Causal theories require the "right" sort of link (usually unspecified) [Dennett] |
7458 | The reliability of witnesses depends on whether they benefit from their observations [Laplace, by Hacking] |
3797 | I am the sum total of what I directly control [Dennett] |
3800 | You can be free even though force would have prevented you doing otherwise [Dennett, by PG] |
3803 | Can we conceive of a being with a will freer than our own? [Dennett] |
3791 | Awareness of thought is a step beyond awareness of the world [Dennett] |
3794 | Foreknowledge permits control [Dennett] |
3441 | If a supreme intellect knew all atoms and movements, it could know all of the past and the future [Laplace] |
3796 | The active self is a fiction created because we are ignorant of our motivations [Dennett] |