15 ideas
| 19463 | Induction assumes some uniformity in nature, or that in some respects the future is like the past [Ayer] |
| 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] |
| 19461 | Knowing I exist reveals nothing at all about my nature [Ayer] |
| 19459 | To say 'I am not thinking' must be false, but it might have been true, so it isn't self-contradictory [Ayer] |
| 19460 | 'I know I exist' has no counterevidence, so it may be meaningless [Ayer] |
| 19464 | We only discard a hypothesis after one failure if it appears likely to keep on failing [Ayer] |
| 19462 | Induction passes from particular facts to other particulars, or to general laws, non-deductively [Ayer] |
| 7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |