自由選択推論

自由選択とは、自然言語における現象であり、言語的選言が様相演算子と相互作用すると、論理的連言的解釈を受けるように見える現象です。例えば、次の英語の文は、相手が好みに応じて映画を見ることも、ビデオゲームをすることもできることを意味していると解釈できます。^[¹^]

映画を見たり、ビデオゲームをしたりできます。
映画を見たり、ビデオゲームをしたりすることもできます。

自由選択推論は、古典的な様相論理体系では妥当ではないため、形式意味論と哲学論理学における主要な研究テーマとなっている。もしそれが妥当であれば、自然言語の意味論は自由選択原理を妥当とすることになるだろう。

自由選択の原則： $\Diamond (P\lor Q)\rightarrow (\Diamond P\land \Diamond Q)$

上記の記号論理式は、古典的な様相論理では有効ではありません。この原理を公理として標準的な様相論理に追加すると、任意のおよびに対して、から結論付けることができます。この観察は自由選択のパラドックスとして知られています。^[¹^]^[²^]このパラドックスを解決するために、一部の研究者は、動的意味論、線型論理、代替意味論、探究的意味論などの非古典的なフレームワーク内での自由選択の分析を提案しました。^[¹^]^[³^]^[⁴^]他の研究者は、古典的な語彙の選言と様相のエントリに基づいて生じるスカラー含意として自由選択推論を導き出す方法を提案しました。^[¹^]^[⁵^]^[⁶^]^[⁷^] $\Diamond Q$ $\Diamond P$ $P$ $Q$

自由選択推論は義務法について最も広く研究されているが、他の種類の法則や命令法、条件法、その他の演算子でも生じる。^{[ 1 ]}^{[ 8 ]}^{[ 9 ]}^{[ 4 ]}不定名詞句も同様の推論を生じさせ、これは「自由選択」とも呼ばれるが、選言的自由選択と自然なクラスを形成するかどうかについては研究者の間で意見が分かれている。^{[ 9 ]}^{[ 10 ]}

参照

注釈

^ ^a ^b ^c ^d ^eアロニ、マリア(2016). 「Disjunction」 . ザルタ、エドワード (編).スタンフォード哲学百科事典. 2021年1月14日閲覧
^カンプ、ハンス (1973). 「自由選択の許可」.アリストテレス協会紀要. 74 : 57–74 . doi : 10.1093/aristotelian/74.1.57 .
^ Simons, Mandy (2005). 「物事を分割する：or の意味論と法助動詞/or の相互作用」.自然言語意味論. 13 (3): 271– 316. doi : 10.1007/s11050-004-2900-7 . S2CID 14338992 .
^ ^a ^b Willer, Malte (2018). 「自由選択による簡素化」Topoi . 37 (3): 379– 392. doi : 10.1007/s11245-016-9437-5 . S2CID 125934921 .
^ Fusco, Melissa (2014). 「自由選択の許可と語用論の反事実的性質」 .言語学と哲学. 37 (4): 275– 290. doi : 10.1007/s10988-014-9154-8 . S2CID 27379239 .
^ Schulz, Katrin (2007).意味論と語用論における極小モデル：自由選択、網羅性、条件文（論文）. アムステルダム大学ILLC.
^フォックス、ダニー (2007). 「自由選択とスケール含意理論」. Sauerland, U.; Stateva, P. (編).構成的意味論における前提と含意. Palgrave Macmillan. pp. 71– 120. doi : 10.1057/9780230210752_4 . ISBN 978-1-349-28206-7。
^ジマーマン、トーマス・イーデ (2000). 「自由選択選言と認識論的可能性」.自然言語意味論. 8 (4): 255–290 . doi : 10.1023/A:1011255819284 . S2CID 122826485
^ ^a ^bアロニ、マリア (2007). 「自由選択、法助動詞、命令形」.自然言語意味論. 15 : 65–94 . doi : 10.1007/s11050-007-9010-2 . S2CID 16471990 .
^ジャンナキドゥ、アナスタシア (2001). 「自由選択の意味」.言語学と哲学. 24 (6): 659– 735. doi : 10.1023/A:1012758115458 . S2CID 10533949 .

[alonisep-1] アロニ、マリア(2016). 「Disjunction」 . ザルタ、エドワード (編).スタンフォード哲学百科事典. 2021年1月14日閲覧

[2] カンプ、ハンス (1973). 「自由選択の許可」.アリストテレス協会紀要. 74 : 57–74 . doi : 10.1093/aristotelian/74.1.57 .

[3] Simons, Mandy (2005). 「物事を分割する：or の意味論と法助動詞/or の相互作用」.自然言語意味論. 13 (3): 271– 316. doi : 10.1007/s11050-004-2900-7 . S2CID 14338992 .

[willertopoi-4] Willer, Malte (2018). 「自由選択による簡素化」Topoi . 37 (3): 379– 392. doi : 10.1007/s11245-016-9437-5 . S2CID 125934921 .

[5] Fusco, Melissa (2014). 「自由選択の許可と語用論の反事実的性質」 .言語学と哲学. 37 (4): 275– 290. doi : 10.1007/s10988-014-9154-8 . S2CID 27379239 .

[6] Schulz, Katrin (2007).意味論と語用論における極小モデル：自由選択、網羅性、条件文（論文）. アムステルダム大学ILLC.

[7] フォックス、ダニー (2007). 「自由選択とスケール含意理論」. Sauerland, U.; Stateva, P. (編).構成的意味論における前提と含意. Palgrave Macmillan. pp. 71– 120. doi : 10.1057/9780230210752_4 . ISBN 978-1-349-28206-7。

[8] ジマーマン、トーマス・イーデ (2000). 「自由選択選言と認識論的可能性」.自然言語意味論. 8 (4): 255–290 . doi : 10.1023/A:1011255819284 . S2CID 122826485

[aloni07-9] アロニ、マリア (2007). 「自由選択、法助動詞、命令形」.自然言語意味論. 15 : 65–94 . doi : 10.1007/s11050-007-9010-2 . S2CID 16471990 .

[10] ジャンナキドゥ、アナスタシア (2001). 「自由選択の意味」.言語学と哲学. 24 (6): 659– 735. doi : 10.1023/A:1012758115458 . S2CID 10533949 .

[

[

[

[

[

[

[

[ 8 ]

[ 9 ]

[ 10 ]