>>408
>syntaxとsemanticsの区別自体が数理論理発の考え方だから

何言っているんだ？ syntax と semantics の区別は言語学で古くからある
文法用語として ordinal と cardinal の区別があったのと同じで
そうでなければもっと人工的な言葉になるでしょ
（和製漢語の「構文論」「意味論」はいかにもな造語だけど）

プログラム言語の理論での syntax の用法は
数理論理経由ではなくて、言語学から直接入ったように見えるけど、
実際の歴史はどうなんだろね

>>405の「証明可能性論」を syntax と言ってしまう慣習は
「意味論的概念を使わない」という否定的な意味以上のものはないと思う
これを syntax と呼ぶ積極的な理由が見当たらない