Open Reading and Free Choice Permission: A Perspective in Substructural Logics
Open Reading and Free Choice Permission: A Perspective in Substructural Logics
复制标题
开放阅读和自由选择许可：子结构逻辑的视角
DOI：
10.1007/978-981-13-7791-4_5
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Roy O.
中科院分区：
文献类型：
--
作者：
Dong H;Gratzl N;Roy O.
本文结合子结构逻辑和非单调推理的思想，提出了一种新的解决方案，以著名的自由选择权限Parkes（Barker 2010; Hansson 2013; Xin and Dong 2014）。自由选择许可直观上被理解为“如果它被允许进入，那么它就被允许做，它就被允许做。”然而，它的逻辑等价形式之一允许以下似乎不可接受的推论：如果允许订购素食午餐，那么允许订购素食午餐并且不支付费用（Hansson 2013）。自由选择许可逻辑的挑战在于，既要排除这种违反直觉的后果，又要不放弃太多的演绎能力。我们建议，这样做的正确方法是使用一个家庭的子结构逻辑增加了从非单调推理借用的原则。这是对Anglberger et al.（2014）提出的建议的跟进。
This paper proposes a new solution to the well-known Free Choice Permission Paradoxes (Barker 2010; Hansson 2013; Xin and Dong 2014), combining ideas from substructural logics and non-monotonic reasoning. Free choice permission is intuitively understood as “if it is permitted to doorthen it is permitted to doand it is permitted to do.” Yet, one of its logically equivalent forms allows the following inference which seems unacceptable: if it is permitted to order a vegetarian lunch then it is permitted to order a vegetarian lunch and not pay for it (Hansson 2013). The challenge for a logic of free choice permission is to exclude such counterintuitive consequences while not giving up too much deductive power. We suggest that the right way to do so is using a family of substructural logics augmented with a principle borrowed from non-monotonic reasoning. This follows up on a proposal made in Anglberger et al. (2014).
登录
查看更多内容
DOI：
10.1016/b978-0-934613-03-3.50035-0
发表时间：
1987
期刊：
J. Log. Comput.
影响因子：
--
作者：
J. McCarthy
通讯作者：
J. McCarthy
以可失效逻辑计算强权限和弱权限
影响因子：
1.5
作者：
Guido Governatori;Francesco Olivieri;A. Rotolo;Simone Scannapieco
通讯作者：
Simone Scannapieco
基于布尔代数的道义动作逻辑
影响因子：
0.7
作者：
Robert Trypuz;P. Kulicki
通讯作者：
P. Kulicki
结构证明理论
DOI：
10.1017/cbo9780511527340
发表时间：
2001
期刊：
ACM Transactions on Computational Logic (TOCL)
影响因子：
--
作者：
Sara Negri;J. Plato
通讯作者：
J. Plato
逻辑：简介
DOI：
--
发表时间：
2005
期刊：
影响因子：
--
作者：
Greg Restall
通讯作者：
Greg Restall