报告人简介
钟盛阳，北京大学哲学系（宗教学系）长聘副教授，博士毕业于阿姆斯特丹大学逻辑、语言与计算研究所。当前的研究兴趣主要集中于Birkhoff-von Neumann量子逻辑的关系语义，也包括相关的量子理论数学基础问题以及量子逻辑与其它逻辑之间的联系。
内容简介
本报告共分为三部分。第一部分探讨命题间的推演关系如何确定一种逻辑，这也是命题逻辑代数语义的核心思想。第二部分介绍量子理论的相关基本假设。第三部分阐述Birkhoff与von Neumann如何从量子理论中抽象出命题概念及其推演关系，并由此构建出传统量子逻辑。
