入門だと思って読んでみたらかなり難しくて 断念。一度でも大学で習ったことのない人は この本の前に3冊くらい簡単な入門書をマスターして から、この本に取り組むべき。

本書では、論理学の中でも特に現代においても有効性をたもっている部分を叙述した。まず伝統的形式論理学、次に、形式論理学の現代的形態である記号論理学の諸体系のうち、初等的な二つの体系、すなわち、命題論理学と述語論理学を取りあげた。