Formal logic requires, since Frege, a distinction between the object language and the metalanguage. The metalanguage is ordinarily a natural language like English or German, while the object language is a symbolic language with an alphabet limited to variable meanings and a symbolic system for describing the relationships between the variables. | Formal logic requires, since Frege, a distinction between the object language and the metalanguage. The metalanguage is ordinarily a natural language like English or German, while the object language is a symbolic language with an alphabet limited to variable meanings and a symbolic system for describing the relationships between the variables. |