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和正规模态逻辑的表达力的差异，从中得到了新的启发。

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