Combining Texts

All the ideas for 'On the Question of Absolute Undecidability', 'The Barcan Formula and Metaphysics' and 'Dispositions and Powers'

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


25 ideas

4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
The Barcan Formulas express how to combine modal operators with classical quantifiers [Simchen]
The Barcan Formulas are orthodox, but clash with the attractive Actualist view [Simchen]
BF implies that if W possibly had a child, then something is possibly W's child [Simchen]
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]
8. Modes of Existence / B. Properties / 1. Nature of Properties
Humeans see properties as having no more essential features and relations than their distinctness [Friend/Kimpton-Nye, by PG]
Dispositions are what individuate properties, and they constitute their essence [Friend/Kimpton-Nye]
8. Modes of Existence / C. Powers and Dispositions / 1. Powers
Powers are properties which necessitate dispositions [Friend/Kimpton-Nye]
8. Modes of Existence / C. Powers and Dispositions / 2. Powers as Basic
Dispositional essentialism (unlike the grounding view) says only fundamental properties are powers [Friend/Kimpton-Nye]
8. Modes of Existence / C. Powers and Dispositions / 4. Powers as Essence
A power is a property which consists entirely of dispositions [Friend/Kimpton-Nye]
Powers are qualitative properties which fully ground dispositions [Friend/Kimpton-Nye]
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / a. Dispositions
Dispositions have directed behaviour which occurs if triggered [Friend/Kimpton-Nye]
'Masked' dispositions fail to react because something intervenes [Friend/Kimpton-Nye]
A disposition is 'altered' when the stimulus reverses the disposition [Friend/Kimpton-Nye]
A disposition is 'mimicked' if a different cause produces that effect from that stimulus [Friend/Kimpton-Nye]
A 'trick' can look like a stimulus for a disposition which will happen without it [Friend/Kimpton-Nye]
Some dispositions manifest themselves without a stimulus [Friend/Kimpton-Nye]
We could analyse dispositions as 'possibilities', with no mention of a stimulus [Friend/Kimpton-Nye]
10. Modality / E. Possible worlds / 1. Possible Worlds / d. Possible worlds actualism
Serious Actualism says there are no facts at all about something which doesn't exist [Simchen]
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
Dispositionalism says modality is in the powers of this world, not outsourced to possible worlds [Friend/Kimpton-Nye]
26. Natural Theory / D. Laws of Nature / 7. Strictness of Laws
Hume's Dictum says no connections are necessary - so mass and spacetime warping could separate [Friend/Kimpton-Nye]