• 
  逻辑语言和认知
  ￥61.62元
• 
  模态对应理论
  ￥44.24元
• 
  逻辑信息和互动
  ￥61.62元

　　“逻辑之门”是当代世界著名的逻辑学家约翰·范本特姆经典著作的中文翻译。丛书收集了他的经典论文和主要专著，其涵盖的主题有：关于信息、进程和智能互动的模态逻辑；自然语言中范畴语法和量词语义的逻辑；逻辑与认识论、科学方法论和博弈论之间的相互影响，等等。丛书展现了现代逻辑作为数学、哲学、语言学、计算机科学、认知科学等学科之间媒介和催化剂的新视角。
　　逻辑研究抽象的推理模式，而日常生活中我们使用自然语言推理。从亚里士多德开始，逻辑就与语言和语言哲学紧密联系在一起。《逻辑、语言和认知》表明，这一联系在今天依然非常活跃。自然语言的使用包含着计算，用以维持语言使用者共同的对话状态，本书探讨了语言与计算机逻辑相关的一些重要主题，研究了逻辑与认知科学的联系，表明“反心理学”的教条已经不复存在，逻辑理论与经验实践之间正在不断交换思想。
　　本书适合从事逻辑学、语言学、计算机科学和认知科学的相关研究人员、教师和学生阅读，也适合其他逻辑相关学科的教师和学生参阅。

样章试读

• 暂时还没有任何用户评论

总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

• 暂时还没有任何用户咨询内容

总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

用户名：	匿名用户
E-mail：
咨询内容：

• 丛书序
  译者序
  引论
  第1部分　自然语言和形式语言中的量词
  1　量词问题
  2　语义自动机
  3　多元量词
  4　类型世界中的量词
  第2部分　范畴语法与证明论
  5　范畴语法和λ-演算
  6　兰贝克演算
  7　语义类型变换和语法识别
  8　范畴语法和类型论
  9　处于十字路口的范畴语法
  10　自然语言的范畴微细结构
  第3部分　计算与认知
  11　走向一种计算语义学
  12　意义：解释与推理
  13　自然逻辑简史
  14　自然语言和计算中的语义平行问题
  15　作为会话的计算
  16　“彰显价值的博弈”：逻辑、语言与多主体互动
  17　相互作用下的认知
  附录
  附录一　英-汉专业术语对照表
  附录二　英-汉人名对照表