>例えば、「プログラミング言語のモデル論」と呼ぶのならば、表示的意味論以外のアプローチはおかしいと主張しても正当だが。
>何故ならば、「モデル論」という言葉や概念は数理論理学によって確立されたものだから、数理論理学的な意味でのモデル論以外はNGだと
>主張するのは妥当だが、「意味論」は言語学で既に成立していた言葉を、数理論理学の中では勝手に非常に狭い意味に限定して使うように
>しただけ。
これも「歴史を無視した非常に視野の狭い主張」だね、
最後に「論」を付ける派生前の「モデル」って言葉は
数理論理学以前から普通に使われてる。数理モデルとか。
ま、論理型を知らないでプログラミング言語を語ってる奴に
視野が狭いだのいう資格はないがねｗ