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] |
16007 | I assume existence, rather than reasoning towards it [Kierkegaard] |
16639 | Only individual bodies exist [Bacon] |
16033 | There are only individual bodies containing law-based powers, and the Forms are these laws [Bacon] |
16013 | Nothing necessary can come into existence, since it already 'is' [Kierkegaard] |
21950 | Science must clear away the idols of the mind if they are ever going to find the truth [Bacon] |