入門!論理学 (中公新書)

教育とは縁もゆかりも無い、五十にならなんとする、おじさんです。

本書を、偶然に入手し、読んでみたのですが、面白さにはまりました。
この本を、基本書にしている学校・学生さんも多いとのこと、うなづけます。
自分は論理学は全くの素人ですので、この本を読んで初めて「否定」の奥深さを知りました。
この本を通読して、そのあと、同じ著者の 野矢 「論理学」、「タブローの方法による論理学入門」 丹治 信春、「論理学をつくる」 戸田山 和久
と買い求め、読み進めています。
しかし、この「入門!論理学 」は他書を読んで気づいたのですが、奥が深い。演繹思考の基礎体力をつけ・推論のストレッチを楽しめます。
しかも、出版社・編集者陣と相当練り直し、作りこんだ形跡が、行間から帰納推測できる。
「ならば」の箇所で執筆にかなり悩んだ事、その事が本書の結晶の様な美しさ、公理系の完全性・健全性を備えさせたのでしょう。

この本での「かつ」「または」「ならば」「否定」の各々導入・除去に係る推論規則の規定の箇所を読んで気付いたのですが、

他書によくあるパラドックスの構造に気付きました。
論理記号を、ウェブ上でかきにくいので、以下のとおりと指定します。

構文論的真偽：（○・×）、意味論的真偽（Ｔ：・Ｆ：）、判断する命題：Ｐ

「この文は真である」　Ｔ：○Ｐ　推論の規則
「この文は真ではない」Ｆ：○Ｐ　否定の導入
「この文は偽である」　Ｔ：×Ｐ　矛盾の排除
「この文は偽ではない」Ｆ：×Ｐ　二重否定（排中則及び背理法）
その類推で
「この文は証明できない、ことはない」Ｔ：○（Ｆ：×Ｐ）
「この文は証明できない」Ｔ：○（Ｔ：×Ｐ）

頭の悪い私の感想。
記号を一切使わない論理学ということで、なんとなく素人にも楽々と読み進めていくことができるのでは、と考えて購入。
前半部の標準的な命題論理の体系を一つ一つ説明して行く過程はでは、わかり易く、ありがたい、良い本に出会った、と感じた。
ところが、丁度半分を過ぎて、第５章「命題論理のやり方」から後半部は、頭がこんがらがってしまい、ちんぷんかんぷん。読みながら、なんでそれが演繹的推論の証明になっているのかわからず、お手上げ状態。
知能指数の高い人向けの本かなと考えています。

　カルチャースクールのちらしをたまに目にする機会があります．そこには「○○入門コー
ス」のような名前の講座が用意されています．たとえば，「アロマセラピー入門コース」．ア
ロマセラピー入門コースはアロマセラピーを学ぶための教程の最初の部分を扱っているのでし
ょう．とすれば「論理学入門」は論理学教程の最初の部分になるはずです．しかし，本書は
「入門!論理学」．つまり論理学というものの成り立ちを扱った本なのでしょう．論理学の成
り立ちを扱った本としては名著ですというか，なんの本はさておきめっちゃ面白い本です．

論理学の本，特に新書などでは論理パズルのような話が多いのですが，本書は極めて学問的な内容です．ただ，教科書で出てくるような記号を使わずに表現し，ある程度素人向けに書かれています．

しかし，一般人が一般的教養としてこのような話を知りたいかというとちょっと疑問です．

昔、中学の数学でも集合を扱っていたのだが、某著名数学者の一喝でカリキュラムから消えたようなことがあった（と思う）。確かに今から思うと中学生に集合論はないよなあ、とは思うのですが、そこで扱っていた逆・裏・対偶とかド・モルガンの法則などが論理学ともかぶっていたとは、不注意にもこの本を読むまで気が付きませんでした。記号で書けば簡単であろう論理の仕組みを普通の日本語で記述したことで、論理学と自然言語との関係にも注意が向くような仕掛けになっているように思えます（著者が意識しているのかどうかはわからないが）。集合を数学から外すなら、単元名を変えて国語に入れ込む必要があったのだろうなあ。
本書は「岩波ジュニア新書」あたりに収録されていてもおかしくないくらい噛み砕いて記述されています。中高生にもお勧めです。
私自身はトシのせいか面倒になったら深く考えず先へ読み進んでしまう様な有様なので、よく理解できたかというとちょっと？です。が、最後に挙げられていた書籍や著者の他の著書に進んでみようかという気になりましたので星4つです。