...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of Philosophical Logic >Validity and Necessity
【24h】

Validity and Necessity

机译：有效性和必要性

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In this paper I argue against the commonly received view that Kripke’s formal Possible World Semantics (PWS) reflects the adoption of a metaphysical interpretation of the modal operators. I consider in detail Kripke’s three main innovations vis-à-vis Carnap’s PWS: a new view of the worlds, variable domains of quantification, and the adoption of a notion of universal validity. I argue that all these changes are driven by the natural technical development of the model theory and its related notion of validity: they are dictated by merely formal considerations, not interpretive concerns. I conclude that Kripke’s model theoretic semantics does not induce a metaphysical reading of necessity, and is formally adequate independently of the specific interpretation of the modal operators.
机译：在本文中，我反对普遍接受的观点，即克里普克的形式可能的世界语义学（PWS）反映了对模态运算符的形而上学解释的采用。我将详细考虑Kripke相对于Carnap的PWS的三项主要创新：对世界的新看法，量化的可变域以及采用通用有效性的概念。我认为所有这些变化都是由模型理论及其相关的有效性概念的自然技术发展所驱动的：它们仅由形式上的考虑决定，而不是由解释性的考虑决定。我得出的结论是，克里普克的模型理论语义不会引起对必要性的形而上学解读，并且在形式上足够独立于模态运算符的具体解释。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号