object language
IPA: ˈɑbdʒɛktɫˈæŋgwʌdʒ
noun
- (philosophy) A language or a part of a language that is used to speak about objects but not about sentences or propositions.
- (lexicography) the language of the headwords in a dictionary (in a French-to-English translation dictionary, French is the object language)
- (computing) target language; the language of the object code, the output of a compiler (not necessarily executable machine code)
Examples of "object-language" in Sentences
- p™ where s names an object-language sentence and p is a sentence in the meta-language.
- In his view, definitions are object-language equivalences and should be recognized as such.
- Note that this schema is very different from the open term the successor of x, where the ecks is an object-language variable.
- That an adequate theory should indeed be capable of generating a T-sentence for every sentence in the object-language is the essence of Tarski's
- So semantic approaches usually necessitate the use of a metalanguage that is more powerful than the object-language for which it provides a semantics.
- Carnap, it became clear that the language which is the object of discussion (the “object language”) must be distinguished from an (especially constructed) metalanguage which talks about the object-language.
- Tarski's theorem on the undefinability of the truth predicate shows that, given certain general assumptions, the resources of the metalanguage or metatheory must go beyond the resources of the object-language.
- Since general relativity theory itself is innocent of probabilities, they have to be introduced by hand, either by inserting them into the models of the theory, i.e., by modifying the theory at the level of the object-language, or by defining measures on sets of models, i.e., by modifying the theory at the level of the meta-language.
- The formal structure that Tarski articulates in his ˜semantic™ account of truth is identical to that which Davidson explicates as the basis for a theory of meaning: a Tarskian truth theory can generate, for every sentence of the object-language, a T - sentence that specifies the meaning of each sentence in the sense of specifying the conditions under which it is true.
- On the other hand, LeÅniewski's concerns for the proprieties of quotation and use/mention, the object-language/metalanguage distinction, canons of correct definition, and his development of Mereology as the dominant formal theory of part and whole have all passed into the mainstream, and the logical expertise he helped to instil into a generation of Poles contributed in large part to making Warsaw the premier interbellum location for mathematical logic.