形式意味論入門
著者
書誌事項
形式意味論入門
（開拓社叢書, 27）
開拓社, 2016.9
- タイトル読み
-
ケイシキ イミロン ニュウモン
大学図書館所蔵 件 / 全137件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p233-234
内容説明・目次
内容説明
形式意味論は、その表現形の煩雑さから、とかく敬遠されがちである。本書では意味論研究の経験が一切ない読者を対象に、形式意味論の基本からはじめて、その思考法を平易に解説する。数学や論理学の知識のない人でも楽しく読み進められるよう、実例に即して諸概念を分かりやすく導入する。ラムダ（λ）恐怖症の人でも、数式アレルギーの人でも、形式意味論の考え方に親しみ、自分の研究に活かす方策を手に入れることができる。
目次
- 第１章 形式意味論の全体図
- 第２章 単語の意味—タイプ理論とその適用
- 第３章 世界の捉え方と表現形—モデル世界意味論とラムダ演算
- 第４章 意味計算規則—単語と単語をつなぐルール
- 第５章 否定と接続詞—命題論理の使い方
- 第６章 量子化—形式意味論の歴史と発展
- 第７章 数量詞上昇（Ｑｕａｎｔｉｆｉｅｒ Ｒａｉｓｉｎｇ）
- 第８章 代名詞（Ｐｒｏｎｏｕｎ）と省略（Ｅｌｌｉｐｓｉｓ）
- 第９章 仮説を立ててみる
- 第１０章 形式意味論の論文を読み解くために
「BOOKデータベース」 より