16 ideas
14212 | A consistent theory just needs one model; isomorphic versions will do too, and large domains provide those [Lewis] |
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] |
5500 | Biologists see many organic levels, 'abstract' if seen from below, 'structural' if seen from above [Lycan] |
14213 | Anti-realists see the world as imaginary, or lacking joints, or beyond reference, or beyond truth [Lewis] |
14210 | A gerrymandered mereological sum can be a mess, but still have natural joints [Lewis] |
5494 | 'Lightning is electric discharge' and 'Phosphorus is Venus' are synthetic a posteriori identities [Lycan] |
5496 | Functionalism has three linked levels: physical, functional, and mental [Lycan] |
5499 | A mental state is a functional realisation of a brain state when it serves the purpose of the organism [Lycan] |
14215 | Causal theories of reference make errors in reference easy [Lewis] |
14209 | Descriptive theories remain part of the theory of reference (with seven mild modifications) [Lewis] |
5501 | People are trying to explain biological teleology in naturalistic causal terms [Lycan] |
17968 | By digging deeper into the axioms we approach the essence of sciences, and unity of knowedge [Hilbert] |