  Conventionalist theories differ along several dimensions. The most obvious concerns the underlying understanding of conventions themselves. In many cases, such as Hume’s theory of property and justice, the conventions are social. In other cases, however, convention lacks any intrinsically social element. For example, both Poincaré and Carnap seem to regard conventional stipulation as something that a lone cognitive agent could in principle achieve.