• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>JSAI international symposium on artificial intelligence;International workshop on juris-informatics;Workshop on artificial intelligence of and for business;Conference on logic and engineeing of natural language semantics;International workshop on kansei and artificial intelligence >On the Semantic Concept of Logical Consequence
【24h】

On the Semantic Concept of Logical Consequence

机译：论逻辑后果的语义概念

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In this paper, we give a groundwork for the foundations of the semantic concept of logical consequence. We first give an opinionated survey of recent discussions on the model-theoretic concept, in particular Etchemendy's criticisms and responses, alluding to Kreisel's squeezing argument. We then present a view that in a sense the semantic concept of logical consequence irreducibly depends on the meaning of logical expressions but in another sense the extensional adequacy of the semantic account of first-order logical consequence is also of fundamental importance. We further point out a connection with proof-theoretic semantics.
机译：在本文中，我们为逻辑后果的语义概念的基础提供了基础。我们首先对最近对模型 - 理论概念进行讨论的自思关于讨论，特别是Etchemendy的批评和反应，暗指Kreisel的挤压争论。然后，我们展示了一种感觉，在某种意义上是逻辑后果的语义概念不可挽回地取决于逻辑表达的含义，而是在另一个感觉中，一阶逻辑后果的语义叙述的大规模充分性也是基本的重要性。我们进一步指出了与校验理论语义的联系。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号