2016年度北京大学逻辑学博士学位论文开题报告会

2016年6月27日08:00-11:30
北京大学人文学苑哲学系2号楼106室

开   题：Conden Chao
题   目：可证自身一致性的理论
审   查：周北海（主席）   刘壮虎   陈   波   邢滔滔   王彦晶
摘   要：1931年，哥德尔证明，一个足够强的（包含皮亚诺算术PA）递归可枚举理论，只要它是一致的，它就不能证明自己的一致性。本文研究的问题则是，什么样的理论可以证明自身的一致性。

开   题：李   楷
题   目：演化博弈论的知识与推理
审   查：刘壮虎（主席）   周北海   陈   波   邢滔滔   王彦晶
摘   要：演化博弈理论对博弈者的理性有着很大的限制，但在社会经济生活中人们却往往在做决策时用到大量的知识与推理。我们想用逻辑的工具增加演化博弈理论中博弈者的知识结构和推理的能力，进而更好的刻划社会经济活动。

开   题：彭杉杉
题   目：虚构、假装理论和存在断言
审   查：刘壮虎（主席）   周北海   陈   波   邢滔滔   王彦晶
摘   要：主要从假装理论的角度分析含有虚构名称的存在断言，尝试结合假装理论与Zalta的抽象对象理论，建构有关虚构对象存在断言的形式化系统。

要   求：1、请刘佶鑫、郑植两位秘书提前10分钟做好相关准备工作；2、时间紧张，请相关与会人员提前5分钟入场完毕；3、原则上低年级博士研究生必须参加。