Abstract

The semantic inferentialist account of the social institution of semantic meaning can be naturally extended to account for social ontology. I argue here that semantic inferentialism provides a framework within which mathematical ontology can be understood as social ontology, and mathematical facts as socially instituted facts. I argue further that the semantic inferentialist framework provides resources to underpin at least some aspects of the objectivity of mathematics, even when the truth of mathematical claims is understood as socially instituted.