16 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] |
| 10938 | The extremes of essentialism are that all properties are essential, or only very trivial ones [Rami] |
| 10940 | An 'individual essence' is possessed uniquely by a particular object [Rami] |
| 10939 | 'Sortal essentialism' says being a particular kind is what is essential [Rami] |
| 10934 | Unlosable properties are not the same as essential properties [Rami] |
| 10933 | Physical possibility is part of metaphysical possibility which is part of logical possibility [Rami] |
| 10932 | If it is possible 'for all I know' then it is 'epistemically possible' [Rami] |
| 5952 | Rather than being the whole soul, maybe I am its chief part? [Plutarch] |
| 5951 | If atoms have no qualities, they cannot possibly produce a mind [Plutarch] |
| 20796 | Action needs an affinity for a presentation, and an impulse toward the affinity [Plutarch] |
| 5948 | The good life involves social participation, loyalty, temperance and honesty [Plutarch] |
| 5950 | If only atoms exist, how do qualities arise when the atoms come together? [Plutarch] |
| 5955 | No one will ever find a city that lacks religious practices [Plutarch] |