|
||||||||||||||||||||
|
||||||||||||||||||||
|
||||||||||||||||||||
登録情報
|
この商品を見た後に買っているのは？
この商品にタグをつける(詳細)タグは、商品との関連性が非常に強いキーワードまたはラベルのようなものです。
タグにより、すべてのお客様がお気に入りの商品の整理と確認を行うことができます。 ※タグは初期設定で公開になっています。詳しくはこちら |
カスタマーレビュー
最も参考になったカスタマーレビュー
6 人中、6人の方が、｢このレビューが参考になった｣と投票しています。
形式:ペーパーバック
様相論理の入門書というとChellasのものやHughes&Cresswellのものが有名だが、今一つ敷居が高いという感じが否めないのではないだろうか。またちょっと様相論理に興味があるんだけど、という人にとってはそれらの本を読むのはいかにもきつい。その点この本は、厚さも手ごろ、内容も基礎から応用までと手広く、その記述方法も、公理的証明法や自然演繹といった若干手管を要するものではなく、真理木による証明という馴染みやすいものを採用しており、前述の二書につまずいた人や、ちょっと興味はあるけどそんなにがしがしやるつもりも無い、というひとにおおいに推奨できる。
10 人中、8人の方が、｢このレビューが参考になった｣と投票しています。
形式:ペーパーバック
この本はその名の通り様相論理の本であるが、Chellasの本と違って完全性などのmetalogicalな結果についてはきっぱりと無視しているため、数学的な苦痛を伴うことなく読める。前提知識としては、一冊記号論理の本をこなしてあれば十分だろう。証明方法としてタブローを使うので、タブローを知っていた方が楽だろうが、まあ自然演繹しかやったことなくてもそれほど困ることはない。ただ、証明するときの注意に関して、たとえば戸田山先生の本などがあるとよいかもしれない。
この本のいいところは、上で述べたように、technicalなところは省いてあるため、様相論理とは何か、ということを手っ取り早く知ることができるところである。また、様々な応用にふれており,epistemic logic, dynamic logic, deontic logic, temporal logicがでてくる。また、probvability logicも少し顔を出していて、興味をそそられる。
逆に気になるところとしては、システムの名前の付け方がなんだかおかしいところがある（Ｔが入ってないのにＴのつくシステムがある；俺の勘違い？）のと、論理式とaccessibility relationの対応が明確に述べられていない（というかまとめられていない）こと。まあ、どちらにせよそんな大きな問題ではないが。
僭越ながらアドバイスとしては、この本を読む前に、戸田山先生の本の様相論理のところを読んでおくとわかりやすいだろうということと、further readingとして、完全性定理をみたいのなら、小野先生の情報科学における論理、哲学については、飯田先生の言語哲学大全IIIなんてどうでしょう。
この本のいいところは、上で述べたように、technicalなところは省いてあるため、様相論理とは何か、ということを手っ取り早く知ることができるところである。また、様々な応用にふれており,epistemic logic, dynamic logic, deontic logic, temporal logicがでてくる。また、probvability logicも少し顔を出していて、興味をそそられる。
逆に気になるところとしては、システムの名前の付け方がなんだかおかしいところがある（Ｔが入ってないのにＴのつくシステムがある；俺の勘違い？）のと、論理式とaccessibility relationの対応が明確に述べられていない（というかまとめられていない）こと。まあ、どちらにせよそんな大きな問題ではないが。
僭越ながらアドバイスとしては、この本を読む前に、戸田山先生の本の様相論理のところを読んでおくとわかりやすいだろうということと、further readingとして、完全性定理をみたいのなら、小野先生の情報科学における論理、哲学については、飯田先生の言語哲学大全IIIなんてどうでしょう。
リストマニア
関連商品を探す
同じキーワードの商品を探す
フィードバック
- カタログ情報、または画像について報告
- 著者からのコメント
- 出版社からのコメント
|
