If Frege and Russell's first-order language is expanded to higher-order language, then it would not only be in accordance with Quine's theory, but also can refrain from disputing over ontological problems about existence.
If Frege and Russell's first-order language is expanded to higher-order language, then it would not only be in accordance with Quine's theory, but also can refrain from disputing over ontological problems about existence.
如果将弗雷格、罗素的一阶语言扩展到高阶语言，则既能与蒯因的理论连贯一致，又能避免无谓的“存在”本体论纷争。