濃厚な入門書

とにかくでかい論理学の本。
完全に一人で学ぶことができる(self-contained)。
練習問題も豊富で、
しかも解答もついている。
この本でぼちぼちゆっくりとやっていくのが論理学の入口としてはいいだろう。

タブローを扱うだけではなくその完全性から決定不可能性を扱い、
述語論理の意味論についてもしっかり書いてある。
多値論理、
直観主義論理、
様相論理、
はては超準解析と二階の論理などとにかく話題が豊富。

欲を言えば非古典論理を扱うよりはチューリング機械についての話題が欲しいし、
シークエント計算も扱って欲しい。
また、
自然演繹が標準的なGentzenの形ではないのがとてもとても残念。
0