12 ideas
9540 | A 'value-assignment' (V) is when to each variable in the set V assigns either the value 1 or the value 0 [Hughes/Cresswell] |
9541 | The Law of Transposition says (P→Q) → (¬Q→¬P) [Hughes/Cresswell] |
9543 | The rules preserve validity from the axioms, so no thesis negates any other thesis [Hughes/Cresswell] |
9544 | A system is 'weakly' complete if all wffs are derivable, and 'strongly' if theses are maximised [Hughes/Cresswell] |
3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
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] |