18 ideas
13373 | Typically, paradoxes are dealt with by dividing them into two groups, but the division is wrong [Priest,G] |
13368 | The 'least indefinable ordinal' is defined by that very phrase [Priest,G] |
13370 | 'x is a natural number definable in less than 19 words' leads to contradiction [Priest,G] |
13369 | By diagonalization we can define a real number that isn't in the definable set of reals [Priest,G] |
13366 | The least ordinal greater than the set of all ordinals is both one of them and not one of them [Priest,G] |
13367 | The next set up in the hierarchy of sets seems to be both a member and not a member of it [Priest,G] |
13371 | If you know that a sentence is not one of the known sentences, you know its truth [Priest,G] |
13372 | There are Liar Pairs, and Liar Chains, which fit the same pattern as the basic Liar [Priest,G] |
12215 | The existence of numbers is not a matter of identities, but of constituents of the world [Fine,K] |
12211 | It is plausible that x^2 = -1 had no solutions before complex numbers were 'introduced' [Fine,K] |
12209 | The indispensability argument shows that nature is non-numerical, not the denial of numbers [Fine,K] |
12214 | 'Exists' is a predicate, not a quantifier; 'electrons exist' is like 'electrons spin' [Fine,K] |
12212 | Just as we introduced complex numbers, so we introduced sums and temporal parts [Fine,K] |
12216 | Real objects are those which figure in the facts that constitute reality [Fine,K] |
12218 | Being real and being fundamental are separate; Thales's water might be real and divisible [Fine,K] |
12217 | For ontology we need, not internal or external views, but a view from outside reality [Fine,K] |
12213 | Ontological claims are often universal, and not a matter of existential quantification [Fine,K] |
7845 | When we need to do something, we depute an inner servant to remind us of it [Proust] |