自由選択（Free choice、じゆうせんたく）は、自然言語における選言が、様相演算子と相互作用するとき、論理的な連言として解釈されるように見える、自然言語における現象である。例えば、次の英語文は、聞き手が自分の好みに応じて映画を見ることもでき、かつ、ビデオゲームを遊ぶこともできる、という意味で解釈されうる。
You can watch a movie or play video games. You can watch a movie or you can play video games.
自由選択推論（じゆうせんたくすいろん、Free choice inference）は、様相論理の古典的体系においては妥当ではないがゆえに、形式意味論と哲学的論理学において大きな研究トピックとなっている。もしそれらが妥当だったとしたら、自然言語の意味論は次の自由選択原理を妥当にすることになっただろう。
自由選択原理Free Choice Principle:
この上記の記号論理式は、古典的な様相論理においては妥当ではない。この原理を標準的な様相論理の公理に付け加えると、任意のとについて、からを結論することが可能になってしまう。この観察は、「自由選択のパラドクス」として知られている。このパラドクスを解決するため一部の研究者は非古典的なフレームワーク（動的意味論、線形論理、代替意味論や審問的意味論）における自由選択の分析を提案している。 他の研究者は、選言と様相に古典論理に即した語彙的意味を与えたうえで、それに基づいて生じる尺度含意（scalar implicature）として導出する方法を提案している。
自由選択推論は義務的モダリティについてもっとも広範に研究されているが、その他のフレーバーのモダリティにおいても生じるほか、命令法や条件文、その他の種類の演算子によっても生じる。 不定名詞句も、同じく「自由選択」と呼ばれる、類似した推論を引き起こすが、それが選言的自由選択とともに自然類を形成するかどうかについて、研究者たちの間に合意はない。
関連項目
義務論理 論理和 様相論理 命令論理 選言的前件の単純化 スルーシング
脚注