20 ideas
| 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] |
| 5806 | Belief is the power of metarepresentation [Dretske] |
| 5801 | A mouse hearing a piano played does not believe it, because it lacks concepts and understanding [Dretske] |
| 8830 | A belief can be justified when the person has forgotten the evidence for it [Goldman] |
| 8832 | If justified beliefs are well-formed beliefs, then animals and young children have them [Goldman] |
| 8829 | Justification depends on the reliability of its cause, where reliable processes tend to produce truth [Goldman] |
| 5802 | Representations are in the head, but their content is not, as stories don't exist in their books [Dretske] |
| 5809 | Some activities are performed better without consciousness of them [Dretske] |
| 5808 | Qualia are just the properties objects are represented as having [Dretske] |
| 5803 | In a representational theory of mind, introspection is displaced perception [Dretske] |
| 5807 | Introspection is the same as the experience one is introspecting [Dretske] |
| 8831 | Introspection is really retrospection; my pain is justified by a brief causal history [Goldman] |
| 5805 | Introspection does not involve looking inwards [Dretske] |
| 5804 | A representational theory of the mind is an externalist theory of the mind [Dretske] |
| 5800 | All mental facts are representation, which consists of informational functions [Dretske] |
| 17968 | By digging deeper into the axioms we approach the essence of sciences, and unity of knowedge [Hilbert] |