This disambiguation page is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
This disambiguation page is within the scope of WikiProject Computing, a collaborative effort to improve the coverage of computers, computing, and information technology on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.ComputingWikipedia:WikiProject ComputingTemplate:WikiProject ComputingComputing
This disambiguation page is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.PhilosophyWikipedia:WikiProject PhilosophyTemplate:WikiProject PhilosophyPhilosophy
This disambiguation page is within the scope of WikiProject Linguistics, a collaborative effort to improve the coverage of linguistics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.LinguisticsWikipedia:WikiProject LinguisticsTemplate:WikiProject LinguisticsLinguistics
This article should probably (definitely) be split up into two articles, something like Object language (Computing) and Object language (Logic). The two different concepts are unrelated. A logical object language is a formal language which is an object of a metalanguage. The closest thing to a metalanguage which a computer language has is whatever language the compiler is written in. The compiler is a definition of the computer language in terms of operational semantics. The meaning of statements in that computer language then is the compiler's output (assembly code, the computer science sense of the term object language).
But formalizing the computer language in this way makes it the object language, and whatever language the compiler is written in the metalanguage. If we want to consider the assembly language the object language in the logical sense, then the metalanguage is whatever language the CPU's specifications are written in.
Article has been substantially rewritten since split request. Split declined. Please reappraise and if still in need of a split please add new tag with new rationale, fitting current contents. SilkTork *YES!23:11, 15 January 2011 (UTC)[reply]
Merger discussion
Request received to merge articles: Object theory into Object language; dated: 08/2021. Proposer's Rationale: The page Object theory is entirely predicated on a misunderstanding of a description given by Kleene in his text Introduction to Metamathematics, which is frequently cited throughout the article. Kleene describes in this text how one theory (in the sense of model theory) may be interpreted in terms of another, and when doing so uses the the terms "metatheory" and "object theory" to refer to these two theories respectively. Kleene is here using the phrase "object theory" precisely in the sense of Object language, but it seems that somebody has created the page Object theory under the grave misapprehension that there is a specific area of mathematics called "Object theory". Of course, there is not - and subsequently much of the rest of the page is transparently a very low-quality attempt at explaining what an object language is by means of "examples". I do not think much if any of it is salvageable, and that the correct procedure here would be to simply blank-and-redirect the page. Discuss here. Jackcrawf3 (talk) 12:38, 27 August 2021 (UTC)[reply]
