1) (Kripke) frame
(克里普克)框架
2) Kripke
克里普克
1.
On Kripke s Necessary a Posteriori Propositions and Kant s Synthetic a Priori Propositions;
论克里普克的后验必然命题与康德的先天综合命题
2.
Defending Kripke s Priori and Contingent Propositions;
对克里普克先验偶然命题的辩护
3.
On Kripke s Rigid Designator;
试论克里普克的“严格指示词”
3) Saul Aaron Kripke (1940～ )
克里普克，S.A.
4) KREEP
[kri:p]
克里普岩
5) Cripps
克里普斯
1.
In order to persuade India to take part in the war,England sent Cripps Mission to India to resolve the crisis between English and India.
为了取得印度的参战配合,1942年英国派出克里普斯使团去印度解决英印关系危机,美国则派出了以约翰逊为首的技术使团赴印协助双方解决问题。
6) Kripke structure
克里普克结构
补充资料：克里普克
| 克里普克（1940～ ） Kripke，Saul Aaron 美国逻辑学家，哲学家。曾任教于哈佛、哥伦比亚、康奈尔和洛克菲勒等大学，1977年任普林斯顿大学哲学教授，后升任麦科什讲座哲学教授。他是模态逻辑语义学的创始人和因果-历史指称论的首倡者之一，认为名词的指称主要取决于与使用该名词有关的社会历史的传递链条。以此出发，他进一步阐发了有关专名和通名的理论，并由此构成了现代分析哲学的一个历史转折点。著有《命名和必然性》等。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条