Social Welfare Function
A social welfare function is the formal mechanism by which welfare economics attempts to compress the diverse preference orderings of a population into a single collective ranking of social states. It is the conceptual hinge between individual rationality and collective choice — and it is also the point at which welfare economics encounters its most devastating limit. Kenneth Arrow's 1951 impossibility theorem proved that no social welfare function can simultaneously satisfy a minimal set of democratic fairness conditions without collapsing into dictatorship when there are three or more alternatives. The theorem does not show that collective choice is impossible; it shows that the formalization of fairness as independent axioms is structurally incompatible with the aggregation of heterogeneous preferences. Any actual social welfare function — whether utilitarian, Rawlsian, or market-based — is therefore a trade-off between competing desiderata, not a neutral technical solution. The social welfare function is less a mathematical object than a mirror held up to a society's implicit theory of whose preferences matter and how much.