# Free choice inference

**Free choice** is a phenomenon in natural language where a linguistic disjunction appears to receive a logical conjunctive interpretation when it interacts with a modal operator. For example, the following English sentences can be interpreted to mean that the addressee can watch a movie *AND* that they can also play video games, depending on their preference:^{[1]}

- You can watch a movie OR play video games.
- You can watch a movie OR you can play video games.

Free choice inferences are a major topic of research in formal semantics and philosophical logic because they are not valid in classical systems of modal logic. If they were valid, then the semantics of natural language would validate the *Free Choice Principle*.

*Free Choice Principle*: [math]\displaystyle{ (\Diamond P \lor \Diamond Q) \rightarrow (\Diamond P \land \Diamond Q) }[/math]

This symbolic logic formula above is not valid in classical modal logic: Adding this principle as an axiom to standard modal logics would allow one to conclude [math]\displaystyle{ \Diamond Q }[/math] from [math]\displaystyle{ \Diamond P }[/math], for any [math]\displaystyle{ P }[/math] and [math]\displaystyle{ Q }[/math]. This observation is known as the *Paradox of Free Choice*.^{[1]}^{[2]} To resolve this paradox, some researchers have proposed analyses of free choice within nonclassical frameworks such as dynamic semantics, linear logic, alternative semantics, and inquisitive semantics.^{[1]}^{[3]}^{[4]} Others have proposed ways of deriving free choice inferences as scalar implicatures which arise on the basis of classical lexical entries for disjunction and modality.^{[1]}^{[5]}^{[6]}^{[7]}

Free choice inferences are most widely studied for deontic modals, but also arise with other flavors of modality as well as imperatives, conditionals, and other kinds of operators.^{[1]}^{[8]}^{[9]}^{[4]} Indefinite noun phrases give rise to a similar inference which is also referred to as "free choice" though researchers disagree as to whether it forms a natural class with disjunctive free choice.^{[9]}^{[10]}

## See also

- Deontic logic
- Disjunction
- Hans Kamp
- Modal logic
- Ross's paradox
- Simplification of disjunctive antecedents
- Sluicing

## Notes

- ↑
^{1.0}^{1.1}^{1.2}^{1.3}^{1.4}Aloni, Maria (2016). "Disjunction".*Stanford Encyclopedia of Philosophy*. https://plato.stanford.edu/archives/win2016/entries/disjunction/. 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. - ↑
^{4.0}^{4.1}Willer, Malte (2018). "Simplifying with free choice".*Topoi***37**(3): 379–392. doi:10.1007/s11245-016-9437-5. - ↑ 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. - ↑ 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".
*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. - ↑
^{9.0}^{9.1}Aloni, Maria (2007). "Free choice, modals and imperatives".*Natural Language Semantics***15**: 65–94. doi:10.1007/s11050-007-9010-2. - ↑ Giannakidou, Anastasia (2001). "The meaning of free choice".
*Linguistics and Philosophy***24**(6): 659–735. doi:10.1023/A:1012758115458.

Original source: https://en.wikipedia.org/wiki/Free choice inference.
Read more |