本研究は，依存型理論に基づく自然言語の意味の理論である依存型意味論を通して，様相表現(modalexpressions)の分析を試みる．依存型意味論は，照応や前提が絡む複雑な言語表現に対応可能であることが示されてきたが，物事の可能性(possibility)や必然性(necessity)に関わる様相表現への分析の拡張は依然開拓の余地がある．そこで本論文は，依存型意味論を様相型で拡張したModalDTSを提案する．これにより，照応とモダリティが相互作用する様相従属化(modalsubordination)をはじめ，前提を伴う様相従属化についても分析を与えるなど，依存型意味論が対象とする言語現象を拡大した．

自然言語の意味解釈に関わる，複雑な言語現象に明示的な説明を与えるために，形式意味論では様々な理論的枠組みが提案されてきた[1,2]．そのような枠組みの一つに，本研究で採用する依存型意味論(dependenttypesemantics,DTS)[3]がある．DTSは依存型理論(dependenttypetheory,DTT)[4]に基づいた自然言語の意味の理論である．項と型が相互に作用しない単純型理論[5]と異なり，DTTは「項に依存した型」を記述できる．DTSでは文の意味表示がこのDTTの型と対応する．「項に依存した型」が存在することにより，型の内部で先行文脈中の項の参照が可能となり，照応解決(anaphoraresolution)や前提束縛(presuppositionbinding)について，いずれも証明探索(proofsearch)の問題に還元されるという特徴がある．複雑な言語現象に分析を与えるDTSだが，様相表現(modalexpressions)に関する経験的研究はTanaka[6]を除きこれまであまりなされておらず，説明対象は様相表現を含まない命題に限定されていた．そこで本研究は，DTSを様相型により拡張することで様相表現を伴う現象に分析を与えることを目指した．様相表現とは，物事の可能性(possibility)や必然性(necessity)に関わる言語表現であり，形式意味論における主要な研究対象の一つである．様相表現を伴う現象の一つに，様相従属化(modalsubordination)がある．様相従属化は様相表現を伴う談話における照応現象でありRoberts[7]により指摘されて以来vanRooij[8]やAsherandMcCready[9]など多数の分析が試みられてきた．様相従属化の例を示す．(1)[Awolf]𝑖mightcomein.#It𝑖growls.(2)[Awolf]𝑖mightcomein.It𝑖wouldgrowl.様相表現を伴う談話では(1)の二文目が示すようにEタイプ照応[10]が到達可能ではなくなることがある1）．(1)は代名詞itが，awolfをEタイプ照応の先行詞とすることができない．一方，二文目にwouldを加えた(2)は代名詞itが，前半の文でmightのスコープ内で導入されたawolfを先行詞とすることができる．様相表現は形式意味論における説明対象の一つの中心であることから，様相表現と照応が相互作用する様相従属化について，照応の理論であるDTSの枠組みで分析を与えることが期待される．これに対して，飯村ら[11]は部分的な成功を収めたが，前提を伴う様相従属化の分析に課題を抱えていた．以下に例を示す．(3)[Aman]𝑖mightbemarried.He𝑖wouldaccompanyhispartner.前提の分析は，前提投射(presuppositionprojection)を検討する必要がある．前提投射は，前提を持つ言語表現が様相表現等の他の言語表現と組み合わせられたとき全体としてどのような前提を持つか，という問題である．たとえば(3)はmarriedにより引き起こされたAmanhasapartner.が，与えられた文脈に1）文頭に置かれた「#」は続く文が不適切であることを示す.おいて成立することが前提となる．飯村ら[11]ではこの前提について証明項を探索することが困難であった．本論文では，飯村ら[11]における様相型を再定義し，前提を伴う様相従属化について説明を試みる．