Many-valued judgment aggregation: Characterizing the possibility/impossibility boundary
A model of judgment aggregation is presented in which judgments on propositions are not binary but come in degrees. The primitives are a set of propositions, an entailment relation, and a “triangular norm” which establishes a lower bound on the degree to which a proposition is true whenever it is entailed by a set of propositions. Under standard assumptions, we identify a necessary and sufficient condition for the collective judgments to be both deductively closed and free from veto power. This condition says that the triangular norm used to establish the lower bound must contain a zero divisor.