11 ideas
19463 | Induction assumes some uniformity in nature, or that in some respects the future is like the past [Ayer] |
8717 | Hilbert wanted to prove the consistency of all of mathematics (which realists take for granted) [Hilbert, by Friend] |
10113 | The grounding of mathematics is 'in the beginning was the sign' [Hilbert] |
10115 | Hilbert substituted a syntactic for a semantic account of consistency [Hilbert, by George/Velleman] |
10116 | Hilbert aimed to prove the consistency of mathematics finitely, to show infinities won't produce contradictions [Hilbert, by George/Velleman] |
19461 | Knowing I exist reveals nothing at all about my nature [Ayer] |
19459 | To say 'I am not thinking' must be false, but it might have been true, so it isn't self-contradictory [Ayer] |
19460 | 'I know I exist' has no counterevidence, so it may be meaningless [Ayer] |
19464 | We only discard a hypothesis after one failure if it appears likely to keep on failing [Ayer] |
19462 | Induction passes from particular facts to other particulars, or to general laws, non-deductively [Ayer] |
22818 | Liberals are not too individualistic, because people recognise and value social relations [Kymlicka] |