>>279
数学的対象の研究と、数学的対象の研究を基礎付けるものの研究を
両方とも数学と呼ぶという話し。
分析哲学とか言語学の一部が数学ってのは
カテゴリー文法とかランベック計算の話か？
それならYes、それらもロジック、すなわち数学。
無論チョムスキーの文脈自由言語も今では立派な数学の一分野。
型付λ計算もメンタルスペースもエージェントの論理も
非単調な論理も全部数学的な産物。

小平やアティヤらの世代には余り知られていない。
ここら辺の話題はTaoでさえ言及してる。
ファジー論理なんかはロシアの新聞のインタビューでペレルマンも称賛していた。