Combining Philosophers

All the ideas for Rescher,N/Oppenheim,P, Demetris Portides and Hilbert,D/Ackermann,W

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

9 ideas

4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC
17750 The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
12887 A whole must have one characteristic, an internal relation, and a structure [Rescher/Oppenheim]
14. Science / B. Scientific Theories / 7. Scientific Models
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]
14. Science / D. Explanation / 2. Types of Explanation / i. Explanations by mechanism
17500 General theories may be too abstract to actually explain the mechanisms [Portides]