Combining Texts

All the ideas for 'On the Question of Absolute Undecidability', 'The Disorder of Things' and 'Law and Causality'

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


28 ideas

4. Formal Logic / F. Set Theory ST / 1. Set Theory
Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner]
'Reflection principles' say the whole truth about sets can't be captured [Koellner]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
We have no argument to show a statement is absolutely undecidable [Koellner]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
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
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
Arithmetical undecidability is always settled at the next stage up [Koellner]
7. Existence / E. Categories / 1. Categories
All descriptive language is classificatory [Dupré]
7. Existence / E. Categories / 2. Categorisation
We should aim for a classification which tells us as much as possible about the object [Dupré]
9. Objects / D. Essence of Objects / 8. Essence as Explanatory
Natural kinds don't need essentialism to be explanatory [Dupré]
9. Objects / D. Essence of Objects / 10. Essence as Species
A species might have its essential genetic mechanism replaced by a new one [Dupré]
It seems that species lack essential properties, so they can't be natural kinds [Dupré]
10. Modality / B. Possibility / 8. Conditionals / d. Non-truthfunction conditionals
Ramsey's Test: believe the consequent if you believe the antecedent [Ramsey, by Read]
10. Modality / B. Possibility / 8. Conditionals / e. Supposition conditionals
Asking 'If p, will q?' when p is uncertain, then first add p hypothetically to your knowledge [Ramsey]
14. Science / A. Basis of Science / 4. Prediction
The possibility of prediction rests on determinism [Dupré]
14. Science / B. Scientific Theories / 8. Ramsey Sentences
Mental terms can be replaced in a sentence by a variable and an existential quantifier [Ramsey]
18. Thought / C. Content / 5. Twin Earth
Presumably molecular structure seems important because we never have the Twin Earth experience [Dupré]
26. Natural Theory / B. Natural Kinds / 1. Natural Kinds
Phylogenetics involves history, and cladism rests species on splits in lineage [Dupré]
Kinds don't do anything (including evolve) because they are abstract [Dupré]
26. Natural Theory / B. Natural Kinds / 7. Critique of Kinds
Cooks, unlike scientists, distinguish garlic from onions [Dupré]
Natural kinds are decided entirely by the intentions of our classification [Dupré]
Borders between species are much less clear in vegetables than among animals [Dupré]
Even atoms of an element differ, in the energy levels of their electrons [Dupré]
Ecologists favour classifying by niche, even though that can clash with genealogy [Dupré]
Wales may count as fish [Dupré]
26. Natural Theory / D. Laws of Nature / 4. Regularities / b. Best system theory
All knowledge needs systematizing, and the axioms would be the laws of nature [Ramsey]
Causal laws result from the simplest axioms of a complete deductive system [Ramsey]
27. Natural Reality / G. Biology / 5. Species
Species are the lowest-level classification in biology [Dupré]
The theory of evolution is mainly about species [Dupré]