Combining Philosophers

All the ideas for Anaxarchus, Demetris Portides and GE Hughes/M Cresswell

expand these ideas     |    start again     |     specify just one area for these philosophers


12 ideas

4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / b. Terminology of PL
A 'value-assignment' (V) is when to each variable in the set V assigns either the value 1 or the value 0 [Hughes/Cresswell]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / d. Basic theorems of PL
The Law of Transposition says (P→Q) → (¬Q→¬P) [Hughes/Cresswell]
4. Formal Logic / B. Propositional Logic PL / 4. Soundness of PL
The rules preserve validity from the axioms, so no thesis negates any other thesis [Hughes/Cresswell]
5. Theory of Logic / K. Features of Logics / 4. Completeness
A system is 'weakly' complete if all wffs are derivable, and 'strongly' if theses are maximised [Hughes/Cresswell]
13. Knowledge Criteria / D. Scepticism / 1. Scepticism
Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius]
14. Science / B. Scientific Theories / 7. Scientific Models
Theoretical models can represent, by mapping onto the data-models [Portides]
In the 'received view' models are formal; the 'semantic view' emphasises representation [Portides, by PG]
Representational success in models depends on success of their explanations [Portides]
The best model of the atomic nucleus is the one which explains the most results [Portides]
'Model' belongs in a family of concepts, with representation, idealisation and abstraction [Portides]
Models are theory-driven, or phenomenological (more empirical and specific) [Portides]
14. Science / D. Explanation / 2. Types of Explanation / i. Explanations by mechanism
General theories may be too abstract to actually explain the mechanisms [Portides]