|
||||||||||||||||||||
|
||||||||||||||||||||
|
||||||||||||||||||||
よく一緒に購入されている商品
商品の説明
内容説明
Although the two volumes of "Logic, Language, and Meaning "can be used independently of one another, together they provide a comprehensive overview of modern logic as it is used as a tool in the analysis of natural language. Both volumes provide exercises and their solutions.
登録情報
|
この本のなか見！検索より
（詳細はこちら）
この商品を見た後に買っているのは？
この商品にタグをつける(詳細)タグは、商品との関連性が非常に強いキーワードまたはラベルのようなものです。
タグにより、すべてのお客様がお気に入りの商品の整理と確認を行うことができます。 ※タグは初期設定で公開になっています。詳しくはこちら |
カスタマーレビュー
最も参考になったカスタマーレビュー
形式:ペーパーバック|Amazonが確認した購入
一独習者の感想です。
言語学の１分野である形式意味論の教科書。
本書の目指すところは、形式意味論の初期理論の代表格であるPTQと呼ばれるモンタギュー意味論の詳しい理解と、
いくつかの後発理論の概要を知ることにあります。PTQの解説という点においては、本書に先行したIntroduction to Montague Semantics (David Dowty他）
や『形式意味論入門』（白井賢一郎）などと同類ですが、Gamutのこの本はこれら２書よりも断然お勧めに思います。
本書は1991年発刊ですが、それより数年前にオランダ語で書かれたものが原著で、本書はその英訳版です。
著者名はL. T. F. Gamutとなっていますが、実際は論理学者と言語学者から成る５人の人々による共著です。
英語は比較的理解しやすいと思いましたが、後述の通り最終章だけは、少なくとも私は、先立つ章とは違う雰囲気を味わいました。
モンタギュー意味論は、可能世界意味論に基づく高階論理で構築されていますが、本書ではそれらの概念の理解に必要な一階述語論理までの知識は前提とされています。
本書の構成は、２〜３章で様相命題論理、様相述語論理。次いで４〜５章で高階論理のためのタイプ論理と、それに様相論理を組み込んだ論理。
そして６章でモンタギュー意味論、最後７章では後発理論の紹介となっています。
様相論理については、分かりやすく説明がされていると感じます。特に様相述語論理については、私は論理学専門の本では参照したことはないのですが、
着実に理解して行けばしっかりと把握できる説明だと、２、３度読んで思うようになりました。
モンタギュー意味論はラムダ計算を用いていますが、本書のラムダ計算の説明は大変に分かりやすいもので、市販されている類書の中ではベストに感じます。
肝心のモンタギュー意味論そのものですが、全般的には本書に先行した前掲２書と比較して、カバーしている内容はほぼ一致していると思います。
説明の仕方については、Gamutのほうが１歩、２歩程度は分かりやすいかなとは感じています。
ただ、個人的な感想ですが、前掲２書のみならずGamutにも言える残念なことは、syntaxの説明に偏重してしまっているところです。
モンタギューの作った枠組みを用いて、自然言語の文がどのように論理式に翻訳されるのかの説明は豊富なのでですが、
その次の段階である意味論での扱いが満足に説明されていません。簡単に言えば、モンタギューの用いた内包演算子の現れる論理式にdenotationを返す関数をかませると、
どのように真理条件が導けるのか、教科書ならばその辺りも具体的に説明して欲しかったです。
最終の第７章は、モンタギュー意味論登場後に出された理論のうち、一般化量化子(generalized quantifier)、
談話表示理論(discourse representation theory)、ダイナミック述語論理(dynamic predicate logic)というものの概要が紹介されています。
個人的には最初の一般化量化子（以下GQ）しかちゃんと見ておらず恐縮ですが、情報量は多いと感じました。
ただし、それまでの章に比べ集合を使った説明が前面になされるので、集合の記号操作に慣れているほうがベターでしょう。
加えて、少なくとも私の印象ですが、この章は６章までと比べて説明の仕方が違うな、という印象を持たせました。
説明の仕方も難しくなったなと感じました。これは、メインの著者が交替したということでしょうか。
総じて、あくまで個人的評価ですが、形式意味論の初学者でも入って行ける解説書としては本レビュー時では、市販のものの中では本書に勝るものはないと感じます。
それは様相述語論理と、ラムダ演算子の説明が詳しく書かれていることが大きいです。
ただし先述のとおり、モンタギュー文法での論理式の真理条件についても詳しく説明が欲しかった、という点だけが惜しいかなと感じます。
言語学の１分野である形式意味論の教科書。
本書の目指すところは、形式意味論の初期理論の代表格であるPTQと呼ばれるモンタギュー意味論の詳しい理解と、
いくつかの後発理論の概要を知ることにあります。PTQの解説という点においては、本書に先行したIntroduction to Montague Semantics (David Dowty他）
や『形式意味論入門』（白井賢一郎）などと同類ですが、Gamutのこの本はこれら２書よりも断然お勧めに思います。
本書は1991年発刊ですが、それより数年前にオランダ語で書かれたものが原著で、本書はその英訳版です。
著者名はL. T. F. Gamutとなっていますが、実際は論理学者と言語学者から成る５人の人々による共著です。
英語は比較的理解しやすいと思いましたが、後述の通り最終章だけは、少なくとも私は、先立つ章とは違う雰囲気を味わいました。
モンタギュー意味論は、可能世界意味論に基づく高階論理で構築されていますが、本書ではそれらの概念の理解に必要な一階述語論理までの知識は前提とされています。
本書の構成は、２〜３章で様相命題論理、様相述語論理。次いで４〜５章で高階論理のためのタイプ論理と、それに様相論理を組み込んだ論理。
そして６章でモンタギュー意味論、最後７章では後発理論の紹介となっています。
様相論理については、分かりやすく説明がされていると感じます。特に様相述語論理については、私は論理学専門の本では参照したことはないのですが、
着実に理解して行けばしっかりと把握できる説明だと、２、３度読んで思うようになりました。
モンタギュー意味論はラムダ計算を用いていますが、本書のラムダ計算の説明は大変に分かりやすいもので、市販されている類書の中ではベストに感じます。
肝心のモンタギュー意味論そのものですが、全般的には本書に先行した前掲２書と比較して、カバーしている内容はほぼ一致していると思います。
説明の仕方については、Gamutのほうが１歩、２歩程度は分かりやすいかなとは感じています。
ただ、個人的な感想ですが、前掲２書のみならずGamutにも言える残念なことは、syntaxの説明に偏重してしまっているところです。
モンタギューの作った枠組みを用いて、自然言語の文がどのように論理式に翻訳されるのかの説明は豊富なのでですが、
その次の段階である意味論での扱いが満足に説明されていません。簡単に言えば、モンタギューの用いた内包演算子の現れる論理式にdenotationを返す関数をかませると、
どのように真理条件が導けるのか、教科書ならばその辺りも具体的に説明して欲しかったです。
最終の第７章は、モンタギュー意味論登場後に出された理論のうち、一般化量化子(generalized quantifier)、
談話表示理論(discourse representation theory)、ダイナミック述語論理(dynamic predicate logic)というものの概要が紹介されています。
個人的には最初の一般化量化子（以下GQ）しかちゃんと見ておらず恐縮ですが、情報量は多いと感じました。
ただし、それまでの章に比べ集合を使った説明が前面になされるので、集合の記号操作に慣れているほうがベターでしょう。
加えて、少なくとも私の印象ですが、この章は６章までと比べて説明の仕方が違うな、という印象を持たせました。
説明の仕方も難しくなったなと感じました。これは、メインの著者が交替したということでしょうか。
総じて、あくまで個人的評価ですが、形式意味論の初学者でも入って行ける解説書としては本レビュー時では、市販のものの中では本書に勝るものはないと感じます。
それは様相述語論理と、ラムダ演算子の説明が詳しく書かれていることが大きいです。
ただし先述のとおり、モンタギュー文法での論理式の真理条件についても詳しく説明が欲しかった、という点だけが惜しいかなと感じます。
Amazon.com で最も参考になったカスタマーレビュー (beta)
Amazon.com:
1個のレビュー
1 人中、1人の方が、｢このレビューが参考になった｣と投票しています。
Perfect
2012/4/14
形式:ペーパーバック|Amazonが確認した購入
I seriously don't have a bad thing to say about this book. It is less or more the perfect introduction to logic for natural language semanticists. It presents thoroughly the most important logics used by formal semanticists, whitout any compromises on formal rigor. It incudes references for further readings, and implications for linguistic theories. It even spends a whole chapter on discussing modern theories.
As mentioned in the introduction, it is optimal for linguists and logicians/philosophers in terested in natural language, and it is also very useful for computational linguists/AI researchers. It is not adequate for those whose motivation is purely logical/mathematical. Enjoy!
As mentioned in the introduction, it is optimal for linguists and logicians/philosophers in terested in natural language, and it is also very useful for computational linguists/AI researchers. It is not adequate for those whose motivation is purely logical/mathematical. Enjoy!
このレビューはお役に立ちましたか？
ご意見はクチコミでお聞かせください。
リストマニア
関連商品を探す
同じキーワードの商品を探す
フィードバック
- カタログ情報、または画像について報告
- 著者からのコメント
- 出版社からのコメント
|
