依存型意味論における暗黙的な文脈拡張による慣習的推意の分析

文や発話の争点とはならない補足情報のことを慣習的推意といい，これは聞き手が直接的に応答できない形で会話の文脈を更新するという特殊な性質を持つ．本稿は慣習的推意に対して依存型意味論という枠組みに基づく分析を与える．具体的には，型検査の過程で型付け文脈を拡張するような型を提案し，これにより慣習的推意に関する意味現象に対して適切な予測ができることを示す．