「岩波 数学辞典 （第 4版、日本数学学会編）」 （20年ぶりの改訂版） と 「岩波 数学入門辞典 （青木和彦ほか）」 が出版されましたが、私は、まだ、購入していません （でも、近々、購入すると思います）。

　「数学小辞典 （矢野健太郎 編、共立出版）」 を重宝してきたのですが、数学基礎論に関する記述が、ほとんど、ないので、「岩波 数学入門辞典」 に期待していますが、はたして、私の期待が満たされるかどうか。個人的な希望を言えば、「数学基礎論の辞典」 が欲しいですね。

　数学に対しての私の興味は、「ロジック と集合」 に注がれているので、「岩波 数学辞典」 のような数学全般に関して専門的な記述がされている大辞典を ほんの僅かな部分しか使っていないので、じぶんの数学的知識のなさを嘆いています。私は数学の専門家ではないので--もし、専門家であったとしても--、辞典に記載されている すべての領域に関して、じぶんの知識を改めて再確認するというふうに辞典を使うことは、まず、ないでしょうね。仕事上で、私は、「ロジック と集合」 の基本的な技術を使いますが、それでも、数学の定理を厳正に証明しなければならないという職責もないし、集合論的論理式を実地に適用しながら解析しなければならない現実的事態 （仕事の対象） もない。私が数学基礎論を学習している理由は、あくまで、「論理の数学的扱い」 に関する考えかたを習得することにとどまっています。

　「ロジック と集合」 に興味を抱いているひとは、まず、ケルナー 氏の 「数学の哲学」 を読んでみて下さい。「ロジック と集合」 は、数学基礎論の書物を読めば、当然ながら、数学的技術を記述していますので、もし、仕事上、そういう数学的技術を使う機会がないのであれば、「ロジック と集合」 は 「つまらない」 領域として感じられるでしょうし、たとえ、基本技術を習得しても、いずれ、shelfware になってしまうでしょうね。「ロジック と集合」 の考えかた・テクニック を、なんらかの形で、仕事のなかで活かすには--「仏作って魂いれず （You plough the field and forget to sow the seed）」 のような状態に陥らないためにも--、それらが整えられてきた バックグラウンド を知っていることが役立ちます。ケルナー 氏の著作は、われわれ シロート が 「ロジック と集合」 を学習する際に、数学的な見かた （論理の数学的扱い）を理解しやすくしてくれる書物だと思います。勿論、この書物だけを読んで、シロート が数学の哲学を わかったつもりになっても困るのですが、、、というのは、数学の技術を知らないで、数学の哲学を語ることなどできないから。

　私のような シロート は、学問の最新研究と無縁なので、古典的推論の静的定式化を重視しますが、専門家のあいだでは、1980年代以後、「the dynamic turn」 とよばれている動的 アプローチ が盛んに研究されてきたとのことです。