逻辑、信息和互动：逻辑之门：约翰·范本特姆经典著作卷I

作者: [荷兰] 范本特姆著 , 刘奋荣译 , 余俊伟译

出版社: 科学出版社

出版时间: 2008-06

版次: 1

ISBN: 9787030205254

定价: 78.00

装帧: 精装

开本: 16开

纸张: 胶版纸

页数: 403页

字数: 508千字

正文语种: 简体中文

丛书: 逻辑之门：约翰·范本特姆经典著作

分类: 哲学心理学

1 张插图图片

　　“逻辑之门”是当代世界著名的逻辑学家约翰，范本特姆经典著作的中文翻译。丛书收集了他的经典论文和主要专著，其涵盖的主题有：关于信息、进程和智能互动的模态逻辑，自然语言中范畴语法和量词语义的逻辑：逻辑与认识论、科学方法论和博弈论之间的相互影响，等等。丛书展现了现代逻辑作为数学、哲学、语言学、计算机科学、认知科学等学科之间媒介和催化剂的新视角。
　　《逻辑、信息和互动》是关于当今模态逻辑所研究的主要问题的一个论文集。它展示了模态逻辑的发展历程，系统地阐述了模态逻辑的数学理论。特别是，模态逻辑在研究主体的知识和信念、信息流、计算，以及主体在博弈或其他社会活动中的交流互动等方面的应用。本书既有关于逻辑数学基础的探索，又有对逻辑应用领域的拓展，适合从事逻辑学研究的学生和教师阅读。也适合从事其他逻辑相关学科专业的学生和教师参阅。　　约翰·范本特姆，当代世界著名逻辑学家，阿姆斯特丹大学的大学教授、斯坦福大学哲学教授，兼任中山大学客座教授。荷兰皇家艺术与科学院、欧洲科学院和国际哲学院院士，多个杂志编辑。撰写了约300篇论文和6部专著，主编了4部具有权威性的逻辑手册。由于他的卓越成就，荷兰政府于1996年授予他斯宾诺莎奖。丛书序
译者序
前言
第1部分模态逻辑基本理论
1对应理论
2两个格式塔中的模态逻辑
3安保、界限和广义语义学
第2部分模态逻辑和计算
4动态箭号逻辑笔记
5谓词逻辑的模态基础
6使互模拟安全的程序构造
第3部分模态逻辑和信息
7“人的存在并非是孤立的”：逻辑与交流
8信念修正的动态逻辑
9偏好升级的动态逻辑
第4部分模态逻辑和博弈
10动态认知逻辑中的博弈
11作为进程模型的扩展博弈
12逻辑博弈对博弈逻辑是完全的
13博弈中的理性动态和认知逻辑
附录
附录一英-汉专业术语对照表
附录二英-汉人名对照表
致谢
内容简介:
　　“逻辑之门”是当代世界著名的逻辑学家约翰，范本特姆经典著作的中文翻译。丛书收集了他的经典论文和主要专著，其涵盖的主题有：关于信息、进程和智能互动的模态逻辑，自然语言中范畴语法和量词语义的逻辑：逻辑与认识论、科学方法论和博弈论之间的相互影响，等等。丛书展现了现代逻辑作为数学、哲学、语言学、计算机科学、认知科学等学科之间媒介和催化剂的新视角。
　　《逻辑、信息和互动》是关于当今模态逻辑所研究的主要问题的一个论文集。它展示了模态逻辑的发展历程，系统地阐述了模态逻辑的数学理论。特别是，模态逻辑在研究主体的知识和信念、信息流、计算，以及主体在博弈或其他社会活动中的交流互动等方面的应用。本书既有关于逻辑数学基础的探索，又有对逻辑应用领域的拓展，适合从事逻辑学研究的学生和教师阅读。也适合从事其他逻辑相关学科专业的学生和教师参阅。
作者简介:
　　约翰·范本特姆，当代世界著名逻辑学家，阿姆斯特丹大学的大学教授、斯坦福大学哲学教授，兼任中山大学客座教授。荷兰皇家艺术与科学院、欧洲科学院和国际哲学院院士，多个杂志编辑。撰写了约300篇论文和6部专著，主编了4部具有权威性的逻辑手册。由于他的卓越成就，荷兰政府于1996年授予他斯宾诺莎奖。
目录:
丛书序
译者序
前言
第1部分模态逻辑基本理论
1对应理论
2两个格式塔中的模态逻辑
3安保、界限和广义语义学
第2部分模态逻辑和计算
4动态箭号逻辑笔记
5谓词逻辑的模态基础
6使互模拟安全的程序构造
第3部分模态逻辑和信息
7“人的存在并非是孤立的”：逻辑与交流
8信念修正的动态逻辑
9偏好升级的动态逻辑
第4部分模态逻辑和博弈
10动态认知逻辑中的博弈
11作为进程模型的扩展博弈
12逻辑博弈对博弈逻辑是完全的
13博弈中的理性动态和认知逻辑
附录
附录一英-汉专业术语对照表
附录二英-汉人名对照表
致谢