好词典
kripke
UK //ˈkrɪpki//US //ˈkrɪpki//
词源
源自姓氏 Kripke（克里普克），其家族可能来自东欧犹太姓氏。索尔·克里普克（1940-2022）使该名字在学术界广为人知。
noun
❶ 指美国哲学家和逻辑学家索尔·克里普克（Saul Kripke），以其在模态逻辑、语言哲学和形而上学领域的贡献闻名。
“Kripke's work on naming and necessity revolutionized philosophy of language.”
（克里普克关于命名与必然性的研究彻底改变了语言哲学领域。）
“Many logicians study Kripke semantics for modal logic.”
（许多逻辑学家研究克里普克为模态逻辑提出的语义学。）
同义词:Saul Kripke, Kripkean
常见短语
Kripke model — 克里普克模型是模态逻辑中用于解释可能世界语义的形式结构，由索尔·克里普克提出。
“The Kripke model provides a way to visualize modal logic statements.”
（克里普克模型为可视化模态逻辑语句提供了一种方法。）
Kripke semantics — 克里普克语义是分析模态逻辑（如可能性和必然性）的形式化框架，广泛应用于哲学和计算机科学。
“Kripke semantics helps us understand how 'possibly' and 'necessarily' function in logic.”
（克里普克语义帮助我们理解“可能”和“必然”在逻辑中的运作方式。）