pith. sign in

arxiv: 2503.00039 · v2 · submitted 2025-02-25 · 💰 econ.GN · q-fin.EC

Measure of Morality: A Mathematical Theory of Egalitarian Ethics

Shuang Wei This is my paper

Pith reviewed 2026-05-23 02:55 UTC · model grok-4.3

classification 💰 econ.GN q-fin.EC
keywords egalitarian ethicsinequality measuresGini coefficientAtkinson indexrepresentation theoremswelfare economicsaxiomatic foundationdistributional justice
0
0 comments X

The pith

Representation theorems axiomatize the Gini coefficient and a generalized Atkinson index inside a welfare model that tracks both total utility and outcome distribution.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper builds a formal model from welfare economics to evaluate distributions by weighing total utility against how evenly outcomes are spread. It constructs examples such as probabilistic trolley dilemmas to show where informal ethical reasoning breaks down and where standard inequality statistics fall short. The core move is to prove representation theorems that tie specific ethical axioms to the Gini coefficient and a generalized Atkinson index, while also showing that rank-weighted approaches lead to contradictions. This turns debates about fairness into statements that can be checked against a set of axioms rather than left as intuition.

Core claim

By embedding both aggregate welfare and distributional concerns in a single formal model, the paper derives representation theorems that characterize the Gini coefficient and a generalized Atkinson index from explicit axioms, while proving impossibility results for any rank-weighted inequality measure.

What carries the argument

Representation theorems that link a set of ethical axioms on total utility and distribution to the functional form of the Gini coefficient and generalized Atkinson index.

If this is right

  • Common statistical inequality measures lack justification once total utility and distribution are required to be treated together.
  • Any approach that weights outcomes solely by their rank in the distribution cannot be axiomatized consistently.
  • The Gini coefficient receives a unique characterization once the axioms on total utility and dispersion are fixed.
  • A generalized Atkinson index can be derived from the same axiomatic base by varying one parameter.
  • Normative philosophy gains a coherent set of testable axioms rather than relying on informal comparison.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same axiomatic structure could be applied to evaluate policy proposals that trade off average income against inequality in real data sets.
  • Probabilistic versions of moral dilemmas could be turned into numerical tests of whether the derived measures match widely shared intuitions.
  • The impossibility result for rank-weighted rules might extend to other ethical frameworks that rely on ordering rather than cardinal differences.
  • If the model is adopted, computational tools could check whether observed income distributions satisfy the axioms that justify Gini.

Load-bearing premise

Ethical judgments about distributions can be fully captured by a welfare model that adds a concern for how utility is spread to a concern for total utility.

What would settle it

A concrete set of distributions and ethical judgments where every axiom the paper uses holds yet the Gini or Atkinson functional form fails to match the required ranking, or where a rank-weighted measure satisfies all the stated axioms without contradiction.

read the original abstract

This paper develops a rigorous mathematical framework for egalitarian ethics by integrating formal tools from economics and mathematics. We motivate the formalism by investigating the limitations of conventional informal approaches by constructing examples such as probabilistic variant of the trolley dilemma and comparisons of unequal distributions. Our formal model, based on canonical welfare economics, simultaneously accounts for total utility and the distribution of outcomes. The analysis reveals deficiencies in traditional statistical measures and establishes impossibility theorems for rank-weighted approaches. We derive representation theorems that axiomatize key inequality measures including the Gini coefficient and a generalized Atkinson index, providing a coherent, axiomatic foundation for normative philosophy.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The paper develops a mathematical framework for egalitarian ethics by integrating tools from economics and mathematics. It motivates the approach via examples including a probabilistic trolley dilemma and comparisons of unequal distributions, then presents a formal model based on canonical welfare economics that jointly tracks total utility and distributional outcomes. The analysis identifies deficiencies in traditional statistical measures, proves impossibility theorems for rank-weighted rules, and derives representation theorems axiomatizing the Gini coefficient and a generalized Atkinson index to supply an axiomatic foundation for normative philosophy.

Significance. If the representation theorems are correctly derived without circularity, the work could supply a rigorous axiomatic basis for standard inequality measures inside a welfare-economic model that incorporates both aggregate utility and equity considerations, thereby linking formal economics to egalitarian ethics. The use of impossibility results for rank-weighted approaches and the joint treatment of total and distributional utility are standard strengths of the underlying framework, but the absence of explicit axioms or proof steps prevents confirmation of novelty or non-circularity.

major comments (2)
  1. [Abstract] Abstract: the central claims of establishing impossibility theorems for rank-weighted approaches and deriving representation theorems that axiomatize the Gini coefficient and generalized Atkinson index are asserted without any displayed axioms, formal statements of the theorems, or proof sketches; this omission is load-bearing because the soundness of the representation results cannot be checked and the circularity risk (axioms chosen to recover known indices) cannot be evaluated.
  2. The formal model is described only as 'based on canonical welfare economics that simultaneously accounts for total utility and the distribution of outcomes'; without the specific functional form, domain, or separability assumptions, it is impossible to determine whether the representation theorems are non-trivial or whether they reduce to standard results by construction.
minor comments (1)
  1. [Abstract] Abstract: 'probabilistic variant of the trolley dilemma' should read 'a probabilistic variant of the trolley dilemma' for grammatical clarity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting issues with the presentation of the formal results. We address each major comment in turn.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the central claims of establishing impossibility theorems for rank-weighted approaches and deriving representation theorems that axiomatize the Gini coefficient and generalized Atkinson index are asserted without any displayed axioms, formal statements of the theorems, or proof sketches; this omission is load-bearing because the soundness of the representation results cannot be checked and the circularity risk (axioms chosen to recover known indices) cannot be evaluated.

    Authors: The abstract serves as a concise summary and, by convention, does not include full formal statements or proofs. The complete axioms, theorem statements, and proof sketches are provided in the body of the paper (Sections 2-4). We will revise the abstract to include brief mentions of the key axioms and the main representation results to address this concern. On the issue of circularity, the axioms are motivated by ethical considerations from egalitarian philosophy, as explained in the introduction, rather than being selected to fit the indices. revision: yes

  2. Referee: [—] The formal model is described only as 'based on canonical welfare economics that simultaneously accounts for total utility and the distribution of outcomes'; without the specific functional form, domain, or separability assumptions, it is impossible to determine whether the representation theorems are non-trivial or whether they reduce to standard results by construction.

    Authors: Section 2 of the manuscript provides the specific details of the formal model, including the domain of utility distributions, the functional form of the social welfare function that separates total utility from distributional concerns, and the separability assumptions. We agree that a summary of these elements would improve the abstract and will add a sentence describing the model more precisely in the revised abstract. revision: yes

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper states that it derives representation theorems axiomatizing the Gini coefficient and a generalized Atkinson index within a model based on canonical welfare economics that accounts for total utility and distributional outcomes. No equations, axioms, or proof steps are supplied that would allow verification of any reduction by construction, such as an output measure being defined into the input axioms or a fitted parameter relabeled as a prediction. Representation theorems of this type, when grounded in external welfare-economics primitives rather than self-referential definitions or self-citation chains, constitute independent characterizations rather than tautological restatements. Absent any quoted text exhibiting self-definitional, fitted-input, or load-bearing self-citation patterns, the derivation remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review is based solely on the abstract; the paper invokes standard welfare-economics assumptions without listing new free parameters or invented entities.

axioms (1)
  • domain assumption Canonical welfare economics simultaneously accounts for total utility and the distribution of outcomes
    Explicitly identified in the abstract as the basis of the formal model.

pith-pipeline@v0.9.0 · 5615 in / 1103 out tokens · 36418 ms · 2026-05-23T02:55:28.798988+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel echoes
    ?
    echoes

    ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

    A preference relation ≿ on L satisfies Axioms 1–4 if and only if there exists a continuous and non-increasing function p(u) on [0,1] such that L1 ≿ L2 ⇔ ∫p(u)dL1(u) ≥ ∫p(u)dL2(u). ... Theorem 3: the only ≿ satisfying Axioms 1–5 is L1 ≿ L2 ⇔ J(L1) ≤ J(L2) where J is the Gini coefficient

  • IndisputableMonolith/Foundation/ArithmeticFromLogic.lean absolute_floor_iff_bare_distinguishability echoes
    ?
    echoes

    ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

    Axiom 2 (Homogeneity). Fairness measure f(x) is homogeneous of degree 0: f(x)=f(t·x) ∀t>0. ... Axiom 4 (Partition) ... g(y)=log y or g(y)=y^β ... f(x)=sign ∏(xi/∑xj)^r·(xi/∑xj) or power form

  • IndisputableMonolith/Cost.lean Jcost_pos_of_ne_one echoes
    ?
    echoes

    ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

    ratio-invariable is generally regarded one of the strongest and reasonable condition for distributive theory

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

  1. [1]

    G.H. Hardy. Inequalities. Cambridge University Press, 1952

    work page 1952

  2. [2]

    Topological Methods in Cardinal Utilit y Theory

    Gerard Debreu. “Topological Methods in Cardinal Utilit y Theory”. In: Cowles Foundation Discussion Papers 299 (1959). url: https://elischolar.library.yale.edu/cowles-discussi on-paper-

    work page 1959

  3. [3]

    The Problem of Abortion and the Doctrine of the Double Effect

    Philippa Foot. “The Problem of Abortion and the Doctrine of the Double Effect”. In: Oxford Review 5 (1967), pp. 5–15

    work page 1967

  4. [4]

    Acz´ el and Z

    J. Acz´ el and Z. Dar´ oczy. On Measures of Information and Their Characterizations . Mathe- matics in Science and Engineering : a series of monographs an d textbooks. Academic Press, 1975

    work page 1975

  5. [5]

    Killing, Letting Die, and the Tr olley Problem

    Judith Jarvis Thomson. “Killing, Letting Die, and the Tr olley Problem”. In: The Monist 59.2 (1976), pp. 204–217. doi: 10.5840/monist197659224

    work page doi:10.5840/monist197659224 1976

  6. [6]

    Fishburn

    Peter C. Fishburn. Utility theory for decision making . Krieger NY, 1979

    work page 1979

  7. [7]

    The trolley problem

    Judith Jarvis Thomson. “The trolley problem”. In: The Yale Law Journal 94 (1984), p. 1395

    work page 1984

  8. [8]

    Weighing Goods: Equality, Uncertainty and Time

    John Broome. Weighing Goods: Equality, Uncertainty and Time . Wiley-Blackwell, 1991

    work page 1991

  9. [9]

    A Reconsideration of the Harsanyi?Sen Debate on Utilitarianism

    John A. Weymark. “A Reconsideration of the Harsanyi?Sen Debate on Utilitarianism”. In: Interpersonal Comparisons of Well-Being . Ed. by Jon Elster and John Roemer. Cambridge University Press, 1991, pp. 255–320

    work page 1991

  10. [10]

    Larry S. Temkin. Inequality. Oxford University Press, 1993

    work page 1993

  11. [11]

    What We Owe to Each Other

    Thomas Scanlon. What We Owe to Each Other . Cambridge: Harvard University Press, 1998

    work page 1998

  12. [12]

    Axiomatic Characterization of the Gini Coefficient and Lorenz Curve Order- ings

    Rolf Aaberge. “Axiomatic Characterization of the Gini Coefficient and Lorenz Curve Order- ings”. In: Journal of Economic Theory 101 (Feb. 2001), pp. 115–132. doi: 10.1006/jeth.2000.2749

    work page doi:10.1006/jeth.2000.2749 2001

  13. [13]

    H. Brezis. Functional Analysis, Sobolev Spaces and Partial Differenti al Equations . Universi- text. Springer New York, 2010. isbn: 9780387709130. url: https://books.google.com.hk/books?id=GAA2Xq

    work page 2010

  14. [14]

    An Axiomatic Theory of Fairne ss in Resource Allocation

    Tian Lan and Mung Chiang. “An Axiomatic Theory of Fairne ss in Resource Allocation”. In:

    work page

  15. [15]

    url: https://www.princeton.edu/~chiangm/fairness.pdf

    work page

  16. [16]

    Well-Being and Fair Distribution: Beyond Cost-Benefit Analy sis

    Matthew Adler. Well-Being and Fair Distribution: Beyond Cost-Benefit Analy sis. Oxford University Press, 2011

    work page 2011

  17. [17]

    Distributive Equality

    David McCarthy. “Distributive Equality”. In: Mind 124.496 (2015), pp. 1045–1109. doi: 10.1093/mind/fzv028

    work page doi:10.1093/mind/fzv028 2015

  18. [18]

    Probability in Ethics

    David McCarthy. “Probability in Ethics”. In: The Oxford Handbook of Probability and Philos- ophy. Ed. by Alan H´ ajek and Christopher Hitchcock. Oxford University Press, 2016, pp. 705– 737

    work page 2016

  19. [19]

    Consequentialism

    Walter Sinnott-Armstrong. “Consequentialism”. In: The Stanford Encyclopedia of Philosophy. Ed. by Edward N. Zalta and Uri Nodelman. Winter 2023. Metaphy sics Research Lab, Stanford University, 2023

    work page 2023