The counterfactual proposed by Lewis, is closely related to ceteris paribus conditionality, and as such is not fundamentally different from the logics C and C+ discussed earlier. The
difference lies in how the ceteris paribus clause is explained. It is evident from the passage below, that the kind of strict conditional Lewis has in mind is effectively based on
accessibility that satisfies certain ceteris paribus constrains, which he then suggests are best expressed in terms of comparative similarity of worlds.
Counterfactuals are related to a kind of strict conditional based on comparative similarity of possible worlds. A counterfactual ๐ > ๐ is true at a world w if and only if ๐ holds at certain ๐-worlds; but certainly not all ๐-worlds matter. โIf kangaroos had no tails, they would topple overโ is true (or false, as the case may be) at our world, quite without regard to those possible worlds where kangaroos walk around on crutches, and stay upright that way. Those worlds are too far away from ours. What is meant by the counterfactual is that, things being pretty much as they are โthe scarcity of crutches for kangaroos being pretty much as it actually is, and so on โ if kangaroos had no tails they would topple over. Lewis (1973, pp.8-9)
Lewis also observes that in our consideration regarding what kind of restricted necessity should underlie the strict conditional that best captures counterfactual reasoning, aside from ruling out worlds that are grossly dissimilar from the actual world (e.g. where tailless kangaroos use crutches to stay upright), we also must avoid deeming as accessible worlds that are too similar (or at least be careful when doing so). For if we include into the
accessibility sphere worlds where kangaroos have no tails, but otherwise everything else is exactly the same as the actual world, then kangaroos despite being tailless would
nevertheless leave tail tracks in the sand, and their genetic make-up, being as it actually is, would nevertheless somehow still code for different phenotypical traits (absence of tail). Lewis concludes that counterfactuals are apparently based on a strict conditional
corresponding to an accessibility assignment determined by an overall similarity of worlds, where respects of difference and respects of similarity are โsomehowโ balanced off against each other.
In the light of this, letโs consider again our earlier example of tailless-kangaroos necessity. It is clear from the above concerns regarding the intended notion of comparative similarity of worlds that the strict conditional โก๐พ(๐พ โ ๐) would fall short of being the adequate model for
the evaluation of the counterfactual โIf Kangaroos had no tails, they would Topple overโ. This inadequacy stems from the fact that the restriction corresponding to โก๐พ, namely [๐พ]โณ0, includes all possible ๐พ-worlds, and as such it may include worlds that have just been argued to be โtoo farโ to be regarded as relevant to the evaluation of the counterfactual in question.
What we require, is a restriction that meets the similarity criteria that Lewis has in mind. That is, we are interested in ๐ โ โ corresponding to an accessibility restriction ๐๐ค๐ โ ๐ฎโณ0
determined by an overall similarity of worlds such that ๐๐ค๐ โฉ [๐พ]โณ0 doesnโt contain worlds
where kangaroos manage to stay upright with the aid of crutches, or worlds where kangaroos leave a tail track behind in the sand as they actually do (despite their taillessness). That is, all ๐พ-worlds in ๐๐ค๐ are sufficiently similar to ๐ค to count as relevant in the evaluation of the
counterfactual with antecedent ๐พ at ๐ค. Then the strict conditional โก๐ (๐พ โ ๐) would meet the accessibility assignment requirement as determined by an overall similarity of worlds in the manner intended by Lewis. Itโs apparent that Lewis intends there to be a fitting restriction ๐ โ โ of this kind in general, for any antecedent ๐ด โ ๐น๐๐ of any strict conditional based on
This would yield the following account of the counterfactual when considered as a single strict conditional based on the comparative similarity of worlds, i.e. the intended model truth conditions for the counterfactual in terms of a single strict conditional based on the
comparative similarity of worlds are as follows:
Definition 2.12: The counterfactual โIf ๐ด, then ๐ตโ is true at a world ๐ค iff โณ0, ๐ค โฉ ๐ด >๐ ๐ต.
Recalling that โณ0, ๐ค โฉ ๐ด >๐ ๐ต iff โ๐ข โ ๐๐ค๐ : โณ0, ๐ข โฉ ๐ด โ ๐ต for all ๐ด, ๐ต โ ๐น๐๐, ๐ค โ ๐, and
where all worlds in ๐๐ค๐ are regarded as sufficiently similar to ๐ค to count as relevant in the
evaluation of the counterfactual with antecedent ๐ด at ๐ค.
To be precise, the intended accessibility restriction ๐๐ค๐ corresponding to ๐ โ โ isnโt constant,
but rather a function of the antecedent. Lewisโ argument that the counterfactual cannot be any strict conditional amounts to showing that this canโt be done on the intended model, where we are only equipped with a class of strict conditionals of fixed strictness. The accessibility restriction index denoted with ๐ , used throughout the discussion in the next section is just to remind us that weโre not talking about arbitrary elements of โ, but ones that correspond to accessibility restrictions determined by an overall similarity of worlds. I devote the next section to Lewisโ argument, and given that it is expressed with direct reference to the intended model โณ0, I shall omit any model-denoting superscripts.