17 ideas
| 9208 | Philosophers with a new concept are like children with a new toy [Fine,K] |
| 17963 | The facts of geometry, arithmetic or statics order themselves into theories [Hilbert] |
| 17966 | Axioms must reveal their dependence (or not), and must be consistent [Hilbert] |
| 17967 | To decide some questions, we must study the essence of mathematical proof itself [Hilbert] |
| 17965 | The whole of Euclidean geometry derives from a basic equation and transformations [Hilbert] |
| 17964 | Number theory just needs calculation laws and rules for integers [Hilbert] |
| 9210 | Possible objects are abstract; actual concrete objects are possible; so abstract/concrete are compatible [Fine,K] |
| 9211 | A non-standard realism, with no privileged standpoint, might challenge its absoluteness or coherence [Fine,K] |
| 9202 | Objects, as well as sentences, can have logical form [Fine,K] |
| 9206 | We must distinguish between the identity or essence of an object, and its necessary features [Fine,K] |
| 9205 | The three basic types of necessity are metaphysical, natural and normative [Fine,K] |
| 9209 | Metaphysical necessity may be 'whatever the circumstance', or 'regardless of circumstances' [Fine,K] |
| 9200 | Empiricists suspect modal notions: either it happens or it doesn't; it is just regularities. [Fine,K] |
| 3570 | Maybe knowledge is belief which 'tracks' the truth [Nozick, by Williams,M] |
| 2748 | A true belief isn't knowledge if it would be believed even if false. It should 'track the truth' [Nozick, by Dancy,J] |
| 9207 | If sentence content is all worlds where it is true, all necessary truths have the same content! [Fine,K] |
| 17968 | By digging deeper into the axioms we approach the essence of sciences, and unity of knowedge [Hilbert] |