Combining Texts

All the ideas for 'On the Question of Absolute Undecidability', 'Models' and 'The Emergence of Probability'

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

21 ideas

1. Philosophy / C. History of Philosophy / 4. Later European Philosophy / b. Seventeenth century philosophy
7454 Gassendi is the first great empiricist philosopher [Hacking]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
17884 Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner]
17893 'Reflection principles' say the whole truth about sets can't be captured [Koellner]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
17894 We have no argument to show a statement is absolutely undecidable [Koellner]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
17890 There are at least eleven types of large cardinal, of increasing logical strength [Koellner]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic
17887 PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
17891 Arithmetical undecidability is always settled at the next stage up [Koellner]
10. Modality / B. Possibility / 6. Probability
7447 Probability was fully explained between 1654 and 1812 [Hacking]
7448 Probability is statistical (behaviour of chance devices) or epistemological (belief based on evidence) [Hacking]
7449 Epistemological probability based either on logical implications or coherent judgments [Hacking]
13. Knowledge Criteria / B. Internal Justification / 3. Evidentialism / a. Evidence
7450 In the medieval view, only deduction counted as true evidence [Hacking]
7451 Formerly evidence came from people; the new idea was that things provided evidence [Hacking]
14. Science / A. Basis of Science / 3. Experiment
7452 An experiment is a test, or an adventure, or a diagnosis, or a dissection [Hacking, by PG]
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 / a. Types of explanation
7459 Follow maths for necessary truths, and jurisprudence for contingent truths [Hacking]
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]