Abstract

Pretheoretically, ‘all believers are immortal’ is about all believers, but B is not about any unbeliever. Similarly, ‘all mortals are unbelievers’ is not about any immortal, but M is about all mortals. But B and M are logically equivalent universal generalizations, so arguably they are about exactly the same objects; by, they are about those mortals who are unbelievers, contradicting. If one responds by giving up, is there still a sense in which B treats unbelievers differently from believers? I argue that there is. B is uninformative about unbelievers but informative about believers, in the following sense: for any object o, the information that B provides only about o—namely, ‘o is a believer only if o is immortal’—is entailed by ‘o is an unbeliever’ but not by ‘o is a believer’.