対照理論と現実性

要旨：ルイス（哲学ジャーナル, 65 (5), 113–126, 1968）は、トランスワールド・アイデンティティを避ける一階の理論である対照理論の資源を用いて、モーダルな言説の説明を試みる。まず、自然言語のモーダル主張を形式的一階モーダル言語Lの文に規定することが仮定される。次に、L-文から理論の言語の文への翻訳スキームが提供される。ハゼン（哲学ジャーナル, 76 (6), 319–338, 1979）およびファラとウィリアムソン（マインド, 114 (453), 1–30, 2005）によれば、この説明は現実性の概念を含む特定の自然言語モーダル主張を扱えない。この課題には二つの部分がある。まず、そのような主張を扱うためには、自然言語モーダル主張が規定される初期の形式的モーダル言語が現実性オペレーターのようなものでLを拡張する必要がある。次に、ルイスのLの翻訳スキームを現実性オペレーターに対応させるために拡張する特定の方法は受け入れられない。マイヤー（マインド, 122 (485), 27–42, 2013）はルイスのアプローチを擁護しようとする。まず、マイヤーは、そのような主張を扱うためには、私たちが自然言語の主張に最初に規定する形式的モーダル言語L ^* ∗は現実性オペレーターを含む必要はないと主張する。代わりに、他の資源で対応できる。次に、マイヤーはL ^* ∗ -文から対照理論の豊かな言語の文への代替の翻訳スキームを提供する。残念ながら、マイヤーのアプローチは自然言語モーダル主張に対する適切な対照理論的説明を提供することに失敗する。本論文では、その失敗を示す。