中文摘要：

在当代数学哲学实在论与反实在论的较量中，我们希望通过考察模态性来引出反实在论者的各种归约本体论的方案。首先考察了菲尔德的模态虚构主义，然后依次是赫尔曼的模态结构主义、千原的新构造主义和布勒斯的复数量词。最后我们从结构主义的角度对这些方案进行考察和评价，希望能对模态性和本体论有一个更好的理解。

英文摘要：

In contemporary philosophy of mathematics there are two groups of thought, one double realisms of ontology and truth-value but the other not, we hope to invoke all kinds of nominalist ontological reduction program via inspecting the notion of modality. We first investigate Field＇s modal fictionalism, then Hellman＇s modal structuralism, Chihara＇s neoconstructivism and Boolos＇s plural quantification in turn. In the end we consider these programs from the strueturalist point of view, in order to get a better understanding of modality and ontology.