Abstract

Which mathematical structures are possible, that is, instantiated by the concrete inhabitants of some possible world? Are there worlds with four-dimensional space? With infinite-dimensional space? Whence comes our knowledge of the possibility of structures? In this paper, I develop and defend a principle of plenitude according to which any mathematically natural generalization of possible structure is itself possible. I motivate the principle pragmatically by way of the role that logical possibility plays in our inquiry into the world.