kripke model
克里普克模型
以上为机器翻译结果，长、整句建议使用 人工翻译 。
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.
克里普克为了批判弗雷格和罗素的名称摹状词理论提出了三类论证，即模态论证、认识论的论证和语义的论证。
youdao
应用推荐
模块上移
模块下移
不移动