論理学 （ロジック） を これから 「本気で」 学習しようと思っているなら、入門段階で以下の書物を読んで基礎概念を整理しておけば、学習が進むにつれて、役立つでしょう。

　　　「論理学概論」、近藤洋逸・好並英司、岩波書店

　現代論理学 （ロジック） は、数理論理学とも云われています。いっぽうで、わが国では、「数学基礎論」 という言いかたがあって、論理学と数学基礎論は、いちぶ まじわっています。数理論理学と云われている領域が数学基礎論のなかにふくまれるのかどうかという点を私は--論理学・数学の専門家ではないので--判断できないのですが、数理論理学には、「論理の数学的扱い」 と 「数学の論理的分析」 という 2つの意味があって、私の興味は、「論理の数学的扱い」 のほうに注がれています。ちなみに、ゲーデル 氏は、ロジシャン （論理学者） と称されることもあるようです。ウィトゲンシュタイン 氏も、流体力学という数学に近い分野を専攻していましたし、かれ自身は、（哲学者というよりも、） ロジシャン であると 当初 思っていたそうです。現代では、クワイン 氏や クリプキ 氏のように哲学者であって、数理論理学に貢献してきた人物も少なくないようです。

　数理論理学を学習するとしても、当然ながら、伝統的論理学も学習していなければならないでしょうね。なぜなら、数理論理学は、「論理の数学的扱い」 をふくんでいるのだから、「論理」 と 「数学」 を知らなければならないから。

　なお、「論理学概論」 の著者の一人である近藤洋逸 氏は、数学の基礎に対して、早くから取り組んで、1930年代に、ゲンツェン 氏--自然推論を形式化した人物、自然推論として NJ と NK を整えた--の論文 「数学基礎論の現状」 に依って、「レーヴェンハイム・スコーレムの背理を中心として」 という論文を著して、数学基礎論を批判していました。近藤洋逸 氏によれば、「基礎論」 は 「レアル な観点」 から批判されなければならないとのこと。近藤洋逸 氏の言う 「レアル」 という意味は、「実在論」 というよりも、「唯物論」 であるとのこと （飯田 隆 氏の意見）。_（参考）
　ちなみに、ゲーデル 氏は、「数学的実在論 （プラトン 主義）」 を擁護していました。

　いずれにしても、伝統的論理学と数理論理学に通じた人物が著した 「論理学概論」 は、論理学の専門家でない私であっても、「正統な」 入門書として お薦めしても良いでしょう。

　
（参考）
　「ゲーデル と 20世紀の論理学 （1）」 （東京大学出版会） のなかに収録、
　「付論 『ゲーデル と第二次大戦前後の日本の哲学』」 （飯田 隆）