出版社:科学出版社
年代:2009
定价:78.0
本书是由我们翻译的世界著名逻辑学家范本特姆的16篇论文组成,约40万字。我们以语言和认知逻辑为核心挑选出了16篇引用率最高的论文。论文的发表时间从1970年代到2007年,内容涵盖了逻辑、语言和认知的一般理论,以及其在计算机和信息领域的应用。
丛书序
译者序
引论
第1部分 自然语言和形式语言中的量词
1 量词问题
2 语义自动机
3 多元量词
4 类型世界中的量词
第2部分 范畴语法与证明论
5 范畴语法和λ-演算
6 兰贝克演算
7 语义类型变换和语法识别
8 范畴语法和类型论
9 处于十字路口的范畴语法
10 自然语言的范畴微细结构
第3部分 计算与认知
11 走向一种计算语义学
12 意义:解释与推理
13 自然逻辑简史
14 自然语言和计算中的语义平行问题
15 作为会话的计算
16 “彰显价值的博弈”:逻辑、语言与多主体互动
17 相互作用下的认知
附录
附录一 英-汉专业术语对照表
附录二 英-汉人名对照表
本书适合从事逻辑学、语言学、计算机科学和认知科学的相关研究人员、教师和学生阅读,也适合其他逻辑相关学科的教师和学生参阅。“逻辑之门”是当代世界著名的逻辑学家约翰·范本特姆经典著作的中文翻译。丛书收集了他的经典论文和主要专著,其涵盖的主题有:关于信息、进程和智能互动的模态逻辑:自然语言中范畴语法和量词语义的逻辑:逻辑与认识论、科学方法论和博弈论之间的相互影响,等等。丛书展现了现代逻辑作为数学、哲学、语言学、计算机科学、认知科学等学科之间媒介和催化剂的新视角。
逻辑研究抽象的推理模式,而日常生活中我们使用自然语言推理。从亚里士多德开始,逻辑就与语言和语言哲学紧密联系在一起。《逻辑、语言和认知》表明,这一联系在今天依然非常活跃。自然语言的使用包含着计算,用以维持语言使用者共同的对话状态,《逻辑语言和认知》探讨了语言与计算机逻辑相关的一些重要主题,研究了逻辑与认知科学的联系,表明“反心理学”的教条已经不复存在,逻辑理论与经验实践之间正在不断交换思想。
书籍详细信息 | |||
书名 | 逻辑、语言和认知站内查询相似图书 | ||
丛书名 | 逻辑之门 : 约翰·范本特姆经典著作 | ||
9787030254306 如需购买下载《逻辑、语言和认知》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN | |||
出版地 | 北京 | 出版单位 | 科学出版社 |
版次 | 1版 | 印次 | 1 |
定价(元) | 78.0 | 语种 | 简体中文 |
尺寸 | 24 × 0 | 装帧 | 精装 |
页数 | 印数 |