13 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] |
1556 | By nature people are close to one another, but culture drives them apart [Hippias] |
23366 | We see nature's will in the ways all people are the same [Epictetus] |
23365 | If someone is weeping, you should sympathise and help, but not share his suffering [Epictetus] |
4022 | Epictetus says we should console others for misfortune, but not be moved by pity [Epictetus, by Taylor,C] |
23368 | Perhaps we should persuade culprits that their punishment is just? [Epictetus] |