形式意味論入門

Author(s)

• 田中, 拓郎 タナカ, タクロウ

Bibliographic Information

形式意味論入門

田中拓郎著

（開拓社叢書, 27）

開拓社, 2016.9

Title Transcription

ケイシキ イミロン ニュウモン

Access to Electronic Resource 1 items

• 形式意味論入門

  2016.9.

  Maruzen eBook Library

Note

参考文献: p233-234

Description and Table of Contents

Description

形式意味論は、その表現形の煩雑さから、とかく敬遠されがちである。本書では意味論研究の経験が一切ない読者を対象に、形式意味論の基本からはじめて、その思考法を平易に解説する。数学や論理学の知識のない人でも楽しく読み進められるよう、実例に即して諸概念を分かりやすく導入する。ラムダ（λ）恐怖症の人でも、数式アレルギーの人でも、形式意味論の考え方に親しみ、自分の研究に活かす方策を手に入れることができる。

Table of Contents

• 第１章　形式意味論の全体図
• 第２章　単語の意味—タイプ理論とその適用
• 第３章　世界の捉え方と表現形—モデル世界意味論とラムダ演算
• 第４章　意味計算規則—単語と単語をつなぐルール
• 第５章　否定と接続詞—命題論理の使い方
• 第６章　量子化—形式意味論の歴史と発展
• 第７章　数量詞上昇（Ｑｕａｎｔｉｆｉｅｒ　Ｒａｉｓｉｎｇ）
• 第８章　代名詞（Ｐｒｏｎｏｕｎ）と省略（Ｅｌｌｉｐｓｉｓ）
• 第９章　仮説を立ててみる
• 第１０章　形式意味論の論文を読み解くために

by "BOOK database"

Details

• NCID: BB22032012
• ISBN:
  • 9784758918220
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpneng
• Place of Publication: 東京
• Pages/Volumes: viii, 238p
• Size: 21cm
• Classification:
  • NDC8 : 801
  • NDC9 : 801.2
• Subject Headings:
  • BSH : 意味論
  • NDLSH : 意味論
• Parent Bibliography ID:
  • BN1345129X