13 ideas
13418 | The old problems with the axiom of choice are probably better ascribed to the law of excluded middle [Parsons,C] |
14212 | A consistent theory just needs one model; isomorphic versions will do too, and large domains provide those [Lewis] |
13419 | If functions are transfinite objects, finitists can have no conception of them [Parsons,C] |
14213 | Anti-realists see the world as imaginary, or lacking joints, or beyond reference, or beyond truth [Lewis] |
13417 | If a mathematical structure is rejected from a physical theory, it retains its mathematical status [Parsons,C] |
14210 | A gerrymandered mereological sum can be a mess, but still have natural joints [Lewis] |
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] |
6613 | The natural kinds are objects, processes and properties/relations [Ellis] |
6616 | Least action is not a causal law, but a 'global law', describing a global essence [Ellis] |
6615 | A species requires a genus, and its essence includes the essence of the genus [Ellis] |
6614 | A hierarchy of natural kinds is elaborate ontology, but needed to explain natural laws [Ellis] |
6612 | Without general principles, we couldn't predict the behaviour of dispositional properties [Ellis] |