The Condorcet set: Majority voting over interconnected propositions

Judgement aggregation is a model of social choice in which the space of social alternatives is the set of consistent evaluations (views) on a family of logically interconnected propositions, or yes/no-issues. Yet, simply complying with the majority opinion in each issue often yields a logically inconsistent collection of judgements. Thus, we consider the Condorcet set: the set of logically consistent views which agree with the majority on a maximal set of issues. The elements of this set are exactly those that can be obtained through sequential majority voting, according to which issues are sequentially decided by simple majority unless earlier choices logically force the opposite decision. We investigate the size and structure of the Condorcet set - and hence the properties of sequential majority voting - for several important classes of judgement aggregation problems. While the Condorcet set verifies McKelvey's (1979) celebrated chaos theorem in a number of contexts, in others it is shown to be very regular and well-behaved.