自由选择推理

自由选择是自然语言中的一种现象，其中语言析取在与模态运算符交互时似乎接受了逻辑合取解释。 例如，以下英语句子可以解释为收件人可以看电影并且他们也可以玩电子游戏，这取决于他们的喜好：

自由选择推理

您可以看电影或玩电子游戏。
自由选择推理是形式语义学和哲学逻辑研究的主要课题，因为它们在模态逻辑的经典系统中无效。如果它们是有效的，那么自然语言的语义将验证自由选择原则。

自由选择原则：
上面的这个符号逻辑公式在经典模态逻辑中无效：将此原理作为公理添加到标准模态逻辑将允许人们从 P 得出结论，对于任何 P 和 Q。这种观察被称为自由选择悖论。为了解决这个悖论，一些研究人员提出了在动态语义、线性逻辑、替代语义和好奇语义等非经典框架内对自由选择的分析。其他人提出了将自由选择推论推导为标量含义的方法，这些含义是基于析取和模态的经典词汇条目而出现的。

自由选择推理在道义模态中得到了最广泛的研究，但也出现在其他形式的模态以及命令式、条件式和其他类型的运算符中。不定名词短语产生了类似的推论，也被称为“自由选择”，尽管研究人员不同意它是否形成具有析取自由选择的自然类。

参考资料：
Aloni, Maria (2016). "Disjunction". In Zalta, Edward (ed.). Stanford Encyclopedia of Philosophy. Retrieved 2021-01-14.
Kamp, Hans (1973). "Free choice permission". Proceedings of the Aristotelian Society. 74: 57–74. doi:10.1093/aristotelian/74.1.57.
Simons, Mandy (2005). "Dividing things up: The semantics of or and the modal/or interaction". Natural Language Semantics. 13 (3): 271–316. doi:10.1007/s11050-004-2900-7. S2CID 14338992.
Willer, Malte (2018). "Simplifying with free choice". Topoi. 37 (3): 379–392. doi:10.1007/s11245-016-9437-5. S2CID 125934921.
Fusco, Melissa (2014). "Free choice permission and the counterfactuals of pragmatics". Linguistics and Philosophy. 37 (4): 275–290. doi:10.1007/s10988-014-9154-8. S2CID 27379239.
Schulz, Katrin (2007). Minimal models in semantics and pragmatics: Free choice, exhaustivity, and conditionals (Thesis). University of Amsterdam ILLC.
Fox, Danny (2007). "Free choice and the theory of scalar implicatures". In Sauerland, U.; Stateva, P. (eds.). Presupposition and implicature in compositional semantics. Palgrave Macmillan. pp. 71–120. doi:10.1057/9780230210752_4. ISBN 978-1-349-28206-7.
Zimmerman, Thomas Ede (2000). "Free choice disjunction and epistemic possibility". Natural Language Semantics. 8 (4): 255–290. doi:10.1023/A:1011255819284. S2CID 122826485.
Aloni, Maria (2007). "Free choice, modals and imperatives". Natural Language Semantics. 15: 65–94. doi:10.1007/s11050-007-9010-2. S2CID 16471990.
Giannakidou, Anastasia (2001). "The meaning of free choice". Linguistics and Philosophy. 24 (6): 659–735. doi:10.1023/A:1012758115458. S2CID 10533949.

析取引入给模态推理带来了问题，允许推断任意模态陈述。