光大讲坛·学术沙龙
题 目：概率逻辑系统
时 间：11月17日（星期四）19:00-21:00
地 点：3教203学术报告厅；腾讯会议（983-3822-908）
主讲人：
李延军，南开大学哲学院副教授，博士生导师。研究领域：认知逻辑，概率逻辑。博士毕业于北京大学和荷兰格罗宁根大学。
内容简介：
在概率论的集合语言中，一个事件可以用一个集合来表示。集合的补集表示该事件没有发生，两个集合的并表示两个事件至少有一个发生，两个集合的交表示两个事件都发生。除了这些集合上的补操作，并操作和交操作以外，还有一个重要的基本操作---乘积---表示两个事件顺序发生。传统的概率逻辑系统主要关注补集事件，并集事件和交集事件，较少讨论顺序发生的乘积事件。主讲人将介绍一个可以表示和处理序列事件的概率逻辑系统。首先，将介绍一个可以表示序列事件的模态逻辑，并讨论该逻辑的标准关系语义。然后，在该逻辑系统的基础上构建一个概率逻辑系统并证明其完全性。