The relationship between propositional model theory and social decision making via premise-based procedures is explored. A one-to-one correspondence between ultrafilters on the population set and weakly universal, unanimity-respecting, systematic judgment aggregation functions is established....