(5) Since this is a far-from-trivial case where
object language and metalanguage coincide, it will be important to explicitly mark the object-language/metalanguage distinction when analyzing and interpreting Zeno's argument.
Kinyarwanda, primary
object languages (Dryer 1986), the Saliba directional strategy (Margetts 1999), the Dyirbal genitive construction (Dixon 1972), and the Kayardild proprietive strategy (Evans 2000).
It therefore follows that we can talk sensibly about the semantics of one language (the 'object' language) by making use of another (the 'metalanguage'), which may even be largely similar to the
object language except for having a different interpretation.
Here a clear distinction is made between the
object language, for instance the symbolism of logical calculus, and the metalanguage, or syntax language, used for discussing the properties of the
object language.
ROL (Rule-based
Object Language) [Liu 1996; 1998a] is a recently proposed object-oriented deductive language implemented at the University of Regina [Liu et al.
Typically, though, when the interpreter of set theory says [Phi] is true iff [Theta] is true-in-[V.sub.[Beta], truth on the left-hand side is a meta-theoretic notion defined h la Tarski for the weaker
object language. But now we are back lost in "Hierarcadia" and have been well and truly "Fitched" once more.
The
object language has no explicit reference to functions or other higher-order items, and there is a truth definition for the unextended language in the
object language.
"Modern Languages and Microsoft's Component Object Model" shows how using a dynamic
object language, Dylan, can be used to control the complexity inherent in interfacing with the Component Object Model (COM) as used in Microsoft's Active Server Pages.
These are (1) the structure of virtual memory, (2) the distinction between an
object language and a metalanguage that is made in the foundations of mathematics, and (3) the practices of complex organizations.
Students of German in Britain and Ireland and linguists with an interest in German as an
object language have probably never been better provided than at present with works in English on the various facets of the German language.
Malcolm Budd[2] confuses the elementary semantic distinction between
object language and object.[3] Confusion over this distinction can be detected in many passages throughout Budd's essay, notably in two sentences which in conclusion summarize his main point.