形式意味論入門: 言語・論理・認知の世界 |
Common terms and phrases
ExtM Extx find John love Mary talk unicorn walk walks woman あり ここ これら したがって ジョン すなわち すると それぞれ タイプの表現 ただし たとえば つまり という なければならない なら なる において により に関して に関する また モデル モンタギュー モンタギュー 意味論 モンタギュー 文法 ラムダ 以上 意味解釈 意味規則 意味公準 一般 英語 演算 可能世界 我々 外延 概念 割当て 関係 関数 基づき 基本表現 規定 形式意味論 形式言語 厳密 限定詞 構造 参照されたい 指示対象 指標 自然言語 写像 従来 述べ 述語 場合 真理条件 真理値 世界 説明 属性 存在 他動詞 体系 対し 対応 代数系 注意されたい 定義 定式化 統語規則 統語操作 統語論 動詞 特性関数 読者 任意 範疇 表わす 表示 複合表現 分析 文法 変項 本書 名詞句 問題 要素 理論 論理 枠組 曖昧