>>95
> それに数理論理学が数学の基礎付けという目的から離れたってことは、後者を志向する者が
> 「数学基礎論」にこだわるのは当然の流れにも思えるよ。

じゃあ、新井の教科書のタイトルが日本語は「数理論理学」なのに英語は“Mathem「atical Logic”にしてるのは何故だ？
新井が基礎論に拘ってるってんならば英語タイトルも堂々と“Foundations of Mathematics”としておけば良いじゃないか

それにな、基礎付けを指向する者が「数学基礎論」にこだわるのは当然だが、だったら数理論理学じゃなくて基礎付けの本を書けば良いだけ
基礎付けという目的から離れた普通のMath Logicの本に過ぎないのに「数学基礎論」ってタイトル付けるのは世間じゃ羊頭狗肉って言うのよ

要は内容（実態）と名前を一致させろってことだ
日本以外の世界のMath Logic研究者は、分野の実態が数学の基礎付けとは殆ど縁がなくなったことを受け入れて正直に
「論理に関する諸概念を数学的手法で研究する分野」という現在の実態を表す「数理論理学(Mathematical Logic)」という名称を
分野の名称として常用することで、内容と名前との一致を果たした


日本だけだぞ
実態はMath Logicに過ぎない仕事しかやってないしそういう内容の本なのに「数学の基礎付けやってます、偉いでしょっ！」と言わんばかりに
大時代的で大袈裟な「数学基礎論」なんて名称を平気で使い続けてるのは
恥を知れ、恥を！