Kripke seemed to relieve them of this dilemma.
克里·普克似乎将他们从这一困境中解救了出来。
Kripke distinguishes inevitability from apriority firstly.
克里·普克首先将必然性、先验性区分开。
"It appears there is no mortality risk to having insomnia," Kripke said.
“这似乎在说明失眠并不会导致死亡，”Kripke说。
But, having just worked through Christopher Hughes's Kripke: Names, Necessity and Identity, I am no longer puzzled.
然而，在拜读了克里斯托夫·休斯的《克里普克：名称、必然性与同一性》之后，我不再感到困惑。
But now it appears that Kripke has saved the bacon since there are, in any case, plenty of metaphysical necessities.
而现在，克里普克仿佛救活了哲学，因为还存在着许多形而上学的必然性。
To many, his results were surprising, but they've since been corroborated by similar studies in Europe and East Asia. Kripke explains.
对比的结果令人吃惊，但之后欧洲和东亚的相似的这方面的研究证实了他的结果，Kripke说。
"People should get as many hours sleep as they need to feel rested," Kripke says, adding that there's no proof that shortening sleep will lengthen life.
“人们应该睡足他们需要休息的时间，”克里普卡说。他还补充说，没有证据证明缩短睡眠时间能够延长寿命。
Kripke contributed more to its 'demarginalisation' than any other analytic philosopher. He did this by … vigorously and effectively addressing Quinean worries .
克里普克比其他任何分析哲学家为实现模态性的“去边缘化”做出了更多的贡献。
"Outline of a theory of truth" is about the logical paradox, in which Kripke put forward a theory of truth of "fixed point", and gave concrete formal construction.
《真理论纲要》就是克里普克关于语义悖论的研究成果。他在其中提出了“定点”真理理论，并给出了具体的形式建构。
But Kripke said it was possible that people who slept longer tended to suffer from sleep apnea, a condition where impaired breathing puts stress on the heart and brain.
但Kripke说这有可能是由于睡得多的人就容易遭受睡眠中的呼吸暂停，这是一种减弱呼吸给心脏和大脑带来压力的状况。
The second part analyzes two important reference theory concerning name: Description theory represented by Russell and Historical Casual theory of reference represented by Kripke.
第二部分：详细分析了两种主要的关于名称的指称理论：以罗素为代表的摹状词理论和以克里·普克的历史因果的指称理论。
Kripke and Putnam who has presented the theory of the historic causality consider that proper name is the rigid designator, and always refers to the same object in every possible world.
克里·普克、普特南是因果历史理论的代表，他们认为：专名是严格指示词，在每个可能世界都指称同一个对象。
That “unintended consequence”—in the words of Gawain Kripke of Oxfam International, a British charity—has caused serious problems for the organisations that bring food aid to the poorest.
这种“出乎意料的后果”——英国慈善组织乐施会的GawainKripke用语——给援助组织带来了严重的问题。
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.
克里普克为了批判弗雷格和罗素的名称摹状词理论提出了三类论证，即模态论证、认识论的论证和语义的论证。
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.
克里普克为了批判弗雷格和罗素的名称摹状词理论提出了三类论证，即模态论证、认识论的论证和语义的论证。
应用推荐