依存型意味論による叙実動詞の意味記述の試み

抄録

know等の叙実動詞の意味には前提が含まれる。依存型意味論は、現代的な型理論に基づく自然言語意味論の枠組みであり、含意関係の導出と照応・前提の統一的分析に一定の成功を収めている。しかし叙実動詞の前提はthatやwhといった補文標識の選択と関連して、その他の照応・前提現象とは異なる振る舞いを示す。本研究では依存型意味論における前提記述の枠組みを拡張し、叙実動詞の前提・含意をとらえた意味表示を与える。