Combining Texts

All the ideas for 'On the Question of Absolute Undecidability', 'A World of States of Affairs' and 'The Metaphysic of Abstract Particulars'

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

25 ideas

3. Truth / C. Correspondence Truth / 1. Correspondence Truth
4742 Correspondence may be one-many or many one, as when either p or q make 'p or q' true [Armstrong]
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 / E. Structures of Logic / 6. Relations in Logic
8525 Relations need terms, so they must be second-order entities based on first-order tropes [Campbell,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 / B. Change in Existence / 4. Events / c. Reduction of events
8518 Events are trope-sequences, in which tropes replace one another [Campbell,K]
7. Existence / D. Theories of Reality / 7. Fictionalism
9497 Without modality, Armstrong falls back on fictionalism to support counterfactual laws [Bird on Armstrong]
8. Modes of Existence / B. Properties / 1. Nature of Properties
15550 Properties are contingently existing beings with multiple locations in space and time [Armstrong, by Lewis]
8. Modes of Existence / B. Properties / 13. Tropes / a. Nature of tropes
8513 Two red cloths are separate instances of redness, because you can dye one of them blue [Campbell,K]
8514 Red could only recur in a variety of objects if it was many, which makes them particulars [Campbell,K]
8522 Tropes solve the Companionship Difficulty, since the resemblance is only between abstract particulars [Campbell,K]
8523 Tropes solve the Imperfect Community problem, as they can only resemble in one respect [Campbell,K]
8524 Trope theory makes space central to reality, as tropes must have a shape and size [Campbell,K]
8. Modes of Existence / E. Nominalism / 2. Resemblance Nominalism
8521 Nominalism has the problem that without humans nothing would resemble anything else [Campbell,K]
9. Objects / A. Existence of Objects / 1. Physical Objects
8515 Tropes are basic particulars, so concrete particulars are collections of co-located tropes [Campbell,K]
8519 Bundles must be unique, so the Identity of Indiscernibles is a necessity - which it isn't! [Campbell,K]
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
4033 Two pure spheres in non-absolute space are identical but indiscernible [Campbell,K]
10. Modality / C. Sources of Modality / 1. Sources of Necessity
4743 The truth-maker for a truth must necessitate that truth [Armstrong]
18. Thought / E. Abstraction / 3. Abstracta by Ignoring
8512 Abstractions come before the mind by concentrating on a part of what is presented [Campbell,K]
26. Natural Theory / C. Causation / 8. Particular Causation / b. Causal relata
8517 Causal conditions are particular abstract instances of properties, which makes them tropes [Campbell,K]
8516 Davidson can't explain causation entirely by events, because conditions are also involved [Campbell,K]
26. Natural Theory / C. Causation / 9. General Causation / d. Causal necessity
4798 In recent writings, Armstrong makes a direct identification of necessitation with causation [Armstrong, by Psillos]