ロバ文

言語学
基礎分野
音声学 音韻論 意味論 形態論 語用論 統語論 文法学 個別言語学 文字学 手話学
言語の変化と変異
言語の起源 言語系統論 言語人類学 言語生態学 言語地理学 言語年代学 言語類型論 社会言語学 比較言語学 歴史言語学 語源学 方言学
理論
理論言語学 生成言語学 認知言語学 記述言語学
応用分野
応用言語学 機能言語学 計算言語学 計量言語学 心理言語学 神経言語学 進化言語学 人類言語学 政治言語学 生物言語学 対照言語学 動物言語学 法言語学 民間言語学 インターネット言語学 コーパス言語学 LGBTQ言語学 言語獲得 第二言語習得
関連項目
言語 言語学者 文献学 計量文献学 書誌学 計量書誌学 辞書学
ポータル カテゴリ
表 話 編 歴

意味論において、ロバ文（ろばぶん、英: donkey sentence）とは、意味的には束縛されているが統語的には自由な代名詞を含む文のことである。これらは形式意味論 (自然言語)および言語哲学において古典的な難問とされている。なぜなら、文法的に正しくかつ整形式であるにもかかわらず、対応する形式言語への変換が容易ではないからである。話者がこれらをどのように理解できるかを説明するために、意味論研究者は談話表示理論などの動的意味論システムを含む様々な形式化を提案してきた。名称は「ロバを所有するすべての農夫はそれを打つ」（Every farmer who owns a donkey beats it）という例文に由来しており、「それ」（it）は不定名詞句「一頭のロバ」（a donkey）によって意味的には束縛されているが統語的には自由であることからロバ代名詞と呼ばれる。この現象はロバ照応（英: donkey anaphora）として知られる。^{[注釈 1]}

例

以下はロバ文の例である。

• Omne homo habens asinum videt illum.（「ロバを持つすべての男はそれを見る」）— ウォルター・バーリー（1328年）、De puritate artis logicae tractatus longior^[3][4]
• ロバを所有するすべての農夫はそれを打つ。（Every farmer who owns a donkey beats it.）^[5]
• 農夫がロバを所有するならば、彼はそれを打つ。（If a farmer owns a donkey, he beats it.）
• 殺人者を逮捕したすべての警察官は彼を侮辱した。（Every police officer who arrested a murderer insulted him.）

ロバ文の分析

形式意味論 (自然言語)の目標は、英語のような自然言語の文を形式論理言語に変換し、数学的分析を可能にすることである。ラッセルに従い、不定名詞句は存在記号を用いて変換するのが一般的である^[6]。バーチャルトら（Burchardt et al.）による以下の簡単な例がそれを示している。

「ある女性が喫煙する」（A woman smokes）は ${\displaystyle \exists x\,({\text{WOMAN}}(x)\land {\text{SMOKES}}(x))}$ と変換される^[7]。

典型的なロバ文「ロバを所有するすべての農夫はそれを打つ」を適切に記述するには慎重な考察が必要である（「every」を「each」に置き換えると形式的分析が簡略化されるが）。この場合のロバ代名詞は「それ」（it）という語である。この文を正しく変換するには、不定名詞句「一頭のロバ」に期待される存在記号ではなく、全称記号を用いる必要がある。

以下の素朴な最初の変換の試みは、変数 ${\displaystyle y}$ が述語 ${\displaystyle {\text{BEAT}}(x,y)}$ において自由なままであるため、整形式の文ではない^[8]。

${\displaystyle \forall x\,({\text{FARMER}}(x)\land \exists y\,({\text{DONKEY}}(y)\land {\text{OWNS}}(x,y))\rightarrow {\text{BEAT}}(x,y))}$

自由な ${\displaystyle y}$ を束縛するために存在記号のスコープを拡張しようとしても、依然として正しい変換にはならない^[8]。

${\displaystyle \forall x\,\exists y\,({\text{FARMER}}(x)\land {\text{DONKEY}}(y)\land {\text{OWNS}}(x,y)\rightarrow {\text{BEAT}}(x,y))}$

この変換は誤りである。なぜなら、ロバでない任意の対象が存在すれば既に真になってしまうからである。${\displaystyle x}$ に代入する任意の対象に対して、ロバでない対象を ${\displaystyle y}$ に代入すると論理包含が真になり（前件が偽であるため）、したがって存在節はすべての ${\displaystyle x}$ の選択に対して真になる。

ロバ文に対する一階述語論理への正しい変換は次のように思われる。

${\displaystyle \forall x\,\forall y\,(({\text{FARMER}}(x)\land {\text{DONKEY}}(y)\land {\text{OWNS}}(x,y))\rightarrow {\text{BEAT}}(x,y))}$

これは、不定詞が存在記号として解釈されなければならない場合と全称記号として解釈されなければならない場合があることを示している^[8]。

ロバ文には問題はない。文法的に正しく、整形式で意味があり、統語は規則的である。しかし、ロバ文がいかにして意味論的結果を生み出し、それが他のすべての言語使用と一貫して一般化されるかを説明することは難しい。このような分析が成功すれば、コンピュータプログラムが自然言語形式を論理形式へと正確に変換することを可能にするかもしれない^[9]。自然言語の使用者がどのようにして——見かけ上は難なく——このような例文の意味について合意できるのかは不明である。^[要出典]

このプロセスを記述するいくつかの等価な方法があるかもしれない。実際、ハンス・カンプ（英語版）（1981年）とアイリン・ハイム（英語版）（1982年）はそれぞれ異なる用語で非常に類似した説明を独立に提案し、それぞれ談話表示理論（DRT: Discourse Representation Theory）とファイル変化意味論（英語版）（FCS: File Change Semantics）と呼んだ。

ロバ照応の理論

ロバ代名詞の意味論に関する主な理論は二種類に大別される。最も古典的な提案は「記述理論的アプローチ」と呼ばれる枠組みに属しており、これはこれらの代名詞の意味論を確定記述の意味論と同様、またはそれに由来するものとして扱うすべての理論を包括するラベルである。第二の主要な理論群は「動的理論」と呼ばれ、文の意味が文脈（会話参加者が共有する情報として理解される）を変化させる潜在力にあるという前提のもとで、ロバ照応——および照応一般——をモデル化する^[10]。

記述理論的アプローチ

この節の加筆が望まれています。 （2020年3月）

記述理論的アプローチは、確定記述が重要な役割を果たすロバ代名詞の理論である。ガレス・エヴァンズのE型アプローチ^[11]によって先駆けられたこれらの理論は、ロバ代名詞が記述によって指示が固定された指示表現として理解できると主張する。

例えば、「ロバを所有するすべての農夫はそれを打つ」において、ロバ代名詞「それ」（it）は確定記述として展開でき、「ロバを所有するすべての農夫は彼/彼女が所有するロバを打つ」となる。この展開された文はラッセルの記述の理論に沿って解釈できる^[12]。

後の研究者たちは確定記述にさらに大きな役割を与え、ロバ代名詞が確定記述の意味論^[13][14]、さらには統語をも^[15]有すると主張するに至った。後者の種類のアプローチは通常「D型」と呼ばれる。

談話表示理論

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "ロバ文" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2023年1月)

ロバ文は1980年代に談話表示理論（DRT）の導入とともに意味論研究を前進させる大きな力となった。この時期に、ロバ文を一階述語論理に変換しようとする試みから生じた矛盾を解消する努力がなされた。

DRTがロバ文問題に提供する解決策は概ね次のように概説できる。非照応的名詞句の共通の意味論的機能は、新しい談話指示物（英語版）を導入することであり、それが順番に照応表現を束縛できるようになる。表示には量化子が導入されないため、論理的変換が抱えていたスコープの問題が克服される。

動的述語論理

この節の加筆が望まれています。 （2020年3月）

動的述語論理は代名詞を一階述語論理の変数 (数学)としてモデル化するが、式中の量化子が他の式中の変数を束縛することを可能にする^[16]。

歴史

中世のスコラ哲学者ウォルター・バーリーは、参照理論の中世版である代示論の文脈でロバ文を導入した。

ピーター・ギーチは、自然言語における量化の一般化形式表現に関するリチャード・モンタギューの提案への反例としてロバ文を再導入した^[5]。彼の例はデイヴィド・ルイス（1975年）^[17]、ガレス・エヴァンズ（1977年）^[11]および多くの研究者によって再利用され、現在も最近の文献で引用されている。

参考文献

脚注

関連項目

• イプシロン計算（英語版）
• 庭師の小道文（英語版）
• 一般的先行詞（英語版）
• ラムダ計算
• モンタギュー文法
• 性別中立的単数they（英語版）

外部リンク

• The Handbook of Philosophical Logic
• Discourse Representation Theory
• Introduction to Discourse Representation Theory
• SEP Entry
• Archive of CSI 5386 Donkey Sentence Discussion
• Barker, Chris. 'A Presuppositional Account of Proportional Ambiguity'. In Proceedings of Semantic and Linguistic Theory (SALT) 3. Ithaca, New York: コーネル大学, 1993. Pages 1–18.
• Brasoveanu, Adrian. 'Donkey Pluralities: Plural Information States vs. Non-Atomic Individuals'. In Proceedings of Sinn und Bedeutung 11. Edited by E. Puig-Waldmüller. Barcelona: ポンペウ・ファブラ大学, 2007. Pages 106–120.
• Evans, Gareth. 'Pronouns, Quantifiers, and Relative Clauses (I)'. Canadian Journal of Philosophy 7 (1977): 467–536.
• Geurts, Bart. 'Donkey Business'. Linguistics and Philosophy 25 (2002): 129–156.
• Huang, C-T James. 'Logical Form'. Chapter 3 in Government and Binding Theory and the Minimalist Program: Principles and Parameters in Syntactic Theory edited by Gert Webelhuth. Oxford and Cambridge: Blackwell Publishing, 1995. Pages 127–177.
• Kamp, Hans. 'A Theory of Truth and Semantic Representation'. In J. Groenendijk and others (eds.). Formal Methods in the Study of Language. Amsterdam: Mathematics Center, 1981.
• Kitagawa, Yoshihisa. 'Copying Variables'. Chapter 2 in Functional Structure(s), Form and Interpretation: Perspectives from East Asian Languages. Edited by Yen-hui Audrey Li and others. ラウトレッジ, 2003. Pages 28–64.
• Lewis, David. 'Adverbs of Quantification'. In Formal Semantics of Natural Language. Edited by Edward L Keenan. Cambridge: ケンブリッジ大学出版局, 1975. Pages 3–15.
• Montague, Richard. 'The Proper Treatment of Quantification in Ordinary English'. In KJJ Hintikka and others (eds). Proceedings of the 1970 Stanford Workshop on Grammar and Semantics. Dordrecht: Reidel, 1973. Pages 212–242.

Template:Formal semantics