14 ideas
| 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] |
| 6871 | We can't only believe things if we are currently conscious of their justification - there are too many [Goldman] |
| 6872 | Internalism must cover Forgotten Evidence, which is no longer retrievable from memory [Goldman] |
| 6874 | Internal justification needs both mental stability and time to compute coherence [Goldman] |
| 6873 | Coherent justification seems to require retrieving all our beliefs simultaneously [Goldman] |
| 6875 | Reliability involves truth, and truth is external [Goldman] |
| 21733 | The right-wing conception of freedom is based on the idea of self-ownership [Cohen,GA] |
| 21739 | Plenty of people have self-ownership, but still lack autonomy [Cohen,GA] |
| 21734 | It is plausible that no one has an initial right to own land and natural resources [Cohen,GA] |
| 21736 | It is doubtful whether any private property was originally acquired legitimately [Cohen,GA] |
| 21735 | Every thing which is now private started out as unowned [Cohen,GA] |