17 ideas
7914 | To try to be wise all on one's own is folly [Rochefoucauld] |
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] |
3016 | Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius] |
7118 | La Rochefoucauld's idea of disguised self-love implies an unconscious mind [Rochefoucauld, by Sartre] |
7912 | Judging by effects, love looks more like hatred than friendship [Rochefoucauld] |
7915 | Supreme cleverness is knowledge of the real value of things [Rochefoucauld] |
7917 | Realising our future misery is a kind of happiness [Rochefoucauld] |
7913 | Virtue doesn't go far without the support of vanity [Rochefoucauld] |
7916 | True friendship is even rarer than true love [Rochefoucauld] |
9299 | We are bored by people to whom we ourselves are boring [Rochefoucauld] |