具体描述
《逻辑语言和认知》适合从事逻辑学、语言学、计算机科学和认知科学的相关研究人员、教师和学生阅读，也适合其他逻辑相关学科的教师和学生参阅。“逻辑之门”是当代世界著名的逻辑学家约翰·范本特姆经典著作的中文翻译。丛书收集了他的经典论文和主要专著，其涵盖的主题有：关于信息、进程和智能互动的模态逻辑：自然语言中范畴语法和量词语义的逻辑：逻辑与认识论、科学方法论和博弈论之间的相互影响，等等。丛书展现了现代逻辑作为数学、哲学、语言学、计算机科学、认知科学等学科之间媒介和催化剂的新视角。
逻辑研究抽象的推理模式，而日常生活中我们使用自然语言推理。从亚里士多德开始，逻辑就与语言和语言哲学紧密联系在一起。《逻辑、语言和认知》表明，这一联系在今天依然非常活跃。自然语言的使用包含着计算，用以维持语言使用者共同的对话状态，《逻辑语言和认知》探讨了语言与计算机逻辑相关的一些重要主题，研究了逻辑与认知科学的联系，表明“反心理学”的教条已经不复存在，逻辑理论与经验实践之间正在不断交换思想。
作者简介
约翰·范本特姆，当代世界著名逻辑学家。阿姆斯特丹大学的大学教授、斯坦福大学哲学教授，兼任中山大学客座教授。荷兰皇家艺术与科学院、欧洲科学院和国际哲学院院士，多个杂志编辑。撰写了约300篇论文和6部专著。主编了4部具有权威性的逻辑手册。由于他的卓越成就，荷兰政府于1996年授予他斯宾诺莎奖。
目录信息
译者序
引论
第1部分 自然语言和形式语言中的量词
1 量词问题
2 语义自动机
3 多元量词
4 类型世界中的量词
第2部分 范畴语法与证明论
5 范畴语法和λ-演算
6 兰贝克演算
7 语义类型变换和语法识别
8 范畴语法和类型论
9 处于十字路口的范畴语法
10 自然语言的范畴微细结构
第3部分 计算与认知
11 走向一种计算语义学
12 意义：解释与推理
13 自然逻辑简史
14 自然语言和计算中的语义平行问题
15 作为会话的计算
16 “彰显价值的博弈”：逻辑、语言与多主体互动
17 相互作用下的认知
附录
附录一 英-汉专业术语对照表
附录二 英-汉人名对照表
· · · · · · (收起)
读后感
第一部分是广义量词逻辑的理论和应用，对应的是语义逻辑； 第二部分主要是ab语法，兰贝壳演算等句法逻辑； 第三部分涉及了博弈语义、多主体互动等问题的逻辑描述，是语言逻辑的最新组成部分。动态逻辑关注的是表达式改变主体掌握信息的动态潜能，虽然字面上是语义，但可以看作...
评分第一部分是广义量词逻辑的理论和应用，对应的是语义逻辑； 第二部分主要是ab语法，兰贝壳演算等句法逻辑； 第三部分涉及了博弈语义、多主体互动等问题的逻辑描述，是语言逻辑的最新组成部分。动态逻辑关注的是表达式改变主体掌握信息的动态潜能，虽然字面上是语义，但可以看作...
评分第一部分是广义量词逻辑的理论和应用，对应的是语义逻辑； 第二部分主要是ab语法，兰贝壳演算等句法逻辑； 第三部分涉及了博弈语义、多主体互动等问题的逻辑描述，是语言逻辑的最新组成部分。动态逻辑关注的是表达式改变主体掌握信息的动态潜能，虽然字面上是语义，但可以看作...
评分第一部分是广义量词逻辑的理论和应用，对应的是语义逻辑； 第二部分主要是ab语法，兰贝壳演算等句法逻辑； 第三部分涉及了博弈语义、多主体互动等问题的逻辑描述，是语言逻辑的最新组成部分。动态逻辑关注的是表达式改变主体掌握信息的动态潜能，虽然字面上是语义，但可以看作...
评分第一部分是广义量词逻辑的理论和应用，对应的是语义逻辑； 第二部分主要是ab语法，兰贝壳演算等句法逻辑； 第三部分涉及了博弈语义、多主体互动等问题的逻辑描述，是语言逻辑的最新组成部分。动态逻辑关注的是表达式改变主体掌握信息的动态潜能，虽然字面上是语义，但可以看作...
用户评价
要了解语言逻辑这一学科的全貌和最新进展，这本书是必读。作者是“荷兰学派”的代表，译者是国内一批搞这块的青年学者，可以期待。
评分要了解语言逻辑这一学科的全貌和最新进展，这本书是必读。作者是“荷兰学派”的代表，译者是国内一批搞这块的青年学者，可以期待。
评分好书！
评分要了解语言逻辑这一学科的全貌和最新进展，这本书是必读。作者是“荷兰学派”的代表，译者是国内一批搞这块的青年学者，可以期待。
评分要了解语言逻辑这一学科的全貌和最新进展，这本书是必读。作者是“荷兰学派”的代表，译者是国内一批搞这块的青年学者，可以期待。
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有