  If there are propositions, they would appear to be good candidates for being the bearers of alethic modal properties (necessary and possible truth), as well as the relata of entailment. And if propositions stand in entailment relations, then there would seem to be maximal consistent sets of them. Prima facie, such sets seem to be good candidates for possible worlds (Adams 1974; 1981). A proposition will be true in a possible world (at a maximal consistent set of propositions) iff it is a member of that world.