形式意味論入門(開拓社叢書〈27〉) [全集叢書]

形式意味論入門(開拓社叢書〈27〉) [全集叢書] の 商品概要

• 要旨（「BOOK」データベースより）

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

• 目次

  はしがき
  
  第１章　形式意味論の全体図
  1.1.　「意味」とは何か
  1.2.　合成意味論の枠組み
  1.3.　統語構造― 「設計図」としての文構造
  
  第２章　 単語の意味―タイプ理論とその適用―
  2.1.　対象言語とメタ言語
  2.2.　タイプ理論（Type Theory）
  2.3.　複合タイプ
  2.3.1.　〈e, t〉タイプ
  2.3.2.　〈e, 〈e, t〉〉タイプ
  
  第３章　 世界の捉え方と表現形―モデル世界意味論とラムダ演算―
  3.1.　モデル世界意味論
  3.1.1.　Model PEANUTSという「箱庭」
  3.1.2.　Model PEANUTSにおける〈e, t〉タイプの述語
  3.1.3.　Model PEANUTSにおける〈e, 〈e, t〉〉タイプの述語
  3.1.4.　タイプ理論再び―その他の語彙範疇の意味タイプ
  3.2.　ラムダ演算子
  3.2.1.　ラムダ演算子のしくみ
  3.2.2.　前提（presupposition）―定冠詞theの制約
  
  第４章　 意味計算規則―単語と単語をつなぐルール―
  4.1.　Functional Application （FA）
  4.1.1.　Functional Application （FA）の概要
  4.1.2.　モデルの「中」と「外」
  4.1.3.　単語の外延の設定のしかた
  4.2.　Predicate Modification （PM）
  4.3.　Traces & Pronouns Rule （T&P）
  4.4.　Predicate Abstraction (PA)
  
  第５章　 否定と接続詞―命題論理の使い方―
  5.1.　否定(Negation)
  5.1.1.　真理表
  5.1.2.　Wh移動以外の移動に適用されるPredicate Abstraction
  5.1.3.　否定文の合成的意味計算
  5.2.　連言，選言（and, or）
  5.2.1.　ANDとORの命題論理
  5.2.2.　AND， ORの合成的意味計算
  
  第６章　 量化子―形式意味論の歴史と発展―
  6.1.　主語名詞句のタイプは一体何なのか．
  6.1.1.　上位集合，部分集合間の推論関係
  6.1.2.　矛盾律
  6.1.3.　排中律
  6.1.4.　統語的な齟齬
  6.1.5.　述語（〈e, t〉タイプ）としてのDP
  6.2.　量化子の考え方―形式意味論の軌跡
  6.2.1.　モンタギュー文法
  6.2.2.　一般量化子理論（Generalized Quantifier Theory）
  
  第７章　数量詞上昇（Quantifier Raising）
  7.1.　単語の外延を設定する
  7.2.　目的語に量化子を含む文
  7.3.　もうひとつの意味解釈
  
  第８章　代名詞（Pronoun）と省略（Ellipsis）
  8.1. 　指示代名詞（Referencial pronoun）と束縛代名詞（Bound pronoun）
  8.2.　省略（Ellipsis）
  8.3.　先行詞内削除（Antecedent-Contained Deletion）
  8.4.　統語的束縛と意味的束縛
  
  第９章　仮説を立ててみる
  9.1.　主語コントロールと目的語コントロール
  9.2.　語彙項目に仮説を立てる
  9.3.　統語構造に仮説を立てる
  9.4.　仮説の妥当性を検証する
  
  第10章　形式意味論の論文を読み解くために
  10.1.　記号や論理式にビビらない― Barwise and Cooper （1981）
  10.2.　問いを正しく掴む― Partee （1988）
  10.3.　困ったときには具体例― Westerståhl (1985)
  10.4.　「攻めの姿勢」で読む― Cohen （2001）
  10.5.　仮説を吟味する
  
  参考文献
  索　　引

• 内容紹介

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

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  田中 拓郎(タナカ タクロウ)
  ２００１年東北大学大学院情報科学研究科前期課程修了。２００３年同大学院後期課程中途退学。２００７年コネチカット州立大学大学院修了。日本大学国際関係学部助教を経て、現在、上智大学非常勤講師

• 著者について

  田中 拓郎 (タナカ タクロウ)
  2001年東北大学大学院情報科学研究科前期課程修了．2003年同大学院後期課程中途退学．2007年コネチカット州立大学大学院修了．日本大学国際関係学部助教を経て，現在，上智大学非常勤講師．主な論文： “Focus, Context, and Many Elements”（Sinn und Bedeutung 9, 2005），“Differential Comparative Construction in Japanese”（MITWPL 55, FAJL 4, 2007），“Lexical Decomposition and Comparative Structures for Japanese Determiners”（SALT 16, 2007），など．

形式意味論入門(開拓社叢書〈27〉) [全集叢書] の商品スペック