克里普克为了批判弗雷格和罗素的名称摹状词理论提出了三类论证,即模态论证、认识论的论证和语义的论证。
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.
一些人认为,唐纳兰关于限定摹状词的两种用法,即归属性用法和指称性用法的观点在一定程度上能够避免克里普克的语义的论证和模态论证。
Some people claim that, to some extent, Kripke's semantic arguments and model arguments can be avoided based on Donnellan's viewpoints on the referential and attributive use of definite descriptions.
本文从理论上论证了观测响应中的噪声对ITD法模态识别精度的影响。
The effect of survey noises on the identification precision of ITD method is analyzed.
应用推荐