





定价:168元
印次:1-1
ISBN:9787302689843
出版日期:2025.05.01
印刷日期:2025.05.21
图书责编:梁斐
图书分类:学术专著
"逻辑与博弈这两个看似独立却内在联系紧密的领域,在本书中得到了深刻的融合。欧洲科学院院士范丙申教授以他深邃的洞察力和严谨的学术态度,系统地阐述了逻辑与博弈的交汇 点。从逻辑博弈的基本概念,到博弈逻辑的复杂结构,再到弈博论的提出,全书通过“博弈逻 辑”和“逻辑博弈”两条主线上研究问题的交织,系统地介绍了博弈逻辑、逻辑动态、策略式博弈、逻辑博弈、博弈运算,以及逻辑博弈与博弈逻辑的融合等多个主题,逐步展开了一个多维度、跨学科的研究视野,引领我们穿梭于逻辑的严密与博弈的策略之间,探索理性主体在交互过程中的深层次逻辑。"
范丙申(Johan van Benthem),约翰·范丙申(著),清华大学金岳霖讲席教授、阿姆斯特丹大学的大学教授(University professor)、斯坦福大学Henry Waldgrave Stuart教授、荷兰皇家科学院院士、欧洲科学院院士、 国际哲学学院院士。1996年获荷兰国家级斯宾诺莎奖,这是自然科学和社会科学领域的**奖项。在上世纪90年代,他创建了阿姆斯特丹大学的逻辑、语言与计算研究所(ILLC),并长期指导该研究所的工作。ILLC是当今国际**、规模**、专门从事逻辑与语言学、计算机科学、认知科学等交叉领域研究的逻辑学研究中心。到目前为止,他撰写了9部专著和约450篇论文,主编了4部具有**性的逻辑手册,他的著作已被翻译成俄语、西班牙语、汉语等出版,在世界范围内影响广泛。他培养了70名博士研究生、50名硕士研究生,其中有40名博士毕业生已在世界上各国的大学成功获得了**职位。此外,他还在很多国际组织兼职,任多个重要英文杂志的主编或编委。
序 言 这本书是有关逻辑与博弈交汇内容的研究。在研读著名的《博弈与决策》(Luce et al., 1957)时,我已经开始对这种交汇研究产生兴趣。 1975 年,我开设了第一门哲学逻辑课程,其中洛伦岑(Lorenzen)的对话博弈作为一个令人兴奋、又因错综复杂而让人生怕的关键主题,更加强化了我对这个领域的研究兴趣。后来,辛提卡 (Hintikka)的赋值博弈如同天生伴侣一般进入了我的视野。即便如此,我第一次系统探索该领域还是在 1988 年,当时我在申请一个资助金额为 2000 德国马克的弗劳恩霍夫基金 (the Fraunhofer Foundation)项目,为此需要完成一篇有关逻辑和博弈之间所有交汇研究的文献综述。即使该领域并无系统的研究工作,我从中也发现了许多有趣的研究线索。之后,在20世纪 90 年代,关于知识推理的 TARK 会议让我结识到许多博弈论学者,这些学者的工作正在改变认知逻辑领域。我的斯坦福大学同事约夫·肖汉姆 (Yoav Shoham)让我相信这个领域中有太多逻辑学者可以学习研究的东西。因此,我的斯宾诺莎项目(Spinoza Project)“行动中的逻辑”(1996---2001)以博弈为主线,并且组织了多次会议,邀请博弈论学者与计算机科学家从事这种交汇的基础研究。这个主题在阿姆斯特丹的 ILLC 中心一直保持不变,其中备受瞩目的包括活跃的玛丽·居里(Marie Curie)研究中心“Gloriclass”(2006---2010),它在数学、计算机科学、语言学和社会科学领域,发表了大约12篇与博弈相关的论文。 这本书源自1999---...
绪论:漫游在博弈中的逻辑 1
0.1 逻辑与博弈的邂逅 1
0.2 逻辑博弈 2
0.3 从逻辑博弈到一般的博弈结构 6
0.4 作为交互进程的博弈 9
0.5 逻辑邂逅博弈论 14
0.6 从逻辑和博弈论到弈博论 25
0.7 小结 27
0.8 本书的内容 28
第一部分 博弈逻辑和进程结构
第一部分的导言 34
第一章 作为进程的博弈:可定义性与不变性 37
1.1 模态逻辑中作为进程图的博弈 38
1.2 进程等价和博弈等价 46
1.3 博弈等价的其他概念 51
1.4 小结 54
1.5 文献 55
第二章 偏好、博弈解和最佳行动 56
2.1 基本的偏好逻辑 56
2.2 关于偏好的关系性策略和选择 60
2.3 在不动点逻辑中定义逆向归纳法 63
2.4 放眼最佳行动的模态逻辑 65
2.5 小结 66
2.6 文献 67
2.7 进一步研究方向 68
第三章 不完美信息博弈 70
3.1 博弈中知识的多样性 70
3.2 初见不完美信息博弈 71
3.3 模态-认知逻辑 72
3.4 逻辑公理的对应理论 77
3.5 多模态博弈逻辑的复杂度 80
3.6 揭开虚线的机制 82
3.7 小结 83
3.8 文献 84
3.9 进一步研究方向 84
第四章 策略显式化 88
4.1 作为一等公民的策略 88
4.2 在动态逻辑中定义策略 89
4.3 策略的一般演算 94
4.4 面对知识的策略 97
4.5 小结 101
4.6 文献 102
4.7 ...