我记得在计算机中心股份公司的时候,他们雇用了早期一些很有名的人,包括鲍博格伦,迪克·罗素,还有一个斯坦福大学的威尔。
I remember at computer Center Corporation they had hired in some of the great people of early computer days, including Bob Gruen, Dick Russell, a guy named Weir who was a Stanford guy.
克里普克为了批判弗雷格和罗素的名称摹状词理论提出了三类论证,即模态论证、认识论的论证和语义的论证。
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.
弗雷格、罗素和斯特·劳森最早对预设问题作了研究,从此引起了人们对预设问题的浓厚兴趣。
At first, Frege, Russell and Strawson studied on the question of presupposition, from then on, the question of preposition caused people to take a great interest.
应用推荐