A definition of a social state is proposed that incorporates the notion of procedural fairness into Harsanyi's (1955) analytical framework. We show that, within the new framework, a Harsanyi-type social welfare function is immune to Diamond's (1967) criticism. Moreover, the resulting social welfare function embodies the notion of procedural fairness held by individual members of the society.