Ideas from 'The Limits of Contingency' by Gideon Rosen [2006], by Theme Structure

[found in 'Identity and Modality' (ed/tr MacBride,Fraser) [OUP 2006,0-19-928674-8]].

Click on the Idea Number for the full details    |     back to texts     |     expand these ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / c. Axiom of Pairing II
Pairing (with Extensionality) guarantees an infinity of sets, just from a single element
7. Existence / A. Nature of Existence / 3. Being / d. Non-being
A Meinongian principle might say that there is an object for any modest class of properties
10. Modality / A. Necessity / 5. Metaphysical Necessity
Metaphysical necessity is absolute and universal; metaphysical possibility is very tolerant
'Metaphysical' modality is the one that makes the necessity or contingency of laws of nature interesting
Sets, universals and aggregates may be metaphysically necessary in one sense, but not another
Standard Metaphysical Necessity: P holds wherever the actual form of the world holds
Non-Standard Metaphysical Necessity: when P is incompatible with the nature of things
10. Modality / A. Necessity / 6. Logical Necessity
Something may be necessary because of logic, but is that therefore a special sort of necessity?
10. Modality / B. Possibility / 3. Combinatorial possibility
Combinatorial theories of possibility assume the principles of combination don't change across worlds
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / a. Conceivable as possible
A proposition is 'correctly' conceivable if an ominiscient being could conceive it
26. Natural Theory / D. Laws of Nature / 4. Regularities / b. Best system theory
The MRL view says laws are the theorems of the simplest and strongest account of the world