「本気で伝えたい」「分かってほしい」――この本を貫くのは、教師が学生に論理学の魅力を届けたいと願ったその思いである。第?部では記号を使わずに、日常の言葉の中で論理学の話題を取り上げる。そして第?部では、記号を使ってそれを武器にしながら、現代論理学の基本的な体系である述語論理までを一望する。生活や仕事で論理的になりたいと思う人にもかならず役立つ一冊。



■著者からのメッセージ
本書は二部構成になっています。第?部では記号を使わず、日常の言葉の中で論理学の話題を取り上げます。まずここの部分がないと、いきなり記号を使って論理学を展開しても、何をやっているのか分からないでしょう。また、第?部には実用的な面もあるので、ここだけ学習しても得るものはあるはずです。生活や仕事で、もっと論理的になりたいと思っている人たちの力に少しでもなれたら幸いです。
第?部では、第?部で学んだことをもとに、記号を駆使した記号論理学の世界を紹介していきます。記号を使い始めると、実のところむしろ話は明確になるのですが、一方でこれは何をしているのか、よく分からなくなってしまいがちです。でも、だいじょうぶ。折に触れて全体の流れを俯瞰して現在位置を確認し、迷子にならないようにします。
本書を学べば、現代論理学の基本的な体系である述語論理がどのようなものであるかが理解できます。そして、遠くにゲーデルの不完全性定理が見えるところまで、読者を連れて行きましょう。論理学というのはなかなか不思議な学問で、頭の中で考えるだけで広がってゆく世界です。その意味では数学に近いのですが、それが日常の言葉に即して展開されるところが論理学の独特さです。他の学問にない味わいがあり、学生の中にも論理学にはまる学生がいたりします。そしかしたらあなたもはまるかもしれません。
この本では、大学の授業のように、説明したら、次は問題を出してそれを解説して、そのあとにさらに練習問題を出して理解度を確認するという形を基本的にとっています。ときどき差し挟んでいる質疑応答も、本書の特徴でしょう。初心者がつまずきそうなところはいちいち質問と答えの形で手当しました。こんなに初心者に配慮した論理学の教科書は、私が以前に出したものも含めて、これまでにはなかったと思います。
/――「はじめに」より