Books on Amazon
Accessibility relation: can be restricted: for example, by the requirement that a possible world w from the accessible possible world u does not contain any individuals that do not also contain u. That is, that the one world is only a re-structured one of the other. This would e.g. contradict Lewis counterpart theory.
Definition weak centering/accessibility/Lewis/Bigelow/Pargetter: we will say that degrees of accessibility are weakly centered if no possible world is more accessible from a given possible world than this possible world itself. This is best satisfied with:
d(w, w) = 0.
N.B.: this ensures that some additional sentences will be true in all possible worlds, in addition to those guaranteed by the above axioms. These are derivable as theorems if we take the following axioms: A9 (reflexivity) and
A16. (B would > would g)> (b> g)
Everyday translation: no world can be more accessible to a world than this world is accessible to itself. This leaves open the possibility that some possible worlds have the accessibility "zero-distance" from the world w.
Definition strong centering/Lewis/Bigelow/Pargetter: (in the semantics for counterfactual conditionals): no possible world can be accessible from a given world as this world is accessible from itself. This is best satisfied:
If w is not equal to u, then either d(w, u) is undefined or d (w, u) > 0.
This semantic condition allows a completeness proof for the axiom system which we obtain by adding the axiom of the strong centering to the above axioms:
(a u b)> (a would > would b)
Counterfactual logic/Lewis/Bigelow/Pargetter: with these axioms, we get Lewis' favored counterfactual logic.
Modal logic/Axiom system/Bigelow/Pargetter: our system will be the one Lewis calls VW: V ": "variably strict", "W". "Weakly centered".
Accessibility Relation/Bigelow/Pargetter: Problem: we must restrict it, and for a proof of completeness for S5, we must show that it is reflexive, transitive, and symmetric.
S5/Canonical Model/Bigelow/Pargetter: does not only contain the Leibnizian necessity (truth in all worlds).
S5: is interesting because it allows a reductionist access to possible worlds.
Necessity: in the canonical model a proposition is necessarily true if it is true in all accessible possible worlds.
Possible worlds: when they are designed as the maximum consistent extensions of S5, they disintegrate into different equivalence classes. ((s) i.e. for each world there is an additional sentence describing an individual with possibly different descriptions which do not contradict the other sentences).
Equivalence classes/accessibility/Bigelow/Pargetter: within an equivalence class, all worlds are accessible to one another. But between equivalence classes there is no accessibility from one possible world to the other.
((s), then the maximum consistent extensions must be something other than I suspected, then an extension will modify all existing propositions and makes them incomparable with a subset of the previous consistent set).
Accessibility/canonical model/Bigelow/Pargetter: in a canonical model, not all possible worlds are accessible to one another. We show it this way:
Fa: (spelling: latin a) be an atomic sentence that can be added to the axioms of S5, or its negation, whereby the result being a maximally consistent set or world. With this, we are constructing a world where Fa is true. If it were accessible from all other worlds, MFa would be true in all possible worlds. But a proposition which is true in all worlds must be a theorem. But we know that Fa is not
Problem: R2 (universal substitution) would ensure that Mα would be true for every α, even if α = (b u ~ b).
Interpretation/Bigelow/Pargetter: if the intended interpretation of S5 is Leibnizean, as we hope ((s) necessity = truth in all worlds) then it follows that this intended interpretation of S5 is not captured by the canonical model.
Possible world/Bigelow/Pargetter: that supports what we want to show, namely that possible worlds are not sets of sentences.
Accessibility/Bigelow/Pargetter: ...and it also shows that the accessibility relation...
... which is relevant to alethic modal logic, is not an equivalence relation.
Logical truth/Bigelow/Pargetter: is truth in all possible worlds (pro Leibniz!) not merely truth in all accessible worlds?
Accessibility Relation/Accessibility/Bigelow/Pargetter: nevertheless, we do not believe that the accessibility relation supervenes to properties and relations of the first level of the possible worlds, but on higher level universes! Two worlds can be perfectly similar in terms of universals of the first level and still have different accessibility relations!
Humean World/Bigelow/Pargetter: is an example for the failure of the supervenience of the 1st level of the accessibility relation.
For example, "all Fs are Gs", whereby F and G are universals of the 1st level, and higher-level universals that supervene on them.
Contrafactual conditional: then also counterfactual conditionals should be valid like:
"If this thing had been an F, it would have been a G".
We would never be sure if it was a law, even if there were no exceptions. This uncertainty is reflected in uncertainty as to whether the contrafactual conditional is true.
Even if we live in a world with laws, we allow the possibility that this world is a Humean world. It might be that the generalization is correct, but without necessity.
The world would look the same in both cases.
Humean World/Bigelow/Pargetter: is, with respect to the actual world, precisely a world, which is the same, without laws. For other worlds there would be other Humean worlds.
Accessibility/Bigelow/Pargetter: nevertheless, there are strong reasons to believe in a supervenience of the accessibility relation on the contents of the world. This allows us to assume that the contents of the 1st level do not exhaust all the contents of the world.
Combinatorial theories. Therefore, must accept higher-level universals, and hence the property theory of the world's properties.
Universals/Natural Law/Bigelow/Pargetter: Higher-level universals are the key to laws._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution.
J. Bigelow, R. Pargetter
Science and Necessity Cambridge 1990