記号論理学 の商品レビュー

清水義夫(著者)

2016/05/09

公理と推論システムによる記号で記述された論理学、という内容で「記号論理学」をコンパクトに解説している。金子洋之の『記号論理入門』のように、推論システムの意味を解説してくれることはほとんどなく、かなりハードボイルドに、記号中心に書かれている。解説してくれる人がいればとてもいい教科書だと思うが、独習者につらいのではないかな。