Combining Texts

All the ideas for 'On the Question of Absolute Undecidability', 'The Disorder of Things' and 'Identity and Essence'

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

36 ideas

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]
7. Existence / E. Categories / 1. Categories
17377 All descriptive language is classificatory [Dupré]
7. Existence / E. Categories / 2. Categorisation
17376 We should aim for a classification which tells us as much as possible about the object [Dupré]
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
12132 Indiscernibility is a necessary and sufficient condition for identity [Brody]
9. Objects / A. Existence of Objects / 5. Individuation / e. Individuation by kind
15834 Brody bases sortal essentialism on properties required throughout something's existence [Brody, by Mackie,P]
9. Objects / C. Structure of Objects / 2. Hylomorphism / a. Hylomorphism
12140 Modern emphasis is on properties had essentially; traditional emphasis is on sort-defining properties [Brody]
9. Objects / D. Essence of Objects / 5. Essence as Kind
11895 A sortal essence is a property which once possessed always possessed [Brody, by Mackie,P]
12141 Maybe essential properties are those which determine a natural kind? [Brody]
9. Objects / D. Essence of Objects / 6. Essence as Unifier
12137 De re essentialism standardly says all possible objects identical with a have a's essential properties [Brody]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
12142 Essentially, a has P, always had P, must have had P, and has never had a future without P [Brody]
12143 An object having a property essentially is equivalent to its having it necessarily [Brody]
9. Objects / D. Essence of Objects / 8. Essence as Explanatory
17390 Natural kinds don't need essentialism to be explanatory [Dupré]
12144 Essentialism is justified if the essential properties of things explain their other properties [Brody]
9. Objects / D. Essence of Objects / 10. Essence as Species
17388 It seems that species lack essential properties, so they can't be natural kinds [Dupré]
17389 A species might have its essential genetic mechanism replaced by a new one [Dupré]
9. Objects / D. Essence of Objects / 12. Essential Parts
12139 Mereological essentialism says that every part that ensures the existence is essential [Brody]
9. Objects / E. Objects over Time / 12. Origin as Essential
12135 Interrupted objects have two first moments of existence, which could be two beginnings [Brody]
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
12130 a and b share all properties; so they share being-identical-with-a; so a = b [Brody]
10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
12138 Identity across possible worlds is prior to rigid designation [Brody]
14. Science / A. Basis of Science / 4. Prediction
17374 The possibility of prediction rests on determinism [Dupré]
18. Thought / C. Content / 5. Twin Earth
17378 Presumably molecular structure seems important because we never have the Twin Earth experience [Dupré]
26. Natural Theory / B. Natural Kinds / 1. Natural Kinds
17381 Phylogenetics involves history, and cladism rests species on splits in lineage [Dupré]
17385 Kinds don't do anything (including evolve) because they are abstract [Dupré]
26. Natural Theory / B. Natural Kinds / 7. Critique of Kinds
17375 Natural kinds are decided entirely by the intentions of our classification [Dupré]
17379 Borders between species are much less clear in vegetables than among animals [Dupré]
17384 Even atoms of an element differ, in the energy levels of their electrons [Dupré]
17387 Ecologists favour classifying by niche, even though that can clash with genealogy [Dupré]
17382 Cooks, unlike scientists, distinguish garlic from onions [Dupré]
17380 Wales may count as fish [Dupré]
27. Natural Reality / G. Biology / 5. Species
17383 Species are the lowest-level classification in biology [Dupré]
17386 The theory of evolution is mainly about species [Dupré]