14 ideas
| 8956 | What is a singleton set, if a set is meant to be a collection of objects? [Szabó] |
| 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] |
| 8953 | Abstract entities don't depend on their concrete entities ...but maybe on the totality of concrete things [Szabó] |
| 7458 | The reliability of witnesses depends on whether they benefit from their observations [Laplace, by Hacking] |
| 8954 | Geometrical circles cannot identify a circular paint patch, presumably because they lack something [Szabó] |
| 3441 | If a supreme intellect knew all atoms and movements, it could know all of the past and the future [Laplace] |
| 8955 | Abstractions are imperceptible, non-causal, and non-spatiotemporal (the third explaining the others) [Szabó] |