2. The framework

In this section, I offer definitions and assumptions intended to be uncontroversial in the dispute between Archimedeans and lexicalists. Foundational to this paper is the notion of a life. These lives are individuated, first, by the person whose life it is and, second, by the welfare of that person. Welfare is a measure of how good a person’s life is for them. I assume that the ‘has at least as high welfare as’ relation applied to the set of possible lives is reflexive and transitive. Life $$x$$ has higher welfare than life $$y$$ iff $$x$$ has at least as high welfare as $$y$$ and $$y$$ does not have at least as high welfare as $$x$$ . Life $$x$$ is at the same welfare level as life $$y$$ iff $$x$$ has at least as high welfare as $$y$$ and $$y$$ has at least as high welfare as $$x$$ .

Note, however, that the ‘has at least as high welfare as’ relation need not be complete over the set of possible lives. There may be lives $$x$$ and $$y$$ such that $$x$$ does not have at least as high welfare as $$y$$ and $$y$$ does not have at least as high welfare as $$x$$ . In that case, we may say that $$x$$ and $$y$$ are incommensurable, on a par, or imprecisely equally good. Although these relations are distinct, their differences are unimportant in this paper.Footnote ² I often let incommensurability stand for all three.Footnote ³

Lives are either personally good, bad, strictly neutral, or weakly neutral. Which category a life falls in depends on how it compares to some standard. Life $$x$$ is personally good (bad) iff $$x$$ has higher (lower) welfare than the standard. Life $$x$$ is personally strictly neutral iff $$x$$ is at the same welfare level as the standard, and personally weakly neutral iff $$\;x$$ is incommensurable with the standard.Footnote ⁴ The standard in question is defined differently by different authors. Some define it as nonexistence (Arrhenius and Rabinowicz Reference Arrhenius, Rabinowicz, Hirose and Olson2015 a). Others define it as a life constantly at a strictly neutral level of temporal welfare (Broome Reference Broome2004: 68; Bykvist Reference Bykvist2007: 101). Still others define it as a life without any good or bad components: features of a life that are good or bad for the person living it (Arrhenius Reference Arrhenius2000: 26). My discussion is compatible with all such definitions. Wonderful lives and lives barely worth living are personally good. Awful lives and lives barely worth not living are personally bad.

A population is a set of lives.Footnote ⁵ A population axiology is an ‘at least as good as’ relation on the set of all possible populations. Population $$X$$ is better than population $$Y$$ iff $$X$$ is at least as good as $$Y$$ and $$Y$$ is not at least as good as $$X$$ . Population $$X$$ is equally good as population $$Y$$ iff $$X$$ is at least as good as $$Y$$ and $$Y$$ is at least as good as $$X$$ .

The ‘at least as good as’ relation is reflexive over the set of possible populations, but it need not be complete. Populations $$X$$ and $$Y$$ are incommensurable iff $$X$$ is not at least as good as $$Y$$ and $$Y$$ is not at least as good as $$X$$ .Footnote ⁶ For my purposes below, the key feature of incommensurability is its insensitivity to slight changes. If $$X$$ is incommensurable with $$Y$$ , then there is typically some slightly improved version of $$X$$ – call it $${X^ + }$$ – and some slightly worsened version of $$X$$ – call it $${X^ - }$$ – such that $${X^ + }$$ and $${X^ - }$$ are also incommensurable with $$Y$$ .Footnote ⁷

I assume welfarist anonymity: if two populations feature the same number of lives at each welfare level, then they are equally good. This assumption allows us to represent each population with a distribution – a finite, unordered list of welfare levels, allowing repetitions – so that one population is at least as good as another iff its distribution is at least as good. I denote these distributions with uppercase letters in double-struck square brackets: $\unicode{x27E6} X\unicode{x27E7} $ denotes the distribution corresponding to population $$X$$ . I denote welfare levels with lowercase letters in double-struck square brackets: $\unicode{x27E6} x\unicode{x27E7} $ denotes the welfare level of life $$x$$ . Distributions and welfare levels can be concatenated, so that $\unicode{x27E6} X\unicode{x27E7} \cup \unicode{x27E6} Y\unicode{x27E7} $ denotes the distribution comprised of all the welfare levels in $\unicode{x27E6} X\unicode{x27E7} $ and $\unicode{x27E6} Y\unicode{x27E7} $ , $\unicode{x27E6} X\unicode{x27E7} \cup \unicode{x27E6} x\unicode{x27E7} $ denotes the distribution comprised of all the welfare levels in $\unicode{x27E6} X\unicode{x27E7} $ plus the welfare level $\unicode{x27E6} x\unicode{x27E7} $ , and $m\unicode{x27E6} x\unicode{x27E7} $ denotes the distribution comprised of $$m$$ welfare levels $\unicode{x27E6} x\unicode{x27E7} $ , where $$m$$ is some natural number.

This notation is useful in clarifying the notion of a life’s contributive value relative to a population. Life $$x$$ is contributively good (bad/strictly neutral/weakly neutral) relative to population $$X$$ iff $\unicode{x27E6} X\unicode{x27E7} \cup \unicode{x27E6} x\unicode{x27E7} $ is better than (worse than/equally good as/incommensurable with) $\unicode{x27E6} X\unicode{x27E7} $ . To these absolute classifications of contributive value, we can add comparative ones. Life $$x$$ is contributively better than (worse than/equally good as/incommensurable with) life $$y$$ relative to population $$X$$ iff $\unicode{x27E6} X\unicode{x27E7} \cup \unicode{x27E6} x\unicode{x27E7} $ is better than (worse than/equally good as/incommensurable with) $\unicode{x27E6} X\unicode{x27E7} \cup \unicode{x27E6} y\unicode{x27E7} $ . The contributive value of lives is my primary concern in this paper, so terms like ‘good’ and ‘weakly neutral’ stand for ‘contributively good’ and ‘contributively weakly neutral’ unless otherwise stated.

I assume Separability over Lives.Footnote ⁸ Roughly, this is the claim that the existence and welfare of unaffected people cannot make a difference to how populations compare. More precisely:

This assumption is contested by some (Carlson Reference Carlson1998: 290–291) and denied by egalitarian, variable value, and average views. But it is prima facie plausible and there are strong arguments in its favour (Blackorby et al. Reference Blackorby, Bossert and Donaldson2005: 133; Thomas Forthcoming a). In any case, Separability is agreed upon by many Archimedeans and all lexicalists. Many lexicalists take the satisfaction of Separability to be a major advantage of their view over previous non-Archimedean views (Parfit Reference Parfit2016: 112; Nebel Reference Nebel, McMahan, Campbell, Goodrich and Ramakrishnan2021: 16).

Separability entails that each life has the same contributive value relative to all populations. If life $$x$$ is good (bad/strictly neutral/weakly neutral) relative to some population $$X$$ , it is good (bad/strictly neutral/weakly neutral) relative to all populations. If life $$x$$ is better than (worse than/equally good as/incommensurable with) life $$y$$ relative to some population $$X$$ , it is better than (worse than/equally good as/incommensurable with) $$y$$ relative to all populations. Therefore, I drop the relativization to particular populations in what follows.

Finally, I assume that the ‘at least as good as’ relation over populations is transitive:

Although some non-Archimedeans avoid the Repugnant Conclusion by denying Transitivity (Rachels Reference Rachels, Ryberg and Tännsjö2004; Temkin Reference Temkin2012), this move strikes most as unduly drastic. In any case, Transitivity is common ground in the debate between Archimedeans and lexicalists.

This paper centres around four relations between lives: superiority, inferiority, nonsuperiority, and noninferiority. Each relation has strong and weak versions. The differences are subtle and the names are unwieldy but, unfortunately, the difficulty is unavoidable. The best course of action is to lay them all out here, for initial acquaintance and later reference.

First, strong and weak superiority:

Strong and weak noninferiority are the same, except with ‘not worse’ in place of ‘better’:

Noninferiority, as distinct from superiority, is important if the ‘at least as good as’ relation on the set of populations is incomplete. Life $$x$$ might then be weakly noninferior to life $$y$$ without being weakly superior to $$y$$ . In that case, some number of lives at $\unicode{x27E6} x\unicode{x27E7} $ is not worse than any number of lives at $\unicode{x27E6} y\unicode{x27E7} $ , but there is no number of lives at $\unicode{x27E6} x \unicode{x27E7} $ that is better than any number of lives at $\unicode{x27E6} y\unicode{x27E7} $ . For each number of lives at $\unicode{x27E6} x\unicode{x27E7} $ , there is some number of lives at $\unicode{x27E6} y\unicode{x27E7} $ such that the two populations are incommensurable.

Strong and weak inferiority are the negative variants of strong and weak superiority:

Strong and weak nonsuperiority are the same, except with ‘not better’ in place of ‘worse’:

If the ‘at least as good as’ relation on the set of populations is incomplete, life $$x$$ might be weakly nonsuperior to life $$y$$ without being weakly inferior to $$y$$ . In that case, some number of lives at $\unicode{x27E6} x\unicode{x27E7} $ is not better than any number of lives at $\unicode{x27E6} y\unicode{x27E7} $ , but there is no number of lives at $\unicode{x27E6} x\unicode{x27E7} $ that is worse than any number of lives at $\unicode{x27E6} y\unicode{x27E7} $ . For each number of lives at $\unicode{x27E6} x\unicode{x27E7} $ , there is some number of lives at $\unicode{x27E6} y\unicode{x27E7} $ such that the two populations are incommensurable.

3. The lexical dilemma

With all that in mind, we can formulate the Repugnant Conclusion as follows:

This conclusion strikes many as obviously false, but we cannot avoid it if we accept the following two claims:

The Equivalence of Personal and Contributive Value implies that lives barely worth living are contributively good.Footnote ¹⁰ Archimedeanism about Populations then implies that enough lives barely worth living can be better than any population of wonderful lives. Non-Archimedeans choose to deny this latter claim (Parfit Reference Parfit and Singer1986, Reference Parfit2016; Griffin Reference Griffin1988: 340, fn. 27; Lemos Reference Lemos1993; Rachels Reference Rachels, Ryberg and Tännsjö2004; Temkin Reference Temkin2012; Chang Reference Chang2016; Nebel Reference Nebel, McMahan, Campbell, Goodrich and Ramakrishnan2021). They claim that some contributively good lives are weakly noninferior to other contributively good lives:Footnote ¹¹

This move allows non-Archimedeans to avoid the Repugnant Conclusion without giving up the Equivalence of Personal and Contributive Value. They simply claim that wonderful lives are weakly noninferior to lives barely worth living.

However, some non-Archimedean views violate Transitivity (Rachels Reference Rachels, Ryberg and Tännsjö2004; Temkin Reference Temkin2012). Other non-Archimedean views violate Separability (Hurka Reference Hurka1983; Ng Reference Ng1989). Lexical views incur neither of these costs. By representing welfare levels with vectors, rather than scalars, they can avoid the Repugnant Conclusion while preserving Transitivity and Separability (Kitcher Reference Kitcher2000; Thomas Reference Thomas2018; Nebel Reference Nebel, McMahan, Campbell, Goodrich and Ramakrishnan2021; Carlson Forthcoming).

Here’s one example of a lexical view. Welfare levels are given by vectors with two dimensions, each dimension representable by an integer without upper or lower bound. The first dimension quantifies the higher goods in that life: perhaps things like autonomy and meaning. The second dimension quantifies the lower goods: perhaps things like sensual pleasure. These vectors are ordered lexically, so that $$\left( {{h_x},\;{l_x}} \right)$$ is at least as good as $$\left( {{h_y},\;{l_y}} \right)$$ iff either $${h_x} \gt {h_y}$$ or $${h_x} = \;{h_y}$$ and $${l_x} \ge {l_y}$$ . The value of population $$X$$ is then given by the vector $$\left( {{h_X},\;{l_X}} \right)$$ , where $${h_X}$$ is the sum of all the higher goods in the lives in $$X$$ and $${l_X}$$ is the sum of all the lower goods in the lives in $$X$$ . Populations are ordered lexically in the same way as lives, so that population $$X$$ is at least as good as population $$Y$$ iff either $${h_X} \gt {h_Y}$$ or $${h_X} = {h_Y}$$ and $${l_X} \ge {l_Y}$$ .

Kitcher (Reference Kitcher2000), Thomas (Reference Thomas2018), Nebel (Reference Nebel, McMahan, Campbell, Goodrich and Ramakrishnan2021) and Carlson (Forthcoming) offer lexical views along these lines. As they note, these views can be tweaked and generalized in various ways. Lives could be represented by vectors with any number of elements, each element could be represented by any subset of the real numbers, and the ordering could employ thresholds of various kinds. Employing thresholds in the ordering allows lexical views to account for incommensurability between populations and lives. Suppose, for example, that population $$X$$ is at least as good as population $$Y$$ just in case $${h_X}-{h_Y}$$ > Δ or $${h_X} \ge {h_Y}$$ and $${l_X} \ge {l_Y}$$ . In that case, it could be that neither of $$X$$ and $$Y$$ is at least as good as the other. Lexicalists can also claim that it may be indeterminate whether some life exceeds some threshold, in which case it may be indeterminate whether that life is strongly superior or noninferior to another life.

It’s easy to see that these lexical views satisfy Transitivity. They also satisfy Separability, because the value of a population is the sum of the values of its lives. And they avoid the Repugnant Conclusion if we specify that wonderful lives feature some positive quantity of higher goods and lives barely worth living do not. That’s because, in our initial example of a lexical view, lives with welfare $$\left( {m,\;n} \right)$$ are strongly superior to lives with welfare $$\left( {0,\;p} \right)$$ for all $$m \gt 0$$ , $$n$$ , and $$p$$ .Footnote ¹² What’s more, representing welfare with a vector seems appealing even independently of securing these formal implications. After all, life is a rich tapestry. Lives vary along many dimensions, and we might doubt that their value can be represented by a single number.Footnote ¹³

Unfortunately, there’s a catch. The weak noninferiority of wonderful lives over lives barely worth living, in conjunction with two assumptions, implies that weak noninferiority holds between lives that differ only slightly in non-evaluative respects. The first assumption is Transitivity, and the second we can call Small Steps:

What I mean by a ‘slight non-evaluative difference’ can be made clear enough using examples. Suppose that two lives are identical but for the fact that one of them features one additional second spent in pain. Then the non-evaluative difference between these lives is slight. The same goes for lives identical but for an extra second spent believing some false proposition, or appreciating beautiful music, or conversing with a loved one. Understood in this way, Small Steps seems difficult to deny. By making enough slight non-evaluative changes, we can make lives arbitrarily good or bad.Footnote ¹⁵

To see how the weak noninferiority of wonderful lives over lives barely worth living plus Transitivity and Small Steps implies that weak noninferiority holds between lives that differ only slightly, consider a wonderful life $${a_1}$$ and a life barely worth living $${a_n}$$ . By Small Steps, a finite sequence of slight differences unites a life at $\unicode{x27E6} a_1\unicode{x27E7} $ and a life at $\unicode{x27E6} a_n\unicode{x27E7} $ . Now suppose, for contradiction, that no life in this sequence is weakly noninferior to its successor. In that case, each number of lives at $\unicode{x27E6} a_1\unicode{x27E7} $ is worse than some number of lives at $\unicode{x27E6} a_2\unicode{x27E7} $ , each number of lives at $\unicode{x27E6} a_2\unicode{x27E7} $ is worse than some number of lives at $\unicode{x27E6} a_3\unicode{x27E7} $ , and so on, all the way down to $\unicode{x27E6} a_n\unicode{x27E7} $ . Transitivity then implies that each number of lives at $\unicode{x27E6} a_1\unicode{x27E7} $ is worse than some number of lives at $\unicode{x27E6} a_n\unicode{x27E7} $ . But this implication contradicts the lexical claim that wonderful lives are weakly noninferior to lives barely worth living. To avoid this contradiction, lexicalists must claim that some life in the sequence is weakly noninferior to its successor: for some life $${a_k}$$ , some number of lives at $\unicode{x27E6} a_k\unicode{x27E7} $ is not worse than any number of lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ , even though $${a_{k + 1}}$$ is only slightly worse than $${a_k}$$ . Perhaps $${a_{k + 1}}$$ features just one extra second of pain. Call this implication Weak Noninferiority Across Slight Differences.Footnote ¹⁶

Accepting Separability commits the lexicalist to an even stronger conclusion. Given Transitivity and Separability, weak noninferiority collapses into strong noninferiority. The lexical view then implies Strong Noninferiority Across Slight Differences: any number of lives at $\unicode{x27E6} a_k\unicode{x27E7} $ is not worse than any number of lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ .

Here’s how. Suppose, for contradiction, that $${a_k}$$ is not strongly noninferior to $${a_{k + 1}}$$ . In that case, some number of lives at $\unicode{x27E6} a_k\unicode{x27E7} $ is worse than some number of lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ . For concreteness, let’s say that a single life at $\unicode{x27E6} a_k\unicode{x27E7} $ is worse than one million lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ . Separability implies that adding a life at $\unicode{x27E6} a_k\unicode{x27E7} $ to both populations leaves their value-relation unchanged. That means that a population of two lives at $\unicode{x27E6} a_k\unicode{x27E7} $ is worse than a population of one million lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ and one ${\rm life\ at\ }\unicode{x27E6} a_k\unicode{x27E7} $ . Separability also implies that adding one million lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ to both populations leaves their value-relation unchanged. That means that a population of one ${\rm life\ at\ }\unicode{x27E6} a_k\unicode{x27E7} $ and one million lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ is worse than a population of two million lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ . These results, in conjunction with Transitivity, imply that two lives at $\unicode{x27E6} a_k\unicode{x27E7} $ are worse than two million lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ . Repeating the steps above yields the result that three lives at $\unicode{x27E6} a_k\unicode{x27E7} $ are worse than three million lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ and, indeed, $$n$$ lives at $\unicode{x27E6} a_k\unicode{x27E7} $ are worse than $$n$$ million lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ , for all positive integers $$n$$ . But then $${a_k}$$ is not even weakly noninferior to $${a_{k + 1}}$$ . If $${a_k}$$ is noninferior to $${a_{k + 1}}$$ at all, it is strongly noninferior: any number of lives at $\unicode{x27E6} a_k\unicode{x27E7} $ is not worse than any number of lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ . A fortiori, a single life at $\unicode{x27E6} a_k\unicode{x27E7} $ is not worse than any number of lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ , even though $${a_{k + 1}}$$ is only slightly worse than $${a_k}$$ .Footnote ¹⁷

Nevertheless, lexical views remain popular. Two responses, not mutually exclusive, are common. The first is to reject an assumption left implicit in my discussion thus far. I write that $${a_{k + 1}}$$ is only ‘slightly worse’ than $${a_k}$$ . But lexicalists can claim that, although $${a_k}$$ and $${a_{k + 1}}$$ differ only slightly in non-evaluative respects, $${a_{k + 1}}$$ is significantly worse than $${a_k}$$ (Thomas Reference Thomas2018; Nebel Reference Nebel, McMahan, Campbell, Goodrich and Ramakrishnan2021; Carlson forthcoming).

We can flesh out this response as follows. Recall that, on the lexicalist’s representation of welfare levels, wonderful lives feature some positive quantity of higher goods and lives barely worth living do not. That implies that, in any sequence uniting wonderful lives and lives barely worth living, there will be a point at which the quantity of higher goods falls to 0. This fall might correspond to the point at which lives cease to be meaningful or autonomous (Nebel Reference Nebel, McMahan, Campbell, Goodrich and Ramakrishnan2021, 11), or the point at which lives no longer instantiate a certain combination of global properties: for example, ‘satisfying personal relations, some understanding of what makes life worth while, appreciation of great beauty, the chance to accomplish something with one’s life’ (Griffin Reference Griffin1988: 86; see also Carlson Forthcoming: 21).Footnote ¹⁸ Lexicalists can then claim that any life featuring no higher goods is significantly worse than any life featuring some higher goods, so that strong noninferiority across such lives is of little concern.

The second response is to claim that Strong Noninferiority Across Slight Differences is benign. If we find it troubling, that is only because we assume Trichotomous Completeness:

If we assume Trichotomous Completeness, then Strong Noninferiority Across Slight Differences is tantamount to Strong Superiority Across Slight Differences: any number of lives at $\unicode{x27E6} a_k\unicode{x27E7} $ is better than any number of lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ . In conjunction with a deontic principle according to which choosing the worse of two available options is impermissible, this consequence implies that creating any number of lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ would be impermissible if we could instead create a single life at $\unicode{x27E6} a_k\unicode{x27E7} $ . That implication seems troubling. However, if we deny Trichotomous Completeness, no such thing follows. Strong noninferiority is no longer tantamount to strong superiority. Lexicalists can claim that, although a single life at $\unicode{x27E6} a_k\unicode{x27E7} $ is not worse than any number of lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ , it is nevertheless false that a single life at $\unicode{x27E6} a_k\unicode{x27E7} $ is better than any number of lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ . Enough lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ may be incommensurable with any number of lives at $\unicode{x27E6} a_k\unicode{x27E7} $ (Nebel Reference Nebel, McMahan, Campbell, Goodrich and Ramakrishnan2021: 17–19).Footnote ¹⁹ Typically, lexicalists go on to claim that this move is more than mere evaluative hair-splitting: the distinction has deontic implications. If choosing an option is permissible so long as it is not worse than another available option (Chang Reference Chang2005: 333; Rabinowicz Reference Rabinowicz2008, Reference Rabinowicz2012; Nebel Reference Nebel, McMahan, Campbell, Goodrich and Ramakrishnan2021: 20), then we may permissibly choose $$X$$ or $$Y$$ when the two populations are incommensurable. And if $$X$$ and $$Y$$ are indeterminately related, then it is indeterminate which of $$X$$ and $$Y$$ is permissible to choose.

This strategy seems to offer an attractively conservative way of avoiding the Repugnant Conclusion. It preserves both Separability and Transitivity, and it softens the blow of Strong Noninferiority Across Slight Differences by denying a principle which seems implausible anyway: Trichotomous Completeness. A more general version of this principle – quantifying over all value-bearers, rather than just populations – is impugned by existing Small Improvement Arguments (De Sousa Reference De Sousa1974; Chang Reference Chang2002), and a structurally identical argument tells against the restricted principle. Suppose, for example, that population $$X$$ features 10 people each living a 20-year life of ecstasy, and population $$Y$$ features 10 people each living an 80-year life of comfort. Neither $$X$$ nor $$Y$$ is better than the other.Footnote ²⁰ If we assume Trichotomous Completeness, $$X$$ and $$Y$$ must be equally good. But if $$X$$ and $$Y$$ are equally good, then any population better than $$Y$$ is also better than $$X$$ . $${Y^ + }$$ – featuring 10 people each living an 81-year life of comfort – seems better than $$Y$$ , but not better than $$X$$ . Therefore, it seems, $$X$$ and $$Y$$ are not equally good but incommensurable, and Trichotomous Completeness is false. Lexicalists can thus avoid the Repugnant Conclusion and Strong Superiority Across Slight Differences by denying an independently implausible principle.

However, trouble remains. Suppose that we grant the lexicalist’s claims about higher goods: in any sequence uniting wonderful lives and lives barely worth living, there will be a point at which the quantity of higher goods falls to 0, and any lives occurring after this point are significantly worse than those that come before. We might complain that this move merely masks – and does not solve – the difficulty presented by the $$a$$ -sequence. Once we recall the non-evaluative character of the lives in the $$a$$ -sequence, the trouble reasserts itself. The lexical view still implies that there are lives $${a_k}$$ and $${a_{k + 1}}$$ such that a single life at $\unicode{x27E6} a_k\unicode{x27E7} $ is not worse than any number of lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ , even though $${a_k}$$ and $${a_{k + 1}}$$ differ only slightly in non-evaluative respects. Perhaps this slight difference is as small as an extra second’s worth of pain. Strong noninferiority across these near-identical lives might seem tough to accept, even if we go along with the lexicalist’s representation of their welfare levels.Footnote ²¹

Things get worse if we focus on bad lives. The Repugnant Conclusion has a negative analogue:

And if we uphold the Equivalence of Personal and Contributive Value, this conclusion can be avoided only by claiming Weak Nonsuperiority Across Bad Lives:

But as shown above, this claim – in conjunction with Transitivity and Separability – implies Strong Nonsuperiority Across Bad Lives:

And the truth of Small Steps implies Strong Nonsuperiority Across Slight Differences. Suppose $${b_1}$$ is an awful life, $${b_2}$$ is slightly better than $${b_1}$$ , $${b_3}$$ is slightly better than $${b_2}$$ , and so on, until we reach some life barely worth not living $${b_n}$$ . Then there must be some bad life $${b_k}$$ such that any number of lives at $\unicode{x27E6} b_k\unicode{x27E7} $ is not better than any number of lives at $\unicode{x27E6} b_{k+1}\unicode{x27E7} $ , even though $${b_{k + 1}}$$ is only slightly better than $${b_k}$$ . Perhaps $${b_{k + 1}}$$ features just one extra second of pleasure.

What’s more, Handfield and Rabinowicz (Reference Handfield and Rabinowicz2018) prove that the combination of weak noninferiority and the denial of Trichotomous Completeness – along with Transitivity and a weakening of Separability (see Handfield and Rabinowicz Reference Handfield and Rabinowicz2018: 2385) – has another undesirable implication: to avoid the Repugnant Conclusion, the incommensurability at work has to be radical. Here’s what that means. Suppose population $${A_k}$$ features only good lives at $\unicode{x27E6} a_k\unicode{x27E7} $ and population $${A_{k + 1}}$$ features only slightly worse lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ . If both populations are the same size, then $${A_{k + 1}}$$ is worse than $${A_k}$$ . According to lexicalists who deny Trichotomous Completeness, increasing the number of lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ can take $${A_{k + 1}}$$ from worse than $${A_k}$$ to incommensurable with $${A_k}$$ . However, no number of additional lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ on top of that can take $${A_{k + 1}}$$ from incommensurable with $${A_k}$$ to better than $${A_k}$$ . Indeed, no number of lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ can be better than even a single life at $\unicode{x27E6} a_k\unicode{x27E7} $ .

Besides seeming implausible, such radical departures from Trichotomous Completeness lack a key feature shared by other examples of incommensurability in the literature: in those examples, if a change in some good-making feature can take an option $$S$$ from worse than another option $$T$$ to incommensurable with $$T$$ , then a further change in that good-making feature can take $$S$$ from incommensurable with $$T$$ to better than $$T$$ . This is especially so when, as in the population case, the difference in other respects is slight. Suppose, for example, that your employer offers you a choice between $$S$$ , a contract mandating that you work 40 hours per week, and $$T$$ , a contract mandating that you work 39 hours and 59 minutes per week. If $$S$$ and $$T$$ offer the same salary, then $$S$$ is worse than $$T$$ . Increasing $$S$$ ’s salary by some finite amount can render $$S$$ incommensurable with $$T$$ , and increasing $$S$$ ’s salary by some further amount can render $$S$$ better than $$T$$ . Radical departures from Trichotomous Completeness lack this key feature, so strategies committed to some such departure are not as conservative as they might first seem: lexicalists who avoid the Repugnant Conclusion through the combination of Weak Noninferiority Across Good Lives and the denial of Trichotomous Completeness are positing a new and controversial phenomenon rather than drawing upon an old and widely accepted one.Footnote ²²

I can now summarize the lexical dilemma. If lexicalists uphold Trichotomous Completeness, they are committed to Strong Superiority Across Slight Differences: any number of good lives at $\unicode{x27E6} a_k\unicode{x27E7} $ is better than any number of slightly worse lives at $\unicode{x27E6} a_{k{\rm +1}}\unicode{x27E7} $ , and any number of bad lives at $\unicode{x27E6} b_k\unicode{x27E7} $ is worse than any number of slightly better lives at $\unicode{x27E6} b_{k{\rm +1}}\unicode{x27E7} $ . If, on the other hand, lexicalists depart from Trichotomous Completeness, then that departure must be radical. For any number of lives at $\unicode{x27E6} a_k\unicode{x27E7} $ , there is some number of lives at $\unicode{x27E6} a_{k{\rm +1}}\unicode{x27E7} $ such that the two populations are incommensurable, but there is no number of lives at $\unicode{x27E6} a_{k{\rm +1}}\unicode{x27E7} $ that is better than even a single life at $\unicode{x27E6} a_k\unicode{x27E7} $ . And the converse is true of bad lives at $\unicode{x27E6} b_k\unicode{x27E7} $ and $\unicode{x27E6} b_{k{\rm +1}}\unicode{x27E7} $ .

4. The Archimedean dilemma

We might regard the lexical dilemma as strong reason to embrace an Archimedean view. However, this would be a mistake. As we will see, Archimedean views are subject to an analogous dilemma: either a single contributively good life $${c_k}$$ is better than any number of slightly worse lives, or else the departure from Trichotomous Completeness is both radical and symmetric: for any arbitrarily good population and any arbitrarily bad population, there is some population that is both not worse than the former and not better than the latter. The conclusion is that the lexical dilemma gives us little reason to prefer Archimedean views. Even if we give up on lexicality, problems of the same kind remain.

To see how the Archimedean dilemma arises, consider the following two claims:

Together with Transitivity and Separability, these two claims imply that contributively good lives are strongly noninferior to contributively bad lives.Footnote ²³ Here’s how. Let Ø stand for the empty population, containing no lives whatsoever. Given Separability, if adding $$a$$ makes some population better, it makes every population better. In that case, any number of lives at $\unicode{x27E6} a\unicode{x27E7} $ is better than Ø. Separability also implies that adding $$b$$ makes every population worse, in which case any number of lives at $\unicode{x27E6} b\unicode{x27E7} $ is worse than Ø. By Transitivity, any number of lives at $\unicode{x27E6} a\unicode{x27E7} $ is better than any number of lives at $\unicode{x27E6} b\unicode{x27E7} $ . Life $$a$$ is thus strongly superior to life $$b$$ . A fortiori, life $$a$$ is strongly noninferior to life $$b$$ : any number of lives at $\unicode{x27E6} a\unicode{x27E7} $ is not worse than any number of lives at $\unicode{x27E6} b\unicode{x27E7} $ .

Adding Small Steps then yields Strong Noninferiority Across Slight Differences. To see how, consider a sequence beginning with a good life $${c_1}$$ . We reach $${c_2}$$ by making $${c_1}$$ slightly worse, and so on, until we reach a bad life $${c_n}$$ . Now suppose, for contradiction, that no life in this sequence is even weakly noninferior to its successor. In that case, each number of lives at $\unicode{x27E6} c_1\unicode{x27E7} $ is worse than some number of lives at $\unicode{x27E6} c_2\unicode{x27E7} $ , each number of lives at $\unicode{x27E6} c_2\unicode{x27E7} $ is worse than some number of lives at $\unicode{x27E6} c_3\unicode{x27E7} $ , and so on, all the way down to $\unicode{x27E6} c_n\unicode{x27E7} $ . Transitivity then implies that each number of lives at $\unicode{x27E6} c_1\unicode{x27E7} $ is worse than some number of lives at $\unicode{x27E6} c_n\unicode{x27E7} $ . But this implication contradicts the Archimedean claim that good lives are strongly noninferior to bad lives. To avoid this contradiction, Archimedeans must claim that some life in the sequence is weakly noninferior to its successor: some number of lives at $\unicode{x27E6} c_k\unicode{x27E7} $ is not worse than any number of lives at $\unicode{x27E6} c_{k+1}\unicode{x27E7} $ , even though $${c_{k + 1}}$$ is only slightly worse than $${c_k}$$ . Given Separability and Transitivity, this weak noninferiority collapses into strong noninferiority: any number of lives at $\unicode{x27E6} c_k\unicode{x27E7} $ is not worse than any number of lives at $\unicode{x27E6} c_{k+1}\unicode{x27E7} $ .

Now for the first horn of the Archimedean dilemma. If Archimedeans accept Trichotomous Completeness, then Strong Noninferiority Across Slight Differences is tantamount to Strong Superiority Across Slight Differences: any number of lives at $\unicode{x27E6} c_k\unicode{x27E7} $ is better than any number of lives at $\unicode{x27E6} c_{k+1}\unicode{x27E7} $ .

Archimedeans might claim that this implication is of little concern. After all, strong superiority sets in at the point where lives stop being good. Lives at $\unicode{x27E6} c_k\unicode{x27E7} $ are good and lives at $\unicode{x27E6} c_{k+1}\unicode{x27E7} $ are strictly neutral or bad, so it should be no mystery that a single life at $\unicode{x27E6} c_k\unicode{x27E7} $ is better than any number of lives at $\unicode{x27E6} c_{k+1}\unicode{x27E7} $ . However, as with the lexical view, this move merely masks the difficulty. Once we recall the non-evaluative character of the lives in the $$c$$ -sequence, the trouble is revealed. Suppose, for example, that $${c_1}$$ is a long, turbulent life, featuring soaring highs and crushing lows. Suppose also that $${c_1}$$ ’s highs just outweigh its lows, so that $${c_1}$$ is good overall. Suppose $${c_2}$$ is identical but for one additional second of pain, and so on for each successive life, until we reach a bad life $${c_n}$$ . Archimedeans have to claim that many steps in this sequence are of little consequence – enough lives at $\unicode{x27E6} c_2\unicode{x27E7} $ can be better than any number of lives at $\unicode{x27E6} c_1\unicode{x27E7} $ , enough lives at $\unicode{x27E6} c_3\unicode{x27E7} $ can be better than any number of lives at $\unicode{x27E6} c_2\unicode{x27E7} $ , and so on – but one additional second of pain makes all the difference, so that any number of lives at $\unicode{x27E6} c_k\unicode{x27E7} $ is better than any number of lives at $\unicode{x27E6} c_{k+1}\unicode{x27E7} $ . Archimedeans and non-Archimedeans alike have found this claim implausible (Broome Reference Broome2004: 179–80, 251–52; Nebel Reference Nebel, McMahan, Campbell, Goodrich and Ramakrishnan2021: 29). It seems absurd to think that one extra second of pain could flip a long, turbulent life from good to either strictly neutral or bad.

Hence the appeal of denying Trichotomous Completeness. That move allows Archimedeans to claim that there is no sharp divide between good and bad lives. Instead, some range of lives in our $$c$$ -sequence is weakly neutral. Adding weakly neutral lives to a population renders the new population incommensurable with the original population. Denying Trichotomous Completeness thus allows Archimedeans to avoid the first horn of their dilemma. If lives at $\unicode{x27E6} c_{k+1}\unicode{x27E7} $ are weakly neutral, rather than strictly neutral or bad, then Strong Noninferiority Across Slight Differences does not imply Strong Superiority Across Slight Differences. Archimedeans can claim that, although any number of good lives at $\unicode{x27E6} c_k\unicode{x27E7} $ is not worse than any number of weakly neutral lives at $\unicode{x27E6} c_{k+1}\unicode{x27E7} $ , it is nevertheless false that any number of lives at $\unicode{x27E6} c_k\unicode{x27E7} $ is better than any number of lives at $\unicode{x27E6} c_{k+1}\unicode{x27E7} $ . For any number of lives at $\unicode{x27E6} c_k\unicode{x27E7} $ , there is some number of lives at $\unicode{x27E6} c_{k+1}\unicode{x27E7} $ such that the two populations are incommensurable. Archimedeans can also claim that this move is more than mere evaluative hair-splitting because it has deontic implications. If a population of lives at $\unicode{x27E6} c_k\unicode{x27E7} $ and a population of lives at $\unicode{x27E6} c_{k+1}\unicode{x27E7} $ are incommensurable, then we may permissibly choose either. If the two populations are indeterminately related, then it is indeterminate which is permissible to choose.

As we will see, however, denying Trichotomous Completeness leaves the Archimedean vulnerable to the second horn of their dilemma. To see how, note first that departing from Trichotomous Completeness renders the Archimedean subject to the same objection that Handfield and Rabinowicz (Reference Handfield and Rabinowicz2018) level against the lexicalist: the departure in question has to be radical. Here’s a reminder of what that means. Suppose population $${C_k}$$ features only lives at $\unicode{x27E6} c_k\unicode{x27E7} $ and population $${C_{k + 1}}$$ features only lives at $\unicode{x27E6} c_{k+1}\unicode{x27E7} $ . If both populations are the same size, then $${C_k}$$ is better than $${C_{k + 1}}$$ . Increasing the number of lives at $\unicode{x27E6} c_{k+1}\unicode{x27E7} $ can take $${C_{k + 1}}$$ from worse than $${C_k}$$ to incommensurable with $${C_k}$$ . However, no further increase in the number of lives at $\unicode{x27E6} c_{k+1}\unicode{x27E7} $ can take $${C_{k + 1}}$$ from incommensurable with $${C_k}$$ to better than $${C_k}$$ . Indeed, no number of lives at $\unicode{x27E6} c_{k+1}\unicode{x27E7} $ can be better than even a single life at $\unicode{x27E6} c_k\unicode{x27E7} $ . Such radical departures from Trichotomous Completeness might seem implausible, and they lack a key feature shared by other examples of incommensurability in the literature: if a change in some good-making feature can take $$S$$ from worse than $$T$$ to incommensurable with $$T$$ , then a further change in that good-making feature can take $$S$$ from incommensurable with $$T$$ to better than $$T$$ .Footnote ²⁴

Of course, the Archimedean might respond that the objection misses its mark in this case. The objection is effective against the lexicalist because lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ are good, so it seems like adding such lives should make a population better. Lives at $\unicode{x27E6} c_{k+1}\unicode{x27E7} $ , on the other hand, are not good, so there is no reason to think that adding such lives makes a population better. However, this response invites two new objections. The first is that this move casts doubt on the other feature of radical departures from Trichotomous Completeness: if lives at $\unicode{x27E6} c_{k+1}\unicode{x27E7} $ are not good, it is puzzling how adding such lives can take a population from worse than a single life at $\unicode{x27E6} c_k\unicode{x27E7} $ to not worse.Footnote ²⁵ Second, and more seriously, the radical departure from Trichotomous Completeness must then be symmetric: for any population of good lives and any population of bad lives, there must be some number of weakly neutral lives that is both not worse than the former and not better than the latter.

To see how, recall that for any weakly neutral life $$u$$ and any population $$X$$ , $\unicode{x27E6} X\unicode{x27E7} $ is incommensurable with $\unicode{x27E6} X\unicode{x27E7} \cup \unicode{x27E6} u\unicode{x27E7} $ . Recall also that incommensurability is typically insensitive to slight changes. There will typically be some improved version of $$X$$ – call it $${X^ + }$$ – and some worsened version of $$X$$ – call it $${X^ - }$$ – such that $\unicode{x27E6} X^+\unicode{x27E7} $ and $\unicode{x27E6} X^- \unicode{x27E7} $ are incommensurable with $\unicode{x27E6} X\unicode{x27E7} \cup \unicode{x27E6} u\unicode{x27E7} $ .

We need not assume that adding a weakly neutral life always results in incommensurability that is insensitive to slight changes. The proof can make do with a substantially weaker assumption, which we can call Insensitivity:

This assortment of quantifiers is difficult to parse, so here’s a rough explanation. We start with two incommensurable populations, represented by the distributions $\unicode{x27E6} X\unicode{x27E7} \cup \unicode{x27E6} d_r\unicode{x27E7} $ and $\unicode{x27E6} Y\unicode{x27E7} $ . We then make the life $${d_r}$$ in the first population slightly better. This new life $${d_{r + 1}}$$ might feature just one extra second of pleasure. Insensitivity states that adding some number of lives at some weakly neutral welfare level $\unicode{x27E6} d_0\unicode{x27E7} $ to the second population can ensure that the resulting populations remain incommensurable. Insensitivity also states that the same is true when we make the life $${d_r}$$ in the first population slightly worse. Perhaps $${d_{r - 1}}$$ features just one extra second of pain. Again, adding some number of lives at $\unicode{x27E6} d_0\unicode{x27E7} $ to the second population can preserve incommensurability. And Insensitivity states that the above is true for all lives $${d_r}$$ in some $$d$$ -sequence and for all populations $$X$$ and $$Y$$ such that $\unicode{x27E6} X\unicode{x27E7} \cup \unicode{x27E6} d_r\unicode{x27E7} $ and $\unicode{x27E6} Y\unicode{x27E7} $ are incommensurable.

Now let $$G$$ stand for some arbitrarily good population and $$B$$ stand for some arbitrarily bad population. And recall that Archimedeanism about Populations states that adding enough good lives to a population can make it better than any other, and adding enough bad lives to a population can make it worse than any other. Since the lives $${d_g}$$ and $${d_b}$$ in Insensitivity are good and bad respectively, Archimedeanism implies that there is some $$n$$ such that $n\unicode{x27E6} d_g\unicode{x27E7} $ is better than $\unicode{x27E6} G \unicode{x27E7} $ and $n\unicode{x27E6} d_b\unicode{x27E7} $ is worse than $\unicode{x27E6} B \unicode{x27E7} $ .

Consider a population of $$n$$ lives at $\unicode{x27E6} d_0\unicode{x27E7} $ . Because lives at $\unicode{x27E6} d_0\unicode{x27E7} $ are weakly neutral, the population of $$n$$ lives at $\unicode{x27E6} d_0\unicode{x27E7} $ is incommensurable with the empty population. Insensitivity thus implies that there is some $${s_1}$$ such that $(n-1)\unicode{x27E6} d_0\unicode{x27E7} \cup \unicode{x27E6} d_1\unicode{x27E7} $ is incommensurable with $s_1\unicode{x27E6} d_0\unicode{x27E7} $ . That’s because we made one of the lives in the first population slightly better – raising it from $\unicode{x27E6} d_0\unicode{x27E7} $ to $\unicode{x27E6} d_1\unicode{x27E7} $ – so by Insensitivity we can add some number of weakly neutral lives at $\unicode{x27E6} d_0\unicode{x27E7} $ to the second population – the empty population – and thereby ensure that the resulting populations remain incommensurable.

We can do the same when we raise a second life up from $\unicode{x27E6} d_0\unicode{x27E7} $ to $\unicode{x27E6} d_1\unicode{x27E7} $ . There is some $${s_2}$$ such that $(n-2)\unicode{x27E6} d_0\unicode{x27E7} \cup 2\unicode{x27E6} d_1\unicode{x27E7} $ is incommensurable with $s_1\unicode{x27E6} d_0\unicode{x27E7} \cup s_2\unicode{x27E6} d_0\unicode{x27E7} $ . Repeating this process $$n - 2$$ more times, we get the result that $n\unicode{x27E6} d_1\unicode{x27E7} $ is incommensurable with $s_1\unicode{x27E6} d_0\unicode{x27E7} \cup s_2\unicode{x27E6} d_0\unicode{x27E7} \cup ... \cup s_n\unicode{x27E6} d_0\unicode{x27E7} $ . We can then set about raising each of the lives in the first population up from $\unicode{x27E6} d_1\unicode{x27E7} $ to $\unicode{x27E6} d_2\unicode{x27E7} $ . Again, by Insensitivity, we can preserve incommensurability by adding some number of lives at $\unicode{x27E6} d_0\unicode{x27E7} $ to the second population. The same is true of the rise from $\unicode{x27E6} d_2\unicode{x27E7} $ to $\unicode{x27E6} d_3\unicode{x27E7} $ , $\unicode{x27E6} d_3\unicode{x27E7} $ to $\unicode{x27E6} d_4\unicode{x27E7} $ , and so on. Eventually, we’ll have raised all $$n$$ lives up to the good welfare level $\unicode{x27E6} d_g\unicode{x27E7} $ . Insensitivity thus implies that there is some number $${q_1}$$ such that $n\unicode{x27E6} d_g\unicode{x27E7} $ is incommensurable with $q_1\unicode{x27E6} d_0\unicode{x27E7} $ .

The same is true when we make the lives at $\unicode{x27E6} d_0\unicode{x27E7} $ worse rather than better. Since the population of $$n$$ lives at $\unicode{x27E6} d_0\unicode{x27E7} $ is incommensurable with the empty population, Insensitivity implies that there is some $${t_1}$$ such that $(n-1)\unicode{x27E6} d_0\unicode{x27E7} \cup \unicode{x27E6} d_{-1}\unicode{x27E7} $ is incommensurable with $t_1\unicode{x27E6} d_0\unicode{x27E7} $ . Because we lowered one life in the first population down from $\unicode{x27E6} d_0\unicode{x27E7} $ to $\unicode{x27E6} d_{-1}\unicode{x27E7} $ , we can preserve incommensurability by adding some number of lives at $\unicode{x27E6} d_0\unicode{x27E7} $ to the second population. After enough of these steps, we’ll have lowered all $$n$$ lives down to the bad welfare level $\unicode{x27E6} d_b\unicode{x27E7} $ . Insensitivity thus implies that there is some number $${q_2}$$ such that $n\unicode{x27E6} d_b\unicode{x27E7} $ is incommensurable with $q_2\unicode{x27E6} d_0\unicode{x27E7} $ .

Letting $$q$$ represent whichever of $${q_1}$$ and $${q_2}$$ is bigger (or both in the case of a tie), we can conclude that $q\unicode{x27E6} d_0\unicode{x27E7} $ is incommensurable with both $n\unicode{x27E6} d_g\unicode{x27E7} $ and $n\unicode{x27E6} d_b\unicode{x27E7} $ . A fortiori, $q\unicode{x27E6} d_0\unicode{x27E7} $ is not worse than $n\unicode{x27E6} d_g\unicode{x27E7} $ and not better than $n\unicode{x27E6} d_b\unicode{x27E7} $ . Since $n\unicode{x27E6} d_g\unicode{x27E7} $ is better than the arbitrarily good population represented by $\unicode{x27E6} G\unicode{x27E7} $ , Transitivity implies that $q\unicode{x27E6} d_0\unicode{x27E7} $ is not worse than $\unicode{x27E6} G\unicode{x27E7} $ .Footnote ²⁶ Since $n\unicode{x27E6} d_b\unicode{x27E7} $ is worse than the arbitrarily bad population represented by $\unicode{x27E6} B\unicode{x27E7} $ , Transitivity implies that $q\unicode{x27E6} d_0\unicode{x27E7} $ is not better than $\unicode{x27E6} B\unicode{x27E7} $ .Footnote ²⁷ Coupling up these last two results gives us the second horn of the Archimedean dilemma: for any arbitrarily good population $$G$$ and any arbitrarily bad population $$B$$ , there is some population of weakly neutral lives that is both not worse than the former and not better than the latter.

I can now summarize the Archimedean dilemma. If Archimedeans uphold Trichotomous Completeness, they are committed to Strong Superiority Across Slight Differences. Many slight changes to lives are of little consequence, but one slight change flips the lives from good to either strictly neutral or bad, and any number of the former lives is better than any number of the latter. This implication is liable to seem especially implausible if both lives are long and turbulent, and the slight change consists in a single extra second of pain. If, on the other hand, Archimedeans depart from Trichotomous Completeness, then that departure must be both radical and symmetric. They are committed to the claim that, no matter how good and numerous the lives in Heaven and no matter how bad and numerous the lives in Hell, there is some number of weakly neutral lives that is both not worse than Heaven and not better than Hell.

That brings us to the conclusion of this paper: the lexical dilemma gives us little reason to prefer an Archimedean view. For recall how the lexical dilemma is derived. We begin with the non-Archimedean claim that some good lives are weakly noninferior to others: there is some good life $$x$$ , some good life $$y$$ , and some number $$n$$ such that $$n$$ lives at $\unicode{x27E6} x\unicode{x27E7} $ is not worse than any number of lives at $\unicode{x27E6} y\unicode{x27E7} $ . Adding Transitivity and Separability yields the lexical view. Assuming Small Steps commits the lexical view to Strong Noninferiority Across Slight Differences: a single life at $\unicode{x27E6} a_k\unicode{x27E7} $ is not worse than any number of lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ . If we then assume Trichotomous Completeness, this is tantamount to Strong Superiority Across Slight Differences: a single life at $\unicode{x27E6} a_k\unicode{x27E7} $ is better than any number of lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ . If, on the other hand, we depart from Trichotomous Completeness, that departure must be radical: for any number of lives at $\unicode{x27E6} a_k\unicode{x27E7} $ , there is some number of lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ that is not worse, but no number of lives at $\unicode{x27E6} a_{k+1}\unicode{x27E7} $ is better than even a single life at $\unicode{x27E6} a_k\unicode{x27E7} $ .

The Archimedean dilemma is derived in parallel fashion. We begin with the Archimedean claim that some lives are strongly noninferior to others: there is some life $$x$$ , and some life $$y$$ such that any number of lives at $\unicode{x27E6} x\unicode{x27E7} $ is not worse than any number of lives at $\unicode{x27E6} y\unicode{x27E7} $ . In particular, good lives are strongly noninferior to bad lives. Adding Transitivity, Separability, and Small Steps commits the Archimedean view to Strong Noninferiority Across Slight Differences: any number of lives at $\unicode{x27E6} c_k\unicode{x27E7} $ is not worse than any number of lives at $\unicode{x27E6} c_{k+1}\unicode{x27E7} $ . If we then assume Trichotomous Completeness, this collapses into Strong Superiority Across Slight Differences: any number of lives at $\unicode{x27E6} c_k\unicode{x27E7} $ is better than any number of lives at $\unicode{x27E6} c_{k+1}\unicode{x27E7} $ . If, on the other hand, we depart from Trichotomous Completeness, that departure must be both radical and symmetric: for any Heaven and any Hell, there is some number of weakly neutral lives that is both not worse than the former and not better than the latter.

The upshot is that the lexical dilemma gives us little reason to embrace an Archimedean view. Even if we give up on lexicality, problems of the same kind remain.