Inductive Reasoning in Social Choice Theory

The usual procedure in the theory of social choice consists in postulating some desirable properties which an aggregation procedure should verify and derive from them the features of a corresponding social choice function and the outcomes that arise at each possible profile of preferences. In this paper we invert this line of reasoning and try to infer, up from what we call social situations (each one consisting of a profile and the associated social ordering) the criteria verified in the implicit aggregation procedure. This inference process, which extracts intensional from extensional information can be seen as an exercise in "qualitative statistics".