Quantifier Variance, Mathematicians’ Freedom and the Revenge of Quinean Indispensability Worries

Invoking a form of quantifier variance promises to let us explain mathematicians’ freedom to introduce new kinds of mathematical objects in a way that avoids some problems for standard platonist and nominalist views. In this paper I’ll note that, despite traditional associations between quantifier variance and Carnapian rejection of metaphysics, Siderian realists about metaphysics can naturally be quantifier variantists. Unfortunately a variant on the Quinean indispensability argument concerning grounding seems to pose a problem for philosophers who accept this hybrid. However I will charitably reconstruct this problem and then argue for optimism about solving it.