Combining Texts

All the ideas for 'On the Question of Absolute Undecidability', 'Vagueness: a global approach' and 'Chemistry'

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

27 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 / A. Overview of Logic / 6. Classical Logic
23548 Indeterminacy is in conflict with classical logic [Fine,K]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
23539 Classical semantics has referents for names, extensions for predicates, and T or F for sentences [Fine,K]
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 / C. Structure of Existence / 5. Supervenience / c. Significance of supervenience
17486 Supervenience is simply modally robust property co-variance [Hendry]
7. Existence / D. Theories of Reality / 10. Vagueness / a. Problem of vagueness
23540 Conjoining two indefinites by related sentences seems to produce a contradiction [Fine,K]
23546 Standardly vagueness involves borderline cases, and a higher standpoint from which they can be seen [Fine,K]
23544 Local indeterminacy concerns a single object, and global indeterminacy covers a range [Fine,K]
7. Existence / D. Theories of Reality / 10. Vagueness / c. Vagueness as ignorance
23542 Identifying vagueness with ignorance is the common mistake of confusing symptoms with cause [Fine,K]
7. Existence / D. Theories of Reality / 10. Vagueness / f. Supervaluation for vagueness
23541 Supervaluation can give no answer to 'who is the last bald man' [Fine,K]
9. Objects / B. Unity of Objects / 3. Unity Problems / e. Vague objects
23545 We do not have an intelligible concept of a borderline case [Fine,K]
14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence
17481 Nuclear charge (plus laws) explains electron structure and spectrum, but not vice versa [Hendry]
16. Persons / D. Continuity of the Self / 2. Mental Continuity / b. Self as mental continuity
23547 It seems absurd that there is no identity of any kind between two objects which involve survival [Fine,K]
26. Natural Theory / B. Natural Kinds / 2. Defining Kinds
17478 Maybe two kinds are the same if there is no change of entropy on isothermal mixing [Hendry]
26. Natural Theory / D. Laws of Nature / 4. Regularities / a. Regularity theory
23543 We identify laws with regularities because we mistakenly identify causes with their symptoms [Fine,K]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / a. Scientific essentialism
17484 Maybe the nature of water is macroscopic, and not in the microstructure [Hendry]
17479 The nature of an element must survive chemical change, so it is the nucleus, not the electrons [Hendry]
17485 Maybe water is the smallest part of it that still counts as water (which is H2O molecules) [Hendry]
27. Natural Reality / F. Chemistry / 1. Chemistry
17482 Compounds can differ with the same collection of atoms, so structure matters too [Hendry]
17483 Water continuously changes, with new groupings of molecules [Hendry]
27. Natural Reality / F. Chemistry / 2. Modern Elements
17476 Elements survive chemical change, and are tracked to explain direction and properties [Hendry]
17477 Defining elements by atomic number allowed atoms of an element to have different masses [Hendry]
27. Natural Reality / F. Chemistry / 3. Periodic Table
17480 Generally it is nuclear charge (not nuclear mass) which determines behaviour [Hendry]