FregeCOCA¹⁵⁹⁹³⁵BNC⁷⁴¹³³ 基本例句 弗雷格¹⁰⁰ For the sake of criticizing Frege and Russell's theory of description of names, Kripke gave three kinds of demonstration, namely model arguments, epistemological arguments and semantic arguments. 克里普克为了批判弗雷格和罗素的名称摹状词理论提出了三类论证，即模态论证、认识论的论证和语义的论证。 dictall