[现代逻辑讨论班]硕士生张锟:自由选择悖论(The Paradox of Free Choice)

发布时间:2024-10-28 23:36

作者:

来源:

浏览次数:

       2024年10月24日下午14:30-16:00,中心开展了2024年秋季学期第二次现代逻辑讨论班活动。中心硕士研究生张锟在此次讨论班上带来了题为“自由选择悖论(The Paradox of Free Choice)”的报告,博士研究生孙晴、韩琳琳、潘易欣、单成、郑怡、李小炤、彭海琪、张文睿,硕士研究生何森洋、董振璐参与了这次讨论班。

       报告人介绍了自由选择悖论的成因和表现形式,并且以Maria Aloni的方案为例说明如何解决悖论。自由选择现象广泛出现在日常生活中。例如,根据命题“你可以选择咖啡或者可乐”,我们知道可以选择咖啡。但当把自由选择作为规则时,就会导致悖论。因为经典逻辑允许从 ⋄a 推出 ⋄(a∨b),而自由选择规则赋予了我们进一步推得 ⋄b 的能力。Maria认为自由选择悖论的出现是因为 b 并没有在前提 ⋄a 中出现,也即 b 所对应的信息点为空集。如果把自由选择规则限制到信息点非空的公式的话,那么自由选择规则是有效的。Maria把上述想法形式化,提出了一套形式语言BSML,并指出该方案优于其他解决方案。参与人员还讨论了BSML和正规模态逻辑的表达力的差异,从中得到了新的启发。




(彭海琪/供图 张锟/供稿 郭美云/审核 彭子骄/发布)