情報科学における論理 (情報数学セミナー) の感想

※サンプル画像 クリックで拡大します

数理論理学の入門としてはベストな本の一つです．

（記憶を辿ってるのでうろ覚えですが）内容は1.命題論理 2.述語論理 3.定理証明・エルブランの定理 4.様相論理 5.直観主義論理 6.自然演繹・ラムダ計算　となっています．証明体系としてはシークエント計算が使われています．

難易度について．おそらく「論理学」を 本当にはじめて学ぶ方には少し難しいのではないかと思います．単に命題論理・述語論理の定理の証明の仕方に慣れるというのであれば，野矢茂樹「論理学」のほうがずっと楽しいでしょう．この本は論理学について，もっと数学的なアプローチを学びたい人・一通り論理学の基礎を知っている人向けだと思います．

強いて欠点をあげるとすれば，

-述語論理の完全性定理の証明がないこと

-「情報科学の」と銘打っている割には現在の情報科学への応用上最も重要と思われる時間論理に関する説明が少ないこと（もちろん，定理証明について詳しく書かれている故のタイトルでしょうが）

でしょうか．前者（述語論理のカット除去の証明）が載っている本としては松本和夫「数理論理学」があります．

良い点はあげればきりがないですが，様相論理について書かれた日本語の文書でこれ以上まとまったものは無いのではないか，と思います．