Logic as calculus versus logic as language, language as calculus versus language as universal medium, and syntax versus semantics

摘要

This paper discusses the distinctions indicated in its title. It is argued that the distinction between syntax and semantics is much more important for the present situation in logic than other distinctions. In particular, doing formal syntax and formal semantics requires the use of an informal melanguage based on ordinary mathematics.