書籍の内容
論理学って、こんなに面白かったのか！ 出来あいの論理学を天下り式に解説するのでなく、論理学の目的をはっきりさせた上で、それを作り上げていくプロセスを読者と共有することによって、考え方の「なぜ」が納得できるようにした傑作テキスト。初歩の論理学が一人でマスターできる。
書籍の目次
目次：
はじめに
第Ⅰ部 論理学をはじめる
第１章 What is THIS Thing called Logic?
第２章 論理学の人工言語をつくる
第３章 人工言語に意味を与える
第４章 機械もすなる論理学
第Ⅰ部のまとめ
第Ⅱ部 論理学をひろげる
第５章 論理学の対象言語を拡張する
第６章 おおっと述語論理のセマンティクスがまだだった
第７章 さらに論理言語を拡張する
第８章 さらにさらに論理言語を拡張する
第Ⅱ部のまとめ
第Ⅲ部 論理をもう１つの目で見る
第９章 自然演繹法を使いこなそう
第10章 シンタクスの視点から論理学のゴールに迫る
第Ⅲ部のまとめ
第Ⅳ部 論理学はここから先が面白い！ 進んだ話題のロードマップ 第11章 めくるめく非古典論理の世界にようこそ！
第12章 古典論理にもまだ学ぶことがたくさん残っている
第Ⅳ部のまとめ
付録 Ａ．A little bit of mathematics
Ｂ．練習問題解答
Ｃ．ブックガイド
