kripke

网络克里普克；克里普基；克里普奇

网络释义

1.	克里普克所以又称为克里普克（kripke）结构。M 包含一个状态集 S，一个完全的二进制转换关系 R ? wenku.baidu.com\|基于51个网页
2.	克里普基 ...只能用空洞的符号标记来点缀性质统一的时间，就像克里普基 (Kripke) 所提的「固定标签」 (rigid designator)，只留下「自 … www.docin.com\|基于12个网页
3.	克里普奇在第二章第三节，我们介绍克里普奇(Kripke)的固定点理论(fixed-point theory)。自然语言是语意封闭的语言，克里普奇的目标则 … ja.scribd.com\|基于2个网页

4.	利普克史蒂格勒（George.J，Stigler）、曼纳（Manne）、克利普克（Kripke）、布鲁克斯（Brooks）等。该学说认为投资者的收益 … lunwen.freekaoyan.com\|基于2个网页
5.	叶奇 ...哲学课,也有机会聆听大师奎恩(Quine )与及阙叶奇(Kripke )等言论,才知以前所学大是垃圾,不外学了一套「唔明你讲乜?”的反 … www.mfzq.com.cn\|基于 1 个网页
6.	克里布奇类似於克里布奇（Kripke ）於1972 年所郎出的「规范性论证」（the argument of nccur.lib.nccu.edu.tw\|基于 1 个网页

更多释义

收起释义

例句

释义:

全部全部,克里普克克里普克,克里普基克里普基,克里普奇克里普奇

类别:全部全部,口语口语,书面语书面语,标题标题,技术技术

来源:全部全部,字典字典,网络网络

难度:全部全部,简单简单,中等中等,难难

更多例句筛选

收起例句筛选

1.

While Kripke proposed a causal theory of naming and he thinks the reference of a proper name is determined through a historic-causal chains .

克里普克提出了因果命名理论，认为专名的指称是通过一条历史因果链条所确定的。

202.119.108.211

2.

Since Kripke's reading and explaining, the question about Rule-Following has been a hot topic of western philosophy recently.

经过克里普克对维特根斯坦的文本解读和发挥，遵行规则的问题成为一个当代西方哲学界热点讨论的话题。

4.

Leonard: What if you could make Kripke look even sillier than he made you look ?

那何不这样，你设法捉弄科瑞扑克，让他看起来比你更蠢？

5.

S . Kripke challenges the traditional view that apriori truth must be necessarily true and a posteriori truth must be contingently true.

传统观点认为先天真理一定是必然真理，后天真理一定是偶然真理，S •克里普克对此提出了挑战。

dictsearch.appspot.com

7.

Kripke distinguishes inevitability from apriority firstly .

克里普克首先将必然性、先验性区分开。

www.dictall.com

8.

Firstly , it analyzes the historical and theoretical background and origin of Kripke "semantics. "

首先分析了克里普克语义学的历史渊源和理论背景；

9.

in a Kripke model for modal languages is philosophically illuminating .

在一个模式语言 Kripke 模型在哲学上是有启发性。

1
2