16 ideas
| 10801 | Either reference really matters, or we don't need to replace it with substitutions [Quine] |
| 15086 | Absolute necessity might be achievable either logically or metaphysically [Hale] |
| 8261 | Maybe not-p is logically possible, but p is metaphysically necessary, so the latter is not absolute [Hale] |
| 15081 | A strong necessity entails a weaker one, but not conversely; possibilities go the other way [Hale] |
| 15080 | 'Relative' necessity is just a logical consequence of some statements ('strong' if they are all true) [Hale] |
| 15082 | Metaphysical necessity says there is no possibility of falsehood [Hale] |
| 15085 | 'Broadly' logical necessities are derived (in a structure) entirely from the concepts [Hale] |
| 15088 | Logical necessities are true in virtue of the nature of all logical concepts [Hale] |
| 15087 | Conceptual necessities are made true by all concepts [Hale] |
| 17499 | Theoretical models can represent, by mapping onto the data-models [Portides] |
| 17498 | In the 'received view' models are formal; the 'semantic view' emphasises representation [Portides, by PG] |
| 17501 | Representational success in models depends on success of their explanations [Portides] |
| 17502 | The best model of the atomic nucleus is the one which explains the most results [Portides] |
| 17496 | 'Model' belongs in a family of concepts, with representation, idealisation and abstraction [Portides] |
| 17497 | Models are theory-driven, or phenomenological (more empirical and specific) [Portides] |
| 17500 | General theories may be too abstract to actually explain the mechanisms [Portides] |