14 ideas
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] |
19743 | A notebook counts as memory, if is available to consciousness and guides our actions [Clark/Chalmers] |
6176 | A mechanism can count as 'cognitive' whether it is in the brain or outside it [Clark/Chalmers, by Rowlands] |
19741 | If something in the world could equally have been a mental process, it is part of our cognition [Clark/Chalmers] |
19742 | Consciousness may not extend beyond the head, but cognition need not be conscious [Clark/Chalmers] |
19744 | If a person relies on their notes, those notes are parted of the extended system which is the person [Clark/Chalmers] |
467 | A virtue is a combination of intelligence, strength and luck [Ion] |