📈 economics

On the construction and representation of social welfare orders satisfying consequentialist equity axioms

Dit artikel onderzoekt de constructieve aard van sociale welzijnsordes op oneindige utiliteitsstromen die voldoen aan rechtvaardigheidsaxioma's zoals sterke rechtvaardigheid, Hammond-rechtvaardigheid of het Pigou-Dalton-transferprincipe, waarbij wordt aangetoond dat hoewel expliciete lexicografische beschrijvingen bestaan wanneer de utiliteitsverzameling welgeordend is, het bestaan van dergelijke orden op algemene domeinen niet-constructieve verzetstheoretische aannames vereist, zoals de existentie van een niet-Ramsey-collectie.

Oorspronkelijke auteurs: Ram Sewak Dubey

Gepubliceerd 2026-06-23

📖 6 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Ram Sewak Dubey

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een kosmische scheidsrechter bent, belast met het rangschikken van het geluk van een oneindige lijn toekomstige generaties. Je hebt een lijst met utiliteitsstromen (zoals een scorekaart voor elke generatie, die zich oneindig ver in de toekomst uitstrekt). Jouw taak is om te beslissen welke lijst "beter" is dan de andere, maar je moet strikte regels van eerlijkheid volgen.

Dit artikel van Ram Sewak Dubey is een diepe duik in de vraag: Kunnen we een eerlijk rangschikkingssysteem bouwen voor oneindige toekomsten met behulp van duidelijke, stapsgewijze instructies (constructieve methoden), of moeten we vertrouwen op magische, onzichtbare hulpmiddelen (niet-constructieve methoden) die we niet daadwerkelijk kunnen opschrijven?

Hier is de uitsplitsing van de bevindingen van het artikel met behulp van eenvoudige analogieën.

De Drie Regels van Eerlijkheid

Het artikel richt zich op drie specifieke "eerlijkheidsregels" die een goed rangschikkingssysteem zou moeten volgen:

Sterke Equiteit (Strong Equity): Stel je hebt twee scenario's waarbij iedereen hetzelfde is, behalve twee generaties, en in het ene scenario krijgt de "arme" generatie een stimulans terwijl de "rijke" generatie een klap krijgt (maar nog steeds rijker blijft dan de arme), dan moet het systeem het scenario verkiezen waarin de arme een stimulans kreeg.
Hammond Equiteit (Hammond Equity): Een iets zwakkere versie van het bovenstaande.
Pigou-Dalton Transfer: Als je een klein beetje geluk wegneemt bij een rijk persoon en dit geeft aan een arm persoon (zonder de arme persoon rijker te maken dan de rijke), dan moet het systeem deze nieuwe situatie verkiezen.

Het Grote Conflict: "Bouwen" versus "Bewijzen dat het bestaat"

Het artikel maakt onderscheid tussen twee manieren om een oplossing te vinden:

Constructie (De Blauwdruk): Je kunt een specifiek algoritme of recept opschrijven dat iedereen kan volgen om twee lijsten te vergelijken en een resultaat te krijgen. Dit is als het bouwen van een huis met een duidelijke blauwdruk.
Representatie (De Magische Bewijsvoering): Je kunt bewijzen dat een rangschikking moet bestaan met behulp van abstracte wiskunde (vaak leunend op de "Axioma van Keuze", wat als een magische toverstaf werkt die zegt: "er bestaat ergens een oplossing, zelfs als we die niet kunnen vinden"). Dit is als zeggen: "Er is ergens in het universum een perfect huis," zonder dat je kunt vertellen waar het is of hoe je het moet bouwen.

Het Goede Nieuws: Wanneer We het Kunnen Bouwen

Het artikel stelt vast dat als de mogelijkheidsniveaus van geluk (het "domein") welgeordend zijn (wat betekent dat ze zijn gerangschikt als een ladder waarop je altijd de "volgende" trede kunt aanwijzen, zoals de natuurlijke getallen 1, 2, 3...), we wel een eerlijk rangschikkingssysteem kunnen bouwen.

De Analogie: Stel je voor dat de geluks-niveaus als treden op een trap zijn. De auteur creëert een speciaal "lexicografisch" (woordenboek-achtig) systeem. In plaats van alleen naar de eerste generatie te kijken, en dan de tweede, kijkt dit systeem naar de drempels van geluk. Het zet elke oneindige stroom van geluk om in een lange reeks binaire codes (0'en en 1'en) op basis van of een generatie boven of onder bepaalde "drempel"-treden zit.
Het Resultaat: Door deze binaire codes te vergelijken als woorden in een woordenboek, creëert de auteur een perfect, expliciet rangschikkingssysteem dat alle eerlijkheidsregels vervult. Geen magische toverstokken nodig.

Het Slechte Nieuws: Wanneer We Magie Nodig Hebben (Niet-constructief)

Het artikel stelt ook vast dat als de geluks-niveaus in een dalende volgorde zijn gerangschikt (zoals negatieve gehele getallen: -1, -2, -3... dat eeuwig naar beneden gaat) of een specifieke "integer-achtige" structuur hebben, we tegen een muur aanlopen.

De Analogie: Stel je voor dat je probeleert oneindige stromen te rangschikken waarbij de geluks-niveaus als een trap zijn die een eindeloze kelder in gaat. Het artikel bewijst dat als je probeert een eerlijk rangschikkingssysteem te bouwen in deze situatie, je gedwongen wordt een "Niet-Ramsey Set" te creëren.
Wat is een Niet-Ramsey Set? Beschouw dit als een "chaos-collectie". Het is een groep oneindige deelverzamelingen van getallen die zo chaotisch en complex is dat deze niet geconstrueerd kan worden door een enkele logische, stapsgewijze regel. Het is een wiskundig object dat alleen bestaat als je de "Axioma van Keuze" (de magische toverstaf) gebruikt.
De Conclusie: Als jouw domein van geluk eruitziet als een dalende trap, kun je geen eerlijk rangschikkingssysteem opschrijven. Je kunt alleen bewijzen dat er één bestaat met behulp van niet-constructieve magie. Dit betekent dat een echte beleidsmaker in de echte wereld nooit een dergelijk systeem zou kunnen gebruiken om beslissingen te nemen, omdat hij het resultaat nooit zou kunnen berekenen.

De Representatieval (Reële Getallen versus Rangschikkingen)

Het artikel behandelt ook een veelvoorkomend misverstand: "Als we dingen kunnen rangschikken, kunnen we ze dan niet gewoon een score geven (een reëel getal)?"

De Bevinding: Voor sommige domeinen (zoals het interval [0, 1]) is het onmogelijk om aan elke oneindige stroom een enkel reëel getal (een score) toe te kennen terwijl aan de eerlijkheidsregels wordt voldaan.
De Twist: Echter, zelfs als je ze niet een score kunt geven, kun je ze misschien nog steeds expliciet rangschikken (zoals aangetoond in de sectie "Het Goede Nieuws" hierboven).
De Les: Alleen omdat je niet een formule kunt schrijven die een getal uitvoert (zoals 85,4), betekent dit niet dat je niet een duidelijke regel kunt hebben om te bepalen wat beter is. De "score" en de "rangschikkingsregel" zijn verschillende dingen.

Samenvatting van de Claims van het Artikel

Constructief Succes: Als jouw universum van geluk "welgeordend" is (zoals een ladder die omhoog gaat), kunnen we expliciet een eerlijk rangschikkingssysteem bouwen met behulp van een slimme, woordenboek-achtige code.
Constructief Falen: Als jouw universum van geluk een "dalende" structuur heeft (zoals een ladder die eeuwig naar beneden gaat), is het bouwen van een eerlijk rangschikkingssysteem onmogelijk zonder te vertrouwen op niet-constructieve wiskundige magie (Niet-Ramsey sets).
Representatiebeperkingen: Je kunt deze eerlijke rangschikkingen niet altijd omzetten in eenvoudige scores met reële getallen, vooral niet op complexe domeinen zoals [0, 1].
De Kloof: De verzameling werelden waar we een rangschikkingssysteem kunnen bouwen, is anders dan de verzameling werelden waar we een score aan elk resultaat kunnen toekennen. Ze komen niet altijd overeen.

Kortom, het artikel brengt nauwkeurig in kaart waar we een eerlijk, stapsgewijs handboek kunnen bouwen voor het beoordelen van de toekomst, en waar we gedwongen zijn toe te geven dat het schrijven van een dergelijk handboek wiskundig gezien onmogelijk is.

Technische Samenvatting: Over de Constructie en Representatie van Sociale Welvaartsordes die Consequentialistische Gelijkheidaxioma's Voldoen

Probleemstelling
Het artikel behandelt de fundamentele spanning tussen het bestaan en de expliciete constructie van Sociale Welvaartsordes (SWO's) op oneindige utiliteitsstromen ( $X = Y^{\mathbb{N}}$ ) die voldoen aan consequentialistische gelijkheidaxioma's. Specifiek wordt onderzocht of SWO's die voldoen aan Sterke Gelijkheid (SE), Hammond-gelijkheid (HE), of het Pigou–Dalton (PD) transferprincipe, expliciet geconstrueerd kunnen worden zonder te vertrouwen op niet-constructieve verzamelingstheoretische hulpmiddelen, zoals de Keuzeaxioma (AC) of het bestaan van niet-Ramsey-verzamelingen.

Hoewel eerdere literatuur (bijv. Bossert et al., 2007) het bestaan van dergelijke SWO's heeft vastgesteld met behulp van niet-constructieve methoden (Szpilrajn's Lemma), en recent werk (Lauwers, 2010; Zame, 2007) heeft bevestigd dat niet-constructieve hulpmiddelen noodzakelijk zijn voor het bestaan in bepaalde contexten, blijft de precieze grens tussen domeinen die expliciete constructies toestaan en domeinen die niet-constructieve objecten vereisen, nog volledig te worden afgebakend. Verder tracht het artikel de relatie te verhelderen tussen het bestaan van een reëleel-waardige Sociale Welvaartsfunctie (SWF) representatie en het bestaan van een expliciet gedefinieerde SWO.

Methodologie
De auteur hanteert een tweeledige aanpak die constructieve orde-theorie combineert met niet-constructieve onmogelijkheidsbewijzen:

Constructieve Aanpak: Voor specifieke domeinen construeert het artikel expliciete SWO's met behulp van lexicografische voorkeursrelaties. Cruciaal is dat deze constructies de lexicografische ordening niet direct toepassen op generaties (wat de gelijkheid zou schenden), maar in plaats daarvan utiliteitsstromen mappen naar binaire drempel-utiliteitscodes. Deze codes worden vervolgens lexicografisch geordend over een goed geordende indexverzameling afgeleid van het utiliteitsdomein $Y$ .
Niet-constructieve/Onmogelijkheidsaanpak: Om de noodzaak van niet-constructieve methoden vast te stellen, maakt het artikel gebruik van het concept van niet-Ramsey-collecties. Door specifieke utiliteitsstromen te construeren op basis van deelverzamelingen van natuurlijke getallen en de gelijkheidaxioma's toe te passen, demonstreert de auteur dat het bestaan van een SWO die aan deze axioma's voldoet op bepaalde "rijke" domeinen (specifiek die die deelverzamelingen bevatten met ordetype $\omega^*$ of $\mu$ ) de aanwezigheid van een niet-Ramsey-verzameling impliceert. Aangezien niet-Ramsey-verzamelingen niet-constructieve objecten zijn (hun bestaan rust op AC), bewijst dit dat geen enkele expliciete SWO kan bestaan op dergelijke domeinen.
Representatieanalyse: Het artikel maakt onderscheid tussen het bestaan van een SWF (een reële-waardige afbeelding) en een SWO (een binaire relatie). Het gebruikt scheidbaarheidsargumenten (bijv. het construeren van onaftelbare disjuncte intervallen) om resultaten van niet-representeerbaarheid op specifieke domeinen zoals $[0, 1]$ te bewijzen.

Kernbijdragen en Resultaten

1. Positieve Constructieresultaten (Goed Geordende Domeinen)

Stelling 1: Als het utiliteitsdomein $Y$ goed geordend is door de gebruikelijke ordening, bestaat er een expliciet gedefinieerde SWO op $X = Y^{\mathbb{N}}$ die voldoet aan Sterke Pareto (SP), Sterke Gelijkheid (SE), Hammond-gelijkheid (HE) en het Pigou–Dalton (PD) principe.
Mechanisme: De constructie mapt stromen naar binaire codes gebaseerd op drempels in $\bar{Y} = \{t \in Y : \exists s \in Y, t < s\}$ . De ordening is lexicografisch over de productruimte $\bar{Y} \times \mathbb{N}$ , waarbij lagere drempels en vervolgens generaties prioriteit krijgen. Deze methode behoudt gelijkheidsgevoelige vergelijkingen terwijl de volledigheid en transitiviteit gewaarborgd blijven.
Uitbreiding: Het artikel biedt ook expliciete SWO-constructies voor SE alleen onder zwakkere voorwaarden: indien de verzameling van potentiële "pre-transfer arme" utiliteitsniveaus $L(Y)$ goed geordend is, of indien de verzameling van "pre-transfer rijke" niveaus $U(Y)$ invers goed geordend is.

2. Niet-constructieve Implicaties (Rijke Dalende Domeinen)

Stelling 2: Het bestaan van een SWO die voldoet aan SE en Monotoniciteit (M) op een domein $Y$ dat een deelverzameling van ordetype $\omega^*$ (bijv. negatieve gehele getallen) bevat, brengt het bestaan van een niet-Ramsey-collectie met zich mee.
Stelling 2(b): Op dezelfde wijze, voor het PD-principe in combinatie met Monotoniciteit: indien $Y$ sequenties bevat met een constante dalende kloofstructuur, impliceert het bestaan van een SWO een niet-Ramsey-collectie.
Propositie 4: Voor domeinen van ordetype $\mu$ (die een integer-achtige deelverzameling bevatten), impliceert het bestaan van een SWO die enkel aan SE voldoet (zonder efficiëntieaxioma's), evene kind het bestaan van een niet-Ramsey-collectie. Dit identificeert een duidelijke klasse van domeinen waar SE-rangschikkingen inherent niet-constructief zijn.

3. Representatie versus Constructie

Propositie 1: Indien $Y$ telbaar is, bestaat er een reële-waardige SWF die voldoet aan SE. Echter, het bewijs steunt op het Szpilrajn-lemma (extensie van partiële orden), wat het in het algemeen niet-constructief maakt.
Propositio 2: Indien $Y = [0, 1]$ , bestaat er geen reële-waardige SWF die voldoet aan SE. Deze onmogelijkheid vloeit voort uit SE alleen, onafhankelijk van efficiëntieaxioma's, vanwege de onmogelijkheid om de strikte ordening van SE in de reële lijn in te bedden (via een scheidbaarheidsargument).
Onderscheid: Het artikel benadrukt dat het domein dat een expliciete SWO-constructie toestaat (bijv. goed geordende $Y$ ) niet noodzakelijkerwijs hetzelfde is als het domein dat een reële-waardige SWF-representatie toestaat. Omgekeerd garandeert het bestaan van een SWF op een telbaar domein niet de expliciete constructie van de onderliggende SWO.

Betekenis en Claims
Het artikel beweert de "correspondentie" tussen representatie en constructie in intergenerationele gelijkheid te verfijnen.

Herformulering van de Correspondentie: Het betoogt dat eerdere literatuur die suggereerde dat er een samenval is tussen domeinen die reële-waardige SWF's toestaan en die een constructeerbare SWO toestaan, onjuist is voor consequentialistische gelijkheidaxioma's. De domeinen zijn axioma-specifiek en hangen af van de orde-theoretische structuur van $Y$ .
Expliciet versus Niet-Expliciet: De resultaten tonen aan dat expliciete SWO-constructies mogelijk zijn op goed geordende domeinen, zelfs waar reële-waardige representaties falen (bijv. op $Y=\mathbb{N}$ met SE+SP). Omgekeerd is het bestaan van elke SWO (constructief of niet) op integer-achtige domeinen gekoppt aan niet-constructieve verzamelingstheorie.
Beleidsrelevantie: Het artikel merkt op dat wanneer een SWO slechts via niet-constructieve methoden (AC) wordt aangetoond te bestaan, het een open vraag blijft of een sociale planner expliciet paren van utiliteitsstromen kan rangschikken. De constructieve resultaten bieden een kader voor expliciete rangschikking op goed geordende domeinen, terwijl de niet-constructieve resultaten de grenzen van dergelijke expliciete beleidsinstrumenten afbakenen.

Samenvattend stelt het artikel vast dat hoewel gelijkheidaxioma's zoals SE, HE en PD voldaan kunnen worden door expliciet geconstrueerde SWO's op goed geordende domeinen, hun voldoening op domeinen met dalende integer-achtige structuren de noodzaak van niet-constructieve wiskundige objecten met zich meebrengt, waardoor de praktische implementeerbaarheid van dergelijke sociale welvaartsordes in die specifieke contexten wordt beperkt.