Extended Social Ordering Functions for Rationalizing Fair Game Forms a Rawls and Sen

We examine the possibility of constructing social ordering functions, each of which associates a social ordering over the feasible pairs of allocations and allocation rules with each simple production economy. Three axioms on the admissible class of social ordering functions are introduced, which embody the values of procedural fairness, non-welfaristic egalitarianism, and welfaristic consequentialism, respectively. The logical compatibility of these axioms and their lexicographic combinations subject to constraints are examined. Two social ordering functions which give priority to procedural values rather than to consequential values are identified, which can uniformly rationalize a nice allocation rule in terms of the values of procedural fairness, non-welfaristic egalitarianism, and Pareto efficiency.