>>577
> 論理学に対して異様に攻撃的な人が多いでしょ
> 多分に感情的な理由があると思われる

随分と昔（と言っても戦後）の話だが、東大数学科のとある有名な教授が「私の目が黒いうちは基礎論なんかでは絶対に学位を与えない」
と宣われたという逸話もあるみたいですから確かにね

通常の数学をやってる数学者（MacLane風に言えばworking mathematicians、以下ＷＭと略）が感情的で攻撃的なのは
（数理）論理学というか数学基礎論に対してだと思いますね

しかし日本では>>555にも書きましたが、数学の基礎付けと関係ない数理論理学のことも今でも数学基礎論と呼ぶことが多いので
ＷＭから見れば哲学風味ゼロな数理論理学も哲学風味てんこ盛りな本来の数学基礎論も混同されてしまってて当然です

ＷＭが生業とする普通の数学そのものに対して数学の基礎付けなる言葉で理解困難な懐疑を並べ上げるだけの数学基礎論は
ＷＭには単なる懐疑のための懐疑に過ぎない難癖をつけて言葉遊びをしているだけの哲学厨にしか見えないでしょうから
ＷＭからの反発は尋常ならざるものがあってもある意味では当たり前でしょう

なにしろＷＭが信じている普通の数学やその論証手段（数学的帰納法など）に対して「君ってナイーブだねえ、そんな怪しげなのを
平気で信用できるなんてさ（笑」といった調子でＷＭたちを馬鹿にするしか能のない基礎論厨は実際に少なくなかったからです
（今でも基礎論を少し齧っただけの素人ほどこういう知ったかな態度を出す人間が多い）

けれども数理論理学の発展には違った道筋も有り得たのではないかと思うのですよ
そしてそのもう一つの有り得た歴史の中では数学者の論理学への反発はほとんどなかったのではと想像するのです

歴史にIFはありませんが、敢えて数学や論理学の歴史でＩＦを言わせてもらえば、最初から数学の基礎の云々する基礎論など出現せず
論理に対する厳密な理解のために論理を数学的道具や手法を用いて分析・研究という現代流の数理論理学のアプローチで発展してきたならば
ＷＭの数理論理学への反発はほとんどなかったのではないか、とね
だって、それならば単に研究対象が論理学で現れる概念であるにすぎず手法などはＷＭがやっている普通の数学と同じですからね