Quantity, quality, equality: introducing a new measure of social welfare

In this essay I propose a new measure of social welfare. It captures the intuitive idea that quantity, quality, and equality of individual welfare all matter for social welfare. More precisely, it satisfies six conditions: Equivalence, Dominance, Quality, Strict Monotonicity, Equality and Asymmetry. These state that (i) populations equivalent in individual welfare are equal in social welfare; (ii) a population that dominates another in individual welfare is better; (iii) a population that has a higher average welfare than another population is better, other things being equal; (iv) the addition of a well-faring individual makes a population better, whereas the addition of an ill-faring individual makes a population worse; (v) a population that has a higher degree of equality than another population is better, other things being equal; and (vi) individual illfare matters more for social welfare than individual welfare. By satisfying the six conditions, the measure improves on previously proposed measures, such as the utilitarian Total and Average measures, as well as different kinds of Prioritarian measures.


Introduction
Quantity, quality, and equality of individual welfare-these are the three factors most commonly held to affect the social welfare of a population. However, no extant measure of social welfare accommodates all three. The Total Measure accommodates only quantity. The Average Measure accommodates only quality. Prioritarian versions of these measures accommodate equality, but fail to accommodate either quantity or quality. Assuming that all three factors are important, a different kind of measure is thus called for.
In this essay I present a new measure (or strictly speaking a class of measures) that accommodates all three factors. The measure conjoins two separate measures of positive and negative social welfare. Each of these, as well as their aggregate, satisfies at least five plausible conditions. In this respect the measure does better than the Total and Average measures, which satisfy only three of these conditions, and their prioritarian modifications, which satisfy only four. The five conditions are: -An equivalence condition, according to which two populations that are equivalent in terms of individual welfare are ranked as equal in terms of social welfare. -A dominance condition, according to which a population that dominates another in terms of individual welfare is ranked above the dominated population. -A quality condition, according to which a population with higher average welfare is ranked above a population with lower average welfare, in comparisons between populations with the same total welfare and maximal degree of equality.
-A strict monotonicity condition, according to which the addition of an individual with positive welfare results in a higher ranked population, and the addition of an individual with negative welfare results in a lower ranked population. -An equality condition, according to which a population with a higher degree of equality (in a specific sense of "equality") is ranked above a population with a lower degree of equality, in comparisons between populations with the same total and average welfare.
In addition to these five conditions, the conjoint measure also satisfies: -An asymmetry condition, according to which negative individual welfare affects social welfare more than positive individual welfare, when their absolute values are equal.
These conditions are individually plausible and mutually consistent, but their joint satisfaction is nevertheless a challenge. The measure consequently has a somewhat complicated form. It will be presented later in this essay, the plan of which is as follows: in the next section I make some necessary assumptions regarding the measurability of individual and social welfare; in the third section I present the conditions concerning quantity, quality and equality; in the fourth section I introduce the measure and explain its design; in the fifth section I address some possible objections, and in the sixth section I make some concluding remarks. Proofs follow in the appendix.

Preliminaries
I will assume that the social welfare of a population depends on the individual welfare levels of its members. As this implies that a measure of social welfare must be a function of a measure of individual welfare, we should look at the measurability of individual welfare first.
Here I will assume that at any limited time interval, individuals fare either neutrally, or well or poorly to some degree. Individual welfare is thus a quantitative bipolar property with a neutral point. This is sufficient to make individual welfare measurable in theory and I will assume that such a measure exists. There is thus a function v that assigns real numbers to all individuals, directly representing their levels of welfare, and indirectly representing relations between their levels of welfare. I will further assume that the measure is ratio scale, allowing representation of all kinds of quantitative relations between levels of welfare (ratio relations as well as difference and ordering relations). Positive welfare is represented by positive numbers, negative welfare by negative numbers, and neutral welfare by 0. I assume that the relation does-better-than is asymmetric and transitive, while the relation does-equally-well-as is symmetric and transitive. I also assume interpersonal comparability.
The assumption that individual welfare is a bipolar property is consistent with most theories of individual welfare, as most theories distinguish between faring well and faring poorly. Some theories base these distinctions on the difference between goods and bads and then postulate that people fare well if the good in their lives outweighs the bad, and poorly if the bad in their lives outweighs the good. 1 Other theories base these distinctions on the difference between faring better and faring worse and then postulate that people fare well if they fare better than some neutral level and poorly if they fare worse than the same neutral level. 2 The assumption that individual welfare has a neutral point is also consistent with most theories of individual welfare. The neutral point represents the level of welfare of people who fare neither well nor poorly. A theory that is based on the distinction between goods and bads identifies the neutral point with the welfare level of people who either completely lack goods or bads in their lives, or have them to a degree where they balance each other out. 3 A theory that is based on the distinction between faring better and faring worse need not identify a neutral point, but often does so in order to distinguish between faring well and faring poorly. 4 I will further assume that, at some limited time interval, there is a lowest possible level of individual welfare that is still positive (v p min), and a highest possible level of individual welfare that is still negative (v n max). In addition, there is a lowest as well as a highest possible level of individual welfare (v n min and v p max). There is thus a lowest and a highest number that the measure of individual welfare assigns. Whatever these numbers are, the value assigned to v p max should be at least double the value assigned to v p min, whereas the value assigned to v n min should be at least double the value assigned to v n max. (The technical reasons for these assumptions will be explained later.) The assumption that individual welfare has bounds is consistent with most theories of individual welfare, as most theories postulate goods and bads that cannot be infinitely large or infinitely small. This is the case for all theories that postulate goods and bads that depend on psychological features, as such features naturally have bounds. There are limits to pleasures and pains, virtues and vices, needs and harms, wishes and fears, etc.
Moving on to social welfare, I will assume that it too is a quantitative bipolar property with a neutral point. This also makes social welfare measurable in theory, and I will assume that such a measure can be found. It would be a function W assigning real numbers to populations, directly representing their levels of welfare, and indirectly representing relations between their levels of welfare. Positive welfare would

Conditions
In this section I present the six conditions concerning how populations should be ranked in terms of social welfare. The conditions will be discussed relative to each relevant factor, beginning with quality. Underlying the conditions is an assumption that quantity, quality and equality all matter for social welfare-an assumption that I will not argue for in this essay.

Conditions concerning quality
The idea that quality matters for social welfare is hardly controversial. Surely, if the members of a population fare better, the population itself does better (everything else being equal). 6 This idea can be understood in several different ways, however. Quality of individual welfare can be understood as either a vector property or a scalar property of populations. In the first case, quality is represented by a vector of numbers, showing the welfare of each individual. In the second case, quality is represented by a single number, which could be selected in different ways. Most commonly, average welfare is chosen. Here I will consider both kinds of quality, beginning with quality as a vector property.
It is well-known that vector properties are not straightforwardly comparable in the same way as scalar properties. If we regard quality of welfare as a vector property, there are only a few cases where we can confidently rank populations on its basis. One such case is the following: If two populations are equivalent in terms of individual welfare, then they should be ranked as equal in terms of social welfare. This idea can be more precisely presented as follows: Equivalence Condition: For a measure of social welfare W and for all possible populations A and B and their members p i ∈ A and q i ∈ B, such that |A| |B|, if there is a bijection from A to B, such that each individual p i ∈ A could be paired with an individual q i ∈ B so that for each pair of individuals (p i , q i ) it is the case that v(p i ) v(q i ), then A does equally well as B, and thus W (A) W (B). 7 To illustrate: If A and B have three members each, and the welfare levels of their members are represented by the vectors v A (12,16,14) and v B (16, 14, 12), a measure of social welfare should rank A and B as equal in terms of social welfare.
The Equivalence Condition implies that it does not matter for social welfare how a set of welfare values is distributed among individuals. Thus the identities of the individuals do not matter, and neither do any of their properties (apart from their levels of welfare). This makes the condition consonant with the idea that each person's welfare matters equally to social welfare.
Another and almost as uncontroversial comparison is this: if one population strictly dominates another in terms of individual welfare, then the former should be ranked as better in terms of social welfare. This idea can be captured by the following condition: Dominance Condition: For a measure of social welfare W and for all possible populations A and B and their members p i ∈ A and q i ∈ B, such that |A| |B|, if there is a bijection from A to B, such that each individual p i ∈ A could be paired with an individual q i ∈ B so that for each pair of individuals (p i , q i ) it is the case that v(p i ) ≥ v(q i ), and there is at least one pair of individuals (p j , q j ) for which it is the case that v(p j ) > v(q j ), then A does better than B, and thus W (A) > W (B). 8 To illustrate: If A and B have three members each, where v A (16,12,14) and v B (14, 14, 12), a measure of social welfare should rank A over B.
The Dominance Condition implies that quality is more important than equality for social welfare. That is, it is more important for social welfare that each individual fare as well as possible than that individuals fare equally well. Since even egalitarians agree with this, it is not very controversial. 9 Having exhausted the (more or less) uncontroversial comparative possibilities for quality regarded as a vector property, I now move on to quality regarded as a scalar property, in the form of average individual welfare.
In this context, where I have assumed that three factors influence social welfare, it is least controversial to propose an everything-else-being-equal type of condition, where average welfare is varied and the other two factors are held fixed. This avoids weighing the importance of the three factors against one another and thus makes the condition hard to deny. More precisely, the condition can be formulated as follows: Quality Condition: For a measure of social welfare W and for all possible populations A and B and their members p i ∈ A and q i ∈ B, such that |A| n and |B| m, v(p i ) v(q i ), and the members of A all have the same level of welfare, and the members of B all have the same level of welfare, if v(p i )/n > v(q i )/m, then A does better than B, and thus W (A) > W (B).
Assuming maximal equality, the Quality Condition implies that it is better to distribute a fixed positive amount of welfare within a smaller population, whereas it is better to distribute a fixed negative amount within a larger. To illustrate: If A has two members and B has three, where v A (12,12) and v B (8,8,8), a measure of social welfare should rank A over B. If C has three members and D has two, where v C (−8, −8, −8) and v D (−12, −12), a measure of social welfare should rank C over D.
The Quality Condition emphasizes the importance of the welfare levels of individuals rather than the number of individuals for the welfare of populations. One could oppose the condition in several ways. One possibility would be to flatly deny that quality in itself matters to social welfare, claiming that it matters only by contributing to quantity of welfare. In that case v A (12, 12) and v B (8, 8, 8) would be equally good. This idea, however, goes against a main assumption of this essay, which is that welfare levels of separate individuals are important in themselves. Another possibility would be to claim that people contribute positively to social welfare by their very existence. In that case the contribution of additional people could trump a higher average welfare, making v B (8, 8, 8) a better population than v A (12, 12). This claim, however, has problematic implications. It implies that (i) a population with people who fare neither well nor poorly would have positive social welfare; (ii) this welfare could improve indefinitely just by adding more people who fare neither well nor poorly; and thus (iii) for each population of people who all fare very well there could be a better (and larger) population of people who all fare neither well nor poorly. All these implications are implausible.
Yet another aspect of quality is its positive and negative sides. These could matter equally to social welfare, or one side could matter more. It seems to me that illfare matters more. 10 A population v A (−5, −5) is plausibly bad to a higher degree than a population v B (5, 5) is good. Likewise, a change from (−5, 5) to (0, 5) is plausibly better than a change from (−5, 5) to (−5, 10)-and not just for egalitarian reasons. If I am correct in this, the following condition holds: Asymmetry Condition: For a measure of social welfare W and for all possible populations A and B if there is a bijection from A to B, such that each individual p i ∈ A could be paired with an individual q i ∈ B so that for each pair of individuals (p i , q i ) it is the case that |v(p i )| |v(q i )| and also the case that v(p i ) > v(q i ), then |W (A)| < |W (B)|. 11 To illustrate: If A has the individual welfare vector v A (16,12,14) and B has the individual welfare vector v B (−16, −12, −14) then A is good to a lesser degree than B is bad.
Note that the Asymmetry Condition does not specify the degree to which illfare matters more than welfare. It only excludes the possibilities that they matter to the exact same degree and that welfare matters more. It is thus consistent with the ideas that illfare matters just slightly more than welfare, that it matters much more, and that it matters to some degree in between. Moreover, it is also consistent with the ideas that illfare matters exclusively or lexically above welfare for social welfare, although these ideas are not plausible in themselves. 12 The first idea has the absurd implication that, for example v A (1, 1, 1) is as good as v c (16,12,14), which goes against the Dominance Condition. The second idea has the almost equally absurd implication that, for example, v D (16, 16, −2) is worse than v E (1, 1, −1)-an implication that perhaps only an adherent of Leximin could tolerate. 13

Conditions concerning quantity
Quantity of welfare is usually regarded as relevant to social welfare as well. If there is more individual welfare in a population, the population itself does better (everything else being equal). 14 Just like quality, quantity could be regarded as either a vector property or a scalar property of populations. Regarded as a vector property, it would also be represented by a vector of numbers, representing the welfare of each individual. Since this would collapse the distinction between quality and quantity, I will consider quantity only as a scalar property, that is, as represented by the total amount of individual welfare.
The way in which total welfare matters for social welfare is, again, least controversially captured by an everything-else-being-equal type of condition, similar to the Quality Condition. It can be formulated thus: Quantity Condition: For a measure of social welfare W and for all possible populations A and B and their members p i ∈ A and q i ∈ B, such that |A| n and |B| m, v(p i )/n v(q i )/m, and the members of A and B all have the same level of welfare, if v(p i ) > v(q i ), then A does better than B, and thus W (A) > W (B).
To illustrate: If A has three members and B has two, where v A (12, 12, 12) and v B (12, 12), a measure of social welfare should rank A over B. Also, if C has two 11 The Asymmetry Condition is similar to Griffin's Weak Negative Doctrine (which he does not endorse, however). See Griffin (1979: 51). 12 Arguments against the view that illfare matters exclusively can be found in Smart (1958: 542), Smart (1961: 19-20), Acton (1963: 84) and Griffin (1979: 48). 13 Leximin was proposed by Sen (1970: 138). members and D has three, where v C (−12, −12) and v D (−12, −12, −12), a measure of social welfare should rank C over D.
The Quantity Condition seems plausible but unnecessarily restrictive. It only concerns comparisons between populations that have the same average welfare and maximal degree of equality. For these cases, a population with a higher total sum of welfare is higher ranked. Intuitively, however, a population with a higher total sum should be higher ranked also in other comparisons. For example: adding welfare to a population (without making anyone worse off) should make the population better. This should hold regardless of whether welfare is added to existing individuals or is added by bringing well-faring individuals into existence. Similarly, adding illfare to a population (without making anyone better off) should make the population worse, regardless of whether illfare is added to existing individuals or is added by bringing illfaring individuals into existence. The first parts of these intuitions are captured by the Dominance Condition. The last parts can be summarized in the following condition: To illustrate: if A is a population and if q i and q j are individuals that may be brought into existence with v(q i ) 12 and v(q j ) −12, then A ∪ {q i } would fare better than A while A ∪ {q j } would fare worse than A.
The positive part of the condition is more controversial than the negative part. Most philosophers accept the negative part (except for adherents of the Average Measure, who accept neither), but some philosophers accept only the negative part and reject the positive. 16 It is far from clear that such an asymmetry can be motivated, however. If one rejects the positive part of the condition, one must either deny that quantity of welfare matters for social welfare or propose that something else matters in such a way that the population A ∪ {q} is no better than A, even though q fares well and no one else fares any worse. None of these options is appealing.

Conditions concerning equality
The third factor usually considered important for social welfare is equality of welfare. If the total amount of welfare is more equally distributed among the members of a population, the population itself does better. 17 The importance of equality to social welfare is least controversially captured by an everything-else-being-equal type of condition, similar to the Quality and Quantity conditions, as follows: Equality Condition: For a measure of social welfare W and for all possible populations A and B and their members p i ∈ A and q i ∈ B, such that |A| |B| n and v(p i ) v(q i ), if the welfare of the members of A is more equally distributed than the welfare of the members of B, then A does better than B, and thus W (A) > W (B).
Any egalitarian would accept this condition. It is not clear what it implies, however, since it is not clear how the phrase "more equally distributed than" should be interpreted. One possibility is to interpret the condition using one of the classic inequality measures. 18 This seems unnecessarily restrictive, however. In this context any interpretation may be regarded as acceptable, as long as it is provided by a measure that satisfies certain conditions.
There is no need here to go through the lengthy process of formulating conditions for an equality measure, finding a measure that satisfies them, using the measure to interpret the Equality Condition, and finding a social welfare measure that satisfies it. Instead we could directly formulate conditions for a social welfare measure that could also be used for an equality measure. If a social welfare measure would satisfy these conditions, it could be used as an equality measure, and could thus be regarded as satisfying an acceptable version of the Equality Condition.
Because there are many ways of understanding inequality, only a few conditions would be uncontroversial: those that rank a more equally faring pair of individuals above a less equally fairing pair, and those that rank a maximally equal population above a less equal population (everything else being equal). These are the conditions that I will propose, beginning with the first kind: Limited Equality Condition: For a measure of social welfare W and for all possible populations A and B and their members p i ∈ A and q i ∈ B, such that |A| |B| and v(p i ) v(q i ), if there is a bijection from A to B, such that each individual p i ∈ A could be paired with an individual q i ∈ B so that for each pair of individuals (p i , q i ) it is the case that v(p i ) v(q i ), except for four individuals:

then A does better than B, and thus W (A) > W (B). 19
To illustrate: If A and B have three members each, where v A (80, 10, 0) and v B (50, 40, 0), then B does better than A since there is a bijection from A to B such that for any two individuals, Assuming (as I have) that the does-better-than relation is transitive, the Limited Equality Condition also implies a condition of the second kind: 18 See for example any of the measures by Pareto (1896), Gini (1912), Pietra (1915), andTheil (1967). 19 The Limited Equality Condition is similar to Hammond's Equity Axiom (1976: 795), although that condition applies to different outcomes for the same people. It is also similar to the famous Pigou-Dalton Condition, although that condition concerns transfers from better off people to worse off people (see Pigou (1912: 27) and Dalton (1920: 351)). Both conditions are satisfied by prioritarian measures that aggregate individual welfare by separable strictly concave functions.

Maximal Equality Condition:
For a measure of social welfare W and for all possible populations A and B and their members p i ∈ A and q i ∈ B, such that |A| |B| n and v(p i ) v(q i ), if the welfare levels of the members of A are all equal, and if the welfare levels of the members of B are not all equal, then A does better than B, and thus W (A) > W (B). 20 To illustrate: If A and B have the same total sum of welfare of 90, and three members each, where v A (30,30,30) and v B (60, 20, 10), then A does better than B because A is maximally equally distributed and B is not.
Both the Limited Equality Condition and the Maximal Equality Condition can be converted into conditions for an equality measure by substituting "equality" for "social welfare" and "is more equal than" for "does better than". If these conditions are sufficient to identify an equality measure and such a measure is used to interpret the Equality Condition, then any measure that satisfies the Limited Equality Condition also satisfies a version of the Equality Condition. In this sense, the Limited Equality Condition implies the Equality Condition as well.

Summary of conditions
A total of nine plausible and compatible conditions for a measure of social welfare have been discussed in this section: Equivalence, Dominance, Quality, Asymmetry, Quantity, Strict Monotonicity, Equality, Limited Equality, and Maximal Equality. Three conditions may be eliminated from further discussion: Quantity (since it follows from Strict Monotonicity, together with Equivalence), Maximal Equality (since it follows from Limited Equality, assuming transitivity), and Equality (since a measure that satisfies Limited Equality would also satisfy Equality, under the proposed interpretation). This leaves us with six conditions: Equivalence, Dominance, Quality, Asymmetry, Strict Monotonicity, and Limited Equality. Because these conditions apply to different comparative cases they cannot be further reduced. If quantity, quality, and equality matter for social welfare in the ways proposed, these are the conditions that a measure of social welfare should satisfy.

The measure
The six conditions are not sufficient to characterize a single measure and thus there are several measures that satisfy them. I will present one such measure in this section and briefly explain how it satisfies the conditions. First, however, I will comment on how some other measures fare with respect to the proposed conditions.

Other measures
The presentation of competing measures will be rather limited, as I shall consider only four: • The Total Measure, which measures social welfare by the total sum of individual welfare. 21 • The Average Measure, which measures social welfare by the average level of individual welfare. 22 • The Prioritarian Total Measure, which measures social welfare by the total sum of individual welfare, weighted by a strictly concave function. 23 • The Prioritarian Average Measure, which measures social welfare by the total sum of individual welfare, weighted by a strictly concave function, and divided by the cardinality of the population. 24 Even though each of these measures satisfies some of the six conditions, none of them satisfies all six, as is shown in the following Here I should add that many prioritarian measures apply only to positive welfare values and need to be adjusted to apply to negative values as well. If applied only to positive welfare values, a prioritarian measure would only satisfy the Equivalence Condition.
The measure that I will propose satisfies five of the proposed conditions partly in the same way as the above mentioned measures satisfy some of them. It satisfies the Equivalence, Dominance, and Strict Monotonicity conditions partly by aggregating all individual welfare values, like the Total Measure. It satisfies the Quality Condition partly by using a ratio between an aggregate function on individual welfare values and a function on the cardinality of the population, like the Average Measure. Finally, it satisfies the Limited Equality Condition partly by using a strictly concave function to aggregate individual welfare values, like the two Prioritarian measures.
The main structural difference between the proposed measure and the other four is perhaps that the proposed measure uses two separate submeasures to aggregate positive and negative individual welfare, respectively. 25 This allows the measure to satisfy the Asymmetry Condition, which the other four measures do not. However, all four measures could be adjusted to give negative welfare larger weight, so this is not an essential difference.

The proposed measure
Let us then consider the new measure. It has a rather complicated form and therefore I will present the measure in several steps, beginning with the overall measure and continuing with its positive and negative parts. First, let W P be a measure of positive social welfare, W N a measure of negative social welfare, A a finite population, p a member of A, n the number of individuals in A, v a measure of individual welfare, v p max and v n min the highest and lowest possible levels of individual welfare, v p min the lowest possible level of individual welfare that is still positive, and v n max the highest possible level of individual welfare that is still negative, x the ratio between v p max and v p min, and y the ratio between v n min and v n max. The overall social welfare measure W is then defined as follows: , v p min |v n max|, and v p max |v n min|.
The first thing to note is that, strictly speaking, the measure is not a single measure but a class of measures, differing from one another regarding the values of α, v p max, v p min, v n max, and v n min. This class can be reduced to one measure, when (if ever) these values become known. For now they are left unspecified.
The point of the weight α, added only to the negative measure, and of the assumption that α > 1, is partly intuitive and partly technical. First, it accommodates the intuitive idea that negative welfare matters more for social welfare than positive welfare does and thus ensures that the measure satisfies the Asymmetry Condition. Secondly, it rewards equality for mixed positive and negative individual welfare values with (normalized) absolute values of 1 and thus ensures that the measure satisfies the Limited Equality Condition. It thus implies both that v A (1, 1) is judged as less good than v B (−1, −1) is bad, and that v C (1, −1) is judged as worse than v D (0, 0).
The assumption that n ≥ 2 and the assumptions that x ≥ 2 and y ≥ 2 are needed for the measure to satisfy the Strict Monotonicity Condition. The measure thus only 25 Others who have proposed measures conjoining separate submeasures for positive and negative welfare include Carlson (1998), Österberg (2006), and Brown (2007). applies when a population has at least two members, and when the value of v p max is at least double the value of v p min, and the value of v n min is at least double the value of v n max.
The assumptions that there are values v p max, v p min, v n max, and v n min have several functions (which will be discussed in detail below). Most obviously, they are used to determine the concavity of the numerator of the positive social welfare measure, the convexity of the numerator of the negative social welfare measure, and the concavity of the denominator of both measures. If there were no values v p max, v p min, v n max, and v n min, the measure would not satisfy all of the conditions. The specific assumptions that there are values v p min and v n max are needed also for a more general reason. Without these assumptions no continuous social welfare measure W (depending on v) could satisfy the Strict Monotonicity, Quality and Limited Equality conditions together. This is easy to show. Let us assume that there is a population A where everyone has positive welfare and let x, y, and z denote any individuals such Let us first assume that population A has the welfare vector v A (12, 12, 12), and that population B has the welfare vector v B (12, 12, 12, 0). Let us then assume that there is a population C with the same total welfare as A and B, the same number of people as B, but maximally equal. C thus has the welfare vector v C (9,9,9,9). According to the Equality Condition, C is better than B, so W (B) < W (C), and according to the Quality Condition, A is better than C, so W (C) < W (A). Thus, W (A) > W (C) > W (B). This, however, contradicts the result W (A) W (B), which we got when we assumed that there were no v p min and v n max for v. Thus, we must assume that there are v p min and v n max for v, in order for any W to satisfy the Strict Monotonicity, Quality and Limited Equality conditions, together.
The specific assumptions that there are values v p max and v n min are needed as well, although for a less general reason. Without these assumptions no continuous social increases with n, could satisfy the Strict Monotonicity Condition. This will be shown for v p max only (as the argument for v n min is similar). To begin with, let us assume that the social welfare measure W has the form W where g(n) increases with n, and f tends to infinity when any v(p i ) tends to infinity. Let us next assume that there is a number , v(p n )) + kg(n + 1). This means that there is a k such that adding a member with individual welfare v p min will not increase social welfare with more than k. Now, we can prove that without a v p max, the measure W could not satisfy the Strict Monotonicity Condition.
To see this, let us consider a population A with two members and a population B with three members where B A ∪ {q} and v(q) v p min. The social welfare mea- (2)), and thus . This contradicts the Strict Monotonicity Condition, which requires that W (B) > W (A). Thus, we must assume that there are v p max (and v n min) for v, in order for any W (of the specified form) to satisfy the Strict Monotonicity Condition.
The assumptions that v p min |v n max| and that v p max |v n min| are made for convenience, since it gives the two submeasures the same denominator. Note that everyone in the population occurs in the denominator of both the positive and the negative part of the measure, whether they fare well, poorly, or neutrally.
Finally, the point of using w(p i ) and z(p i ), rather than just v(p i ), is to normalize the measure, assigning a value of 1 to the minimal possible level of positive individual welfare, and a value of −1 to the maximal possible level of negative individual welfare. The number 1 thus functions as a unit of welfare.
There are more comments to be made regarding the form of the measure, but they relate separately to the positive and negative parts. Let us look at the positive part first.

Measuring positive welfare
The positive half of the proposed measure, W P , which aggregates only positive individual welfare, has the following form: Again, A is a finite population, p is a member of A, n is the number of individuals in A, v is a measure of individual welfare, and v p max and v p min are the highest and lowest possible levels of positive individual welfare, respectively.
Beginning with the numerator, it is an additively separable function on a vector of positive individual welfare values. This is the simplest kind of symmetric function, which ensures that the measure satisfies the Equivalence Condition. Because the function is strictly increasing, the measure satisfies the Dominance Condition, and because the function is strictly concave, the measure satisfies the Limited Equality Condition as well.
The denominator is a function of the cardinality of the population, which allows the measure to satisfy the Quality Condition. It also counters the strict subadditivity property of the concave function, which (implausibly) rewards the distribution of a fixed positive total sum of individual welfare values over more individual values.
For the measure to satisfy the Strict Monotonicity Condition, the denominator must grow at a slower rate than the numerator. This means that the total sum itself cannot be the numerator, and that cardinality itself cannot be the denominator. Instead, the numerator is raised to a power (r) that approaches 1, and the denominator is raised to a power (s) that approaches 0, as the ratio v p max/v p min increases. As a consequence, the measure increasingly approximates the Total Measure.
The choices for r and s ensure that the measure satisfies various conditions. For the measure to satisfy the Limited Equality Condition, it is necessary to choose an r < 1, ensuring strict concavity (where a smaller r gives equality larger weight and a larger r gives quality larger weight). For the measure to satisfy the Quality Condition, it is necessary to choose r and s such that r + s > 1 (see proof in the Appendix). For the measure to satisfy the Strict Monotonicity Condition, s must approach 0 as x approaches infinity. It is therefore necessary for large n that s < 2/x r . This can be shown as follows: Let A be a population with n members, all of which have maximal individual welfare, v p max x (say). Let B A ∪ {q} be a population with n + 1 members, where all but q have maximal individual welfare, and q has minimal positive welfare, v p min 1. Then by the Strict Monotonicity Condition we have W (A) nx r /n s < W (B) (nx r + 1)/(n + 1) s . We must then show that nx r /n s < (nx r + 1)/(n + 1) s . By multiplying both sides by (n + 1) s we get: (n + 1) s /n s × nx r < nx r + 1 … (I). An elementary inequality gives (n + 1) s /n s (1 + 1/n) s > 1 + s/2n. So for (I) to hold it is necessary that (1 + s/2n) × nx r < nx r + 1, which is equivalent to nx r + s/2 × x r < nx r + 1, which is equivalent to s/2 × x r < 1, which is s < 1/2x r . These considerations make it convenient to choose 1/2x for s, since it is simple and works for all n. Having made this choice for s, it is convenient to choose 1 − 0.9/2x for r, since this is quite simple and close to as concave as this choice could be. (Unfortunately, the simpler and more concave choice 1−1/2x does not work.)

Measuring negative welfare
At least from an aesthetic viewpoint, it would be nice if negative individual welfare could be aggregated in the same way as positive individual welfare. But for several reasons, it cannot. To see this, we may note that we could aggregate either negative welfare values or positive illfare values. Either choice would prevent us from using the same function as we used for positive welfare. The first choice would not give us a real valued social welfare measure. The second choice would not give us a measure that satisfies the Limited Equality Condition. This is because the measure of negative social welfare must be negative, and a negative of a concave function is a convex function, and convex functions do not reward equality.
In this context, where the positive illfare values of z(p i ) are used rather than the negative welfare values of v(p i ), individual illfare must be aggregated by a convex function. Here we can use a function that is similar to the concave function, although convex. If we do, the negative measure W N will look like this: Again, A is a finite population, p is a member of A, n is the number of individuals in A, v is a measure of individual welfare, and v n max and v n min are the highest and lowest possible levels of negative individual welfare, respectively.
Here the numerator is an additively separable function on a vector of positive individual illfare values. The measure satisfies the Equivalence Condition since the function is symmetric and the Dominance Condition since the function is strictly decreasing relative to illfare and thus strictly increasing relative to welfare. Because the numerator is the negative of a strictly convex function, it is strictly concave, and thus the measure satisfies the Limited Equality Condition as well.
The denominator of the negative measure is stipulated to be the same as for the positive measure, which facilitates adding the two. In this case too, the denominator allows the measure to satisfy the Quality Condition, although by rewarding a larger population rather than a smaller. The denominator also enhances the strict subadditivity property of the concave function, which (plausibly) rewards the distribution of a given negative total sum over more individual values.
Again, the denominator must grow at a slower rate than the numerator for the measure to satisfy the Strict Monotonicity Condition. In this case, the numerator is raised to a power (t) that approaches 1 and the denominator is raised to a power (u) that approaches 0, as the ratio v n min/v n max increases. Thus the negative measure increasingly approximates the Total Measure as well.
The choices for t and u ensure that the measure satisfies various conditions. For the measure to satisfy the Limited Equality Condition, it is necessary to choose a t > 1, ensuring strict convexity. For the measure to satisfy the Quality Condition, it is necessary to choose t and u such that t + u > 1 (see proof in the Appendix). Here, u has already been chosen to be the same as s in the positive case, but t cannot be chosen to be the same as r (since r < 1). However, it is possible to choose t so that the negative measure is similar to the positive measure, that is: it is possible to choose t so that t 1 + 0.9/2y, which is done here.
The weight α > 1 gives the negative measure larger weight than the positive measure. This weight is not specified (as it is not known). Technically, it assures that the measure satisfies the Asymmetry Condition and the Limited Equality Condition also for the special cases listed above. It also allows the negative measure to have much larger weight in comparison to the positive measure than what is possible by just aggregating illfare by a convex function and welfare by a concave function (as the convexity and concavity are restricted by other requirements).

An example
Before I go on to consider possible objections, let me briefly illustrate how the measure works. First, let us consider a very small population of four individuals, A, with individual welfare values given by the vector v A (10, 10, 0, −20). Let us assume that v p max 20, v p min 0.1, v n max −0.1, v n min −20, and that illfare has twice the weight of welfare so that α 2.
We begin by normalizing the individual welfare values so that v A (10, 10, 0, −20) The measure thus ranks E over C over D over A over B. This illustrates the idea that quality and equality make a difference for social welfare (even when quantity is nil).

Objections and replies
By accommodating quantity, quality, and equality, in the ways specified by the six conditions, the proposed measure fares better than its main competitors. However, one may object that the measure does not accommodate the three factors in an altogether plausible way. The proposed measure is mostly responsive to quantity, less to quality, and even less to equality. This gives rise to some controversial rankings.
In this section I will consider two objections concerning how the measure weighs the three relevant properties. First, however, I will consider five other possible objections.

Ad hoc-ness
A first possible objection is that the measure seems ad hoc in that its design has no motivation other than accommodating the three factors in the ways specified by the six conditions. This critique presupposes that a measure should do more than assign numbers to populations to represent levels of social welfare. It should, perhaps, reflect intrinsic dependence relations between social welfare and other factors in its very form. Now, the measure does reflect intrinsic dependence relations in its basic form: the conjoint form reflects that overall social welfare is a function both of social welfare and social illfare, the aggregation of all individual welfare values reflects that quantity matters for social welfare, and the use of a ratio between the aggregate individual welfare values and cardinality reflects that quality matters. The use of concave functions reflects the (conditional) importance of equality. In fact, the only details that do not reflect intrinsic dependence relations in this way are the values of r, s, t and u. They are chosen only for the purpose of satisfying the six conditions. As regrettable as this may seem, there really are no better options. No simple and transparent measure will satisfy the six conditions. And abandoning any of the conditions because they can be jointly satisfied only by a measure that appears ad hoc seems even more ad hoc.

Arbitrariness
A second possible objection is that the proposed measure is somewhat arbitrary in form. Although the general form of the measure is not arbitrary, the values of r, s, t and u need not be exactly as they are chosen here in order for the measure to satisfy the six conditions. For example: a variation, where r is set to 1 − 0.99/2x, rather than 1 − 0.9/2x, or t is set to 1 + 0.99/2y, rather than 1 + 0.9/2y, would also work (although less simple in notation).
Behind the arbitrariness worry lays the concern that if a proposed measure is in any way arbitrary we cannot be justified in thinking that the measure is correct. We can only be so justified if there is a reason for each detail of the proposed measure. In the ideal case, we should be able to list all conditions that are individually necessary and jointly sufficient to characterize the proposed measure and justify each one of them. In the present case, however, we might never be able to justify a condition that is able to fixate variables such as r, s, t and u. Consequently, we might never be justified in thinking that the proposed measure is correct (above its many variations).
Considering that it is unlikely that we will ever be justified in selecting the proposed measure above its many variations, it might be preferable to include all possible variations of the measure in its very form. This is feasible, although it requires a more thorough mathematical investigation than I can undertake here.

Insufficient specificity
A third possible objection is that the proposed measure is insufficiently specified, since there are no exact values given for α, v p max, v p min, v n max and v n min. However, it would only be preferable to have these values specified if they were known. Since they are not known, it is rather a virtue of the proposed measure that it works with different sets of values.

The larger weight of illfare
A fourth possible objection is that the proposed measure is asymmetrical. It gives more weight to negative social welfare than to positive social welfare and it also gives more weight to individual illfare than to individual welfare.
However, either these asymmetries are correct. Then the new measure is also correct, at least in being asymmetrical. Alternatively, these asymmetries are not correct. Then there will still be infinitely many versions of the new measure that are almost correct, partly by aggregating individual illfare by just a slightly convex function, and partly by assigning a weight to negative social welfare that is just infinitesimally larger than 1. In either case, the measure does well.

The punishment of neutral additions
A fifth possible objection is that the proposed measure ranks a population A ∪ {q} below A, when q is faring neither well nor poorly (and the total welfare in A is positive). Thus, additions that are neutral in terms of individual welfare are not treated as neutral in terms of social welfare. This might seem counterintuitive.
However, there are reasons not to yield to this objection. First, it does not seem clear (to me at least) that neutral additions are neutral for social welfare rather than bad (although it seems clear that they are not good). Secondly, and more importantly, the assumption that neutral additions are neutral for social welfare has unfortunate consequences. If we make this assumption, we cannot accept the Quality and the Limited Equality conditions together. This can easily be shown. First, we assume that A is a population where all members fare well and equally well. Next, we assume that a neutrally faring individual is added to A so that we get a population B A ∪ {q}. Last, we assume that C has the same total welfare as A and B, but that all members in C fare equally well, unlike the members in B. According to the Quality Condition, C is worse than A. According to the Limited Equality Condition, C is better than B. The two conditions thus rank A over C over B. But since B is worse than A, additions of neutrally faring individuals cannot be regarded as neutral-if we wish to accept the Quality and the Limited Equality conditions together.

The weight of equality relative to quantity and quality
A sixth possible objection is that the measure gives equality insufficient weight in comparison to quantity and quality. In fact, equality is given such a small weight that a more equal distribution rarely compensates for a lower total sum or a lower average welfare. This is due both to the use of concave functions, which give equality only a conditional effect on social welfare, and to the concave functions being only slightly concave. More generally, it is due to the measure being designed to satisfy the Strict Monotonicity Condition (which gives quantity larger weight than equality for some comparisons), the Dominance Condition (which gives quality larger weight than equality for other comparisons) and the Quality Condition (which combined with the other conditions limits the possibilities of the measure's design, see below).
Since we would not want to give up the Strict Monotonicity Condition, the Dominance Condition or the Quality Condition, equality must have lower weight than either quantity or quality in some cases. Even so, it might seem counterintuitive that it should have lower weight in cases not addressed by these conditions. Unfortunately, this seems to be an example of how a social welfare measure cannot satisfy all our intuitions. I doubt that any continuous measure that satisfies the above conditions could give equality larger weight. As far as the proposed measure goes, the problem cannot be solved without getting into even worse problems. If we were to increase the concavity of the functions, equality would get larger weight, but the resulting measure would not satisfy the Strict Monotonicity Condition and the Quality Condition. If we would represent equality by a separate measure, and add or multiply that with a measure similar to the proposed measure, equality would also get larger weight, but this kind of measure would not satisfy the Strict Monotonicity Condition and the Dominance Condition. The first modification fails because the Quality Condition requires the variables r and s to be such that r + s < 1 while the Strict Monotonicity Condition requires s to be small, which means that they together require r to be close to 1, resulting in weak concavity. The second modification fails because the use of a separate measure for equality allows equality to trump additional welfare. Assuming that there are no better techniques that we could use, equality cannot get a larger weight.

The weight of quality relative to quantity
A final possible objection is that the proposed measure gives quality insufficient weight in comparison to quantity. Because of this, the measure does not avoid the repugnant conclusion. 26 For any large possible population with very high levels of positive individual welfare there will always be a larger possible population with very low levels of positive individual welfare that is higher ranked. This seems repugnant not because it is in itself repugnant that people have low positive welfare, but because the population with better faring people intuitively should be higher ranked. 27 Note that the proposed measure generally fares better than the Total Measure in terms of giving quality an appropriate weight. It would not rank a larger population as equal to a population with a higher average welfare, unless the larger population has a higher quantity of welfare. Neither would it rank a larger population as better than a population with a higher average welfare, unless the larger population is much larger than what the Total Measure requires. Unfortunately, this is insufficient to prevent the repugnant conclusion. Quantity of welfare has too large an impact on the measure's rankings for that.
There are several possible solutions to this problem. One option is to deny that the repugnant conclusion is indeed repugnant (which many philosophers have done, for different reasons). 28 Another option is to grant that the repugnant conclusion is repugnant, although not sufficiently repugnant to warrant its denial. 29 A third option is to modify the proposed measure so that the repugnant conclusion does not follow. Let us look at these three responses in turn.
A second response is to grant that the conclusion is repugnant, but argue that it should be accepted nonetheless. One could argue that a conclusion that follows from a set of reasonable assumptions should be reasonable as well. 32 As the repugnant conclusion follows from a set of reasonable assumptions (including the idea that a population improves by adding welfare and the idea that welfare never diminishes in value) it should be okay.
A third response is to modify the proposed measure so that the conclusion does not follow. This choice may be more problematic than the repugnant conclusion itself, however. Let me give some examples of such possible modifications.
One way to avoid the repugnant conclusion would be to raise the numerators of the two submeasures to a power closer to 1, rather than 0. The resulting measure would be more similar to the Average Measure than the Total Measure and would avoid the conclusion in a similar way. Unfortunately, it would not satisfy the Strict Monotonicity Condition. Another way to avoid the repugnant conclusion would be to reduce the contributive value of individual welfare to social welfare so that each additional individual contributes less individual welfare. 33 The values of this modified measure would approach some constant rather than infinity, and thus avoid the conclusion. Unfortunately, this measure would not satisfy the Equivalence Condition.
There are other solutions proposed in the literature as well: the idea that quantity has a maximal contributive value, or that quality has a low maximal value, or that low positive values do not contribute to social welfare at all. 34 The first solution is inconsistent with the Strict Monotonicity Condition, the second solution does not solve the problem for all comparisons, and the third solution is inconsistent with both the Dominance Condition and the Strict Monotonicity Condition and does not solve the problem for all comparisons either.

Concluding remarks
So where do these objections leave us? The first objection is based on the dubious idea that a social welfare measure must be intuitively transparent. The following two objections could be met by gaining additional knowledge. The next two objections point to problems that might rather be virtues. Only the last two objections are really troubling. If they cannot be met, there may be only one way of dealing with them: by redesigning the measure in such a way that it no longer satisfies the six conditions. However, if quantity, quality, and quality matter for social welfare (and nothing else matters), it seems difficult to abandon any of the six conditions. Equivalence seems indisputable. The order in which individual welfare values occur cannot matter for social welfare. The Quantity, Quality, and Equality conditions are on a par, and equally difficult to deny. Surely: if two factors are held fixed, the third will be decisive. The Dominance Condition does put quality above equality, but that everyone fare as well as possible seems more important than that everyone fare equally well. Asymmetry seems intuitive and abandoning it would not solve any major problems. This leaves us with Strict Monotonicity: perhaps it could go?
If Strict Monotonicity is abandoned we might at least avoid the repugnant conclusion. But it is far from clear that we should make this choice. It seems certain that bringing ill-faring persons into existence makes a population worse, and almost as certain that bringing well-faring persons into existence makes a population better. That a large population of slightly well-faring people cannot be better than a smaller population of very well-faring people seems rather less certain.
I am not going to insist on this point here, however. The problem discussed is just an example of a more general problem in population ethics: that we cannot accommodate all of our intuitions concerning social welfare, and thus have to make a choice. 36 As difficult as such a choice may be, it need not be as difficult as that between quantity, quality, and equality of welfare. The measure proposed in this essay accommodates all three.
Funding Open access funding provided by Stockholm University.
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/. Proof Let us use w(p i ) v(p i )/v p min, rather than v(p i ). In this situation, w(p i ) ≥ 0 and w(q i ) ≥ 0, and all w(p i ) and all w(q i ) are equal. Since w(p i )/n > w(q i )/m, it is the case that |A| < |B|. It is sufficient to prove that the condition holds for m n + 1.
Let us then assume that w(p i ) k, where 1 ≤ i ≤ n, and that w(q j ) k n n+1 , where 1 ≤ j ≤ n + 1. This gives: We have to prove that: This is the same as: nk r n s > (n + 1) k n n+1 r (n + 1) s To prove (2), we divide both sides by the left hand side. This gives that we must prove that: 1 > (n + 1) k n n+1 r (n + 1) s n s nk r .

Satisfaction of the strict monotonicity condition
Strict Monotonicity Condition (positive part): For a measure of social welfare W and for any possible population A and any individual q / ∈ A, if v(q) ≥ 1 then A ∪ {q} does better than A and thus W (A ∪ {q}) > W (A).
Proof Let us again use w(p i ) v(p i )/v p min instead of v(p i ). To prove that the positive social welfare measure satisfies the Strict Monotonicity Condition, we need to prove: Since r > 0, it suffices to prove this for the case where v(q) v p min, which means that w(q) 1. By dividing both sides in (4) by the left hand side, we see that to prove (4) it suffices to prove that: This is the same as: To prove (4) it suffices to prove (5), assuming that all w(p i ) w p max x, and that 1 ≤ i ≤ n, that is, to prove: Since s 1 2x and r 1 − 0.9 2x this means that (6) becomes: We have to prove that (7) holds for all x ≥ 2, n ≥ 2. For this we use the elementary inequality: By putting (8) into (7), we see that it suffices to prove: Putting 1 x −0.9 2x x 0.9 2x and doing the multiplication in the right hand side of (9) we get that (9) is equivalent to: To prove (9) for the case 2 ≤ x ≤ 4, we see that by (10) and (11), the right hand side of (9) is larger than: .

Satisfaction of the limited equality condition
Limited Equality Condition: For a measure of social welfare W and for all possible populations A and B and their members p i ∈ A and q i ∈ B, such that |A| |B| and v(p i ) v(q i ), if there is a bijection from A to B, such that each individual p i ∈ A could be paired with an individual q i ∈ B so that for each pair of individuals (p i , q i ) it is the case that v(p i ) v(q i ), except for four individuals: p 1 , p 2 , q 1 , q 2 , such that |v(p 1 ) − v(p 2 )| < |v(q 1 ) − v(q 2 )|, then A does better than B, and thus W (A) > W (B).
Proof Since the number of options is fixed, we only need to show that a separable strictly concave measure of the form: satisfies the Limited Equality Condition (as noted: A is a finite population, p is a member of A, w is a measure of welfare, and n is the number of persons in A). Again, we are using w(p i ) v(p i )/v p min rather than v(p i ).
We then apply the Mean Value Theorem. Assume that the function f is continuous on the closed interval [w(q 1 ), w(p i )] and differentiable on the open interval (w(q 1 ), w(p i )). Then there exists some θ 1 in (w(q 1 ), w(p i )) such that: The function f is also continuous on the closed interval [w(p 2 ), w(q 2 )] and differentiable on the open interval (w(p 2 ), w(q 2 )). So there also exists some θ 2 in (w(p 2 ), w(q 2 )) such that: We know that w(p 1 ) − w(q 1 ) w(q 2 ) − w(p 2 ). We also know that θ 1 < θ 2 since they are located in different intervals. This means that f'(θ 1 ) > f'(θ 2 ) since the function f is concave and the derivative is monotonically decreasing.

Proofs for the negative social welfare measure
Let A be a finite population, p a member of A, n the number of individuals in A, v a measure of individual welfare, and v n max and v n min the highest and lowest possible levels of negative individual welfare, respectively. Then we have: The negative social welfare measure W N , where: v n max , t 1 + 0.9 2y , u 1 2y , y v n min v n max , where: α > 1, v(p i ) ≤ 0, n ≥ 2, y ≥ 2.
I will now show that W N satisfies the five conditions.

Satisfaction of the equivalence condition
Equivalence Condition: For a measure of social welfare W and for all possible populations A and B and their members p i ∈ A and q i ∈ B, such that |A| B|, if there is a bijection from A to B, such that each individual p i ∈ A could be paired with an individual q i ∈ B so that for each pair of individuals (p i , q i ) it is the case that v(p i ) v(q i ), then A does equally well as B, and thus W (A) W (B).
Proof The negative social welfare measure satisfies the Equivalence Condition since it is a symmetric function.

Satisfaction of the dominance condition
Dominance Condition: For a measure of social welfare W and for all possible populations A and B and their members p i ∈ A and q i ∈ B, such that |A| |B|, if there is a bijection from A to B, such that each individual p i ∈ A could be paired with an individual q i ∈ B so that for each pair of individuals (p i , q i ) it is the case that v(p i ) ≥ v(q i ), and there is at least one pair of individuals (p j , q j ) for which it is the case that v(p j ) > v(q j ), then A does better than B, and thus W (A) > W (B).
Proof It is trivial that the negative social welfare measure satisfies the Dominance Condition, since n i 1 z( p i ) t is a strictly increasing function of z(p i ) for every i and − n i 1 z( p i ) t therefore is a strictly decreasing function for every i (and z(p i ) v(p i )/v n max).

Satisfaction of the quality condition
Quality Condition: For a measure of social welfare W and for all possible populations A and B and their members p i ∈ A and q i ∈ B, such that |A| n and |B| m, v(p i ) v(q i ), and the members of A all have the same level of welfare, and the members of B all have the same level of welfare, if v(p i )/n > v(q i )/m, then A does better than B, and thus W (A) > W (B).
ProofIn this situation, v(p i ) ≤ 0 and v(q i ) ≤ 0, and all v(p i ) and all v(q i ) are equal.
Since v(p i )/n > v(q i )/m, it is the case that |A| > B|. It is sufficient to prove that the condition holds for n m + 1.
Let us use z(p i ) v(p i )/v n max and assume that z(p i ) k, where 1 ≤ i ≤ m, and that z(q j ) k m m+1 , where 1 ≤ j ≤ m + 1. To prove that the negative social welfare measure satisfies the Quality Condition, we need to prove that: which becomes: which is equivalent to: which holds since u + t > 1.

Satisfaction of the strict monotonicity condition
Strict Monotonicity Condition (negative part): For a measure of social welfare W and for any possible population A and any individual q / ∈ A, if v(q) ≤ −1, then A ∪ {q} does worse than A and thus W (A ∪ {q}) < W (A).
Proof The proof is similar to the proof for the positive social welfare measure. To prove that the negative social welfare measure satisfies the Strict Monotonicity Condition, it is sufficient to look at the case where z(q) 1. Thus we need to show that, for t 1 + 0.9 2y , it is the case that: This is equivalent to: 1 < n u (n + 1) u 1 + Similarly to the positive case it suffices to prove this for |v(p i )| |v n |max and 1 ≤ i ≤ n, that is, to prove: that is, to prove: With u 1 2y , it suffices to prove:  (14) is proved and the Strict Monotonicity Condition holds.

Satisfaction of the limited equality condition
Limited Equality Condition: For a measure of social welfare W and for all possible populations A and B and their members p i ∈ A and q i ∈ B, such that |A| |B| and v(p i ) v(q i ), if there is a bijection from A to B, such that each individual p i ∈ A could be paired with an individual q i ∈ B so that for each pair of individuals (p i , q i ) it is the case that v(p i ) v(q i ), except for four individuals: p 1 , p 2 , q 1 , q 2 , such that |v(p 1 ) − v(p 2 )| < |v(q 1 ) − v(q 2 )|, then A does better than B, and thus W (A) > W (B).
Proof That the negative social welfare measure satisfies the Limited Equality Condition can be shown by using the same proof that was used for the positive social welfare measure, since a negative function of a strictly convex function is a strictly concave function.

Proofs for the overall social welfare measure
Let W P be a measure of positive social welfare, W N a measure of negative social welfare, A a finite population, p a member of A, n the number of individuals in A, v a measure of individual welfare, v p max and v n min the highest and lowest possible levels of individual welfare, v p min the lowest possible level of individual welfare that is still positive, and v n max the highest possible level of individual welfare that is still negative, x the ratio between v p max and v p min, and y the ratio between v n min and v n max. Then we have: The overall social welfare measure W , where: v n max , t 1 + 0.9 2y , u 1 2y , y v n min v n max , where: α > 1, v(p i ) ≤ 0, n ≥ 2, y ≥ 2, v p min |v n max|, and v p max |v n min|.
I will last show that W satisfies the six conditions.

Satisfaction of the equivalence condition
Equivalence Condition: For a measure of social welfare W and for all possible populations A and B and their members p i ∈ A and q i ∈ B, such that |A| |B|, if there is a bijection from A to B, such that each individual p i ∈ A could be paired with an individual q i ∈ B so that for each pair of individuals (p i , q i ) it is the case that v(p i ) v(q i ), then A does equally well as B, and thus W (A) W (B).
Proof The overall social welfare measure satisfies the Equivalence Condition since it is a symmetric function.

Satisfaction of the dominance condition
Dominance Condition: For a measure of social welfare W and for all possible populations A and B and their members p i ∈ A and q i ∈ B, such that |A| |B|, if there is a bijection from A to B, such that each individual p i ∈ A could be paired with an individual q i ∈ B so that for each pair of individuals (p i , q i ) it is the case that v(p i ) ≥ v(q i ), and there is at least one pair of individuals (p j , q j ) for which it is the case that v(p j ) > v(q j ), then A does better than B, and thus W (A) > W (B).
Proof It is trivial that the overall social welfare measure satisfies the Dominance Condition, since it is composed of two strictly increasing functions.

Satisfaction of the quality condition
Quality Condition: For a measure of social welfare W and for all possible populations A and B and their members p i ∈ A and q i ∈ B, such that |A| n and |B| m, v(p i ) v(q i ), and the members of A all have the same level of welfare, and the members of B all have the same level of welfare, if v(p i )/n > v(q i )/m, then A does better than B, and thus W (A) > W (B).
Proof: Let us use normalized values instead of the values of v. We use w for both positive and negative values (rather than w for positive and z for negative). There are three relevant cases: In the first case the proposed measure satisfies the Quality Condition since the positive part of the measure satisfies the condition. In the second case it satisfies the condition since the negative part of the measure satisfies the condition. In the third case it trivially satisfies the condition since the measure gives the result that W (A) > 0 and W (B) < 0.

Satisfaction of the strict monotonicity condition
Strict Monotonicity Condition: For a measure of social welfare W and for any possible population A and any individual q / ∈ A, if v(q) ≥ 1 then A ∪ {q} does better than A and thus W (A ∪ {q}) > W (A) and if v(q) ≤ −1, then A ∪ {q} does worse than A and thus W (A ∪ {q}) < W (A).
Proof That the overall social welfare measure satisfies the Strict Monotonicity Condition follows from the fact that both the positive and negative parts of the measure satisfy the condition.

Satisfaction of the limited equality condition
Limited Equality Condition: For a measure of social welfare W and for all possible populations A and B and their members p i ∈ A and q i ∈ B, such that |A| |B| and v(p i ) v(q i ), if there is a bijection from A to B, such that each individual p i ∈ A could be paired with an individual q i ∈ B so that for each pair of individuals (p i , q i ) it is the case that v(p i ) v(q i ), except for four individuals: p 1 , p 2 , q 1 , q 2 , such that |v(p 1 ) − v(p 2 )| < |v(q 1 ) − v(q 2 )|, then A does better than B, and thus W (A) > W (B).
Proof We may prove that the measure satisfies the Limited Equality Condition in two steps: first we show that the Limited Equality Condition follows from a Priority Condition. Next we show that the measure satisfies the Priority Condition (and consequently also the Limited Equality Condition). This is the condition in question: Priority Condition: For a measure of social welfare W and for any possible population C and for any individuals r i , s i ∈ C such that v(r i ) < v(s i ), if it is possible to either raise the welfare of r i by m, resulting in population C* or raise the welfare of s i by m, resulting in population C**, then C* would fare better than C** and thus W (C*) > W (C**).
To show that the Limited Equality Condition follows from the Priority Condition, we first assume that v(q 1 ) < v(p 1 ) ≤ v(p 2 ) < v(q 2 ) (which we can do without loss of generality).
Next, consider a population C, where |C| |A| |B|, and members r 1 and s 1 , such that v(r 1 ) v(q 1 ), and v(s 1 ) v(p 2 ), and for all other i, v(r i ) v(s i ) v(p i ) v(q i ).
First case (i): the case where w(p) ≥ 0, and it must be the case that w(q) ≥ 1, since w(p) < w(q) and 1 is the smallest possible positive value of w(r) for any r. In this case W N (A) W N (A*) W N (A**), so we only need to consider the changes of W P (A) when A is replaced by A* and A**, respectively. We have: (w( p) + m) r − (w( p)) r n s > (w(q) + m) r − (w(q)) r n s W p ( A * * ) − W p ( A). Second case (ii): the case where w(p) + m < w(q) + m ≤ 0 and thus w(p) < w(q) < 0. Obviously, in this case: W P (A) W P (A*) W P (A**), so we only need to look at the negative part of the overall social welfare measure. That W (A*) > W (A**) may then be proved in an analogous way to the previous case.
Next we have to consider the cases where the changes from A to either A* or A** may affect both the positive and negative parts of the overall social welfare measure. We shall first consider the third case.
Fifth case (