Strategy-proof judgment aggregation

In the theory of judgment aggregation on logically connected propositions, an important question remains open: Which aggregation rules are manipulable and which are strategy-proof? We define manipulability and strategy-proofness in judgment aggregation, characterize all strategy-proof aggregation rules, and prove an impossibility theorem similar to the Gibbard-Satterthwaite theorem. Among other escape-routes from the impossibility, we discuss weakening strategy-proofness itself. Comparing two prominent aggregation rules, we show that conclusion-based voting is strategy-proof, but generates incomplete judgments, while premise-based voting is only strategy-proof for "reason-oriented" individuals. Surprisingly, for "outcome-oriented" individuals, the two rules are strategically equivalent, generating identical judgments in equilibrium. Our results introduce game-theoretic considerations into judgment aggregation and have implications for debates on deliberative democracy.