16 ideas
22026 | Philosophy is homesickness - the urge to be at home everywhere [Novalis] |
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] |
23651 | Universals are not objects of sense and cannot be imagined - but can be conceived [Reid] |
23650 | Only individuals exist [Reid] |
23649 | No one thinks two sheets possess a single whiteness, but all agree they are both white [Reid] |
11874 | Real identity admits of no degrees [Reid] |
19591 | Desire for perfection is an illness, if it turns against what is imperfect [Novalis] |
23652 | We must first conceive things before we can consider them [Reid] |
23648 | First we notice and name attributes ('abstracting'); then we notice that subjects share them ('generalising') [Reid] |