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]

1. You can watch a movie OR play video games.
2. 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.

1. Free Choice Principle: ${\displaystyle (\Diamond P\lor \Diamond Q)\rightarrow (\Diamond P\land \Diamond Q)}$

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 ${\displaystyle \Diamond Q}$ from ${\displaystyle \Diamond P}$, for any ${\displaystyle P}$ and ${\displaystyle Q}$. 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]