GetWiki
metalanguage
ARTICLE SUBJECTS
being →
database →
ethics →
fiction →
history →
internet →
language →
linux →
logic →
method →
news →
policy →
purpose →
religion →
science →
software →
truth →
unix →
wiki →
ARTICLE TYPES
essay →
feed →
help →
system →
wiki →
ARTICLE ORIGINS
critical →
forked →
imported →
original →
metalanguage
please note:
- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
{{Short description|Language used to describe another language}}{{Other uses|Metalanguage (disambiguation)}}{{Distinguish|metalinguistics}}{{multiple issues|{{context|date=April 2021}}
- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
{{More footnotes|date=September 2010}}
{{generalize|date=January 2013}}
}}In logic and linguistics, a metalanguage is a language used to describe another language, often called the object language.2010. Cambridge Advanced Learner’s Dictionary. Cambridge: Cambridge University Press. Dictionary online. Available fromdictionary.cambridge.org/dictionary/british/metalanguage Internet. Retrieved 20 November 2010 Expressions in a metalanguage are often distinguished from those in the object language by the use of italics, quotation marks, or writing on a separate line.{{citation needed|date=January 2018}} The structure of sentences and phrases in a metalanguage can be described by a metasyntax.van Wijngaarden, A., et al. “Language and metalanguage.” Revised Report on the Algorithmic Language Algol 68. Springer, Berlin, Heidelberg, 1976. 17-35. For example, to say that the word “noun” can be used as a noun in a sentence, one could write “noun” is a .{{generalize|date=January 2013}}
Types of metalanguage
There are a variety of recognized types of metalanguage, including embedded, ordered, and nested (or hierarchical) metalanguages.Embedded
An embedded metalanguage is a language formally, naturally and firmly fixed in an object language. This idea is found in Douglas Hofstadter’s book, Gödel, Escher, Bach, in a discussion of the relationship between formal languages and number theory: “... it is in the nature of any formalization of number theory that its metalanguage is embedded within it.“Hofstadter, Douglas. 1980. (Gödel, Escher, Bach|Gödel, Escher, Bach: An Eternal Golden Braid). New York: Vintage Books {{isbn|0-14-017997-6}}It occurs in natural, or informal, languages, as wellâsuch as in English, where words such as noun, verb, or even word describe features and concepts pertaining to the English language itself.Ordered
An ordered metalanguage is analogous to an ordered logic. An example of an ordered metalanguage is the construction of one metalanguage to discuss an object language, followed by the creation of another metalanguage to discuss the first, etc.Nested
A nested (or hierarchical) metalanguage is similar to an ordered metalanguage in that each level represents a greater degree of abstraction. However, a nested metalanguage differs from an ordered one in that each level includes the one below.The paradigmatic example of a nested metalanguage comes from the Linnean taxonomic system in biology. Each level in the system incorporates the one below it. The language used to discuss genus is also used to discuss species; the one used to discuss orders is also used to discuss genera, etc., up to kingdoms.In natural language
Natural language combines nested and ordered metalanguages. In a natural language there is an infinite regress of metalanguages, each with more specialized vocabulary and simpler syntax.Designating the language now as L_0, the grammar of the language is a discourse in the metalanguage L_1, which is a sublanguageBOOK, Harris
, Zellig S.
, Zellig Harris
, A theory of language and information: A mathematical approach
, Clarendon Press
, 1991
, Oxford
, 272â318
,archive.org/details/theoryoflanguage00harr
, 978-0-19-824224-6
, registration
, nested within L_0.
, Zellig S.
, Zellig Harris
, A theory of language and information: A mathematical approach
, Clarendon Press
, 1991
, Oxford
, 272â318
,archive.org/details/theoryoflanguage00harr
, 978-0-19-824224-6
, registration
, nested within L_0.
- The grammar of L_1, which has the form of a factual description, is a discourse in the metametalanguage L_2, which is also a sublanguage of L_0.
- The grammar of L_2, which has the form of a theory describing the syntactic structure of such factual descriptions, is stated in the metametametalanguage L_3, which likewise is a sublanguage of L_0.
- The grammar of L_3 has the form of a metatheory describing the syntactic structure of theories stated in L_2.
- L_4 and succeeding metalanguages have the same grammar as L_3, differing only in reference.
, Borel
, Félix Ãdouard Justin Ãmile
, Ãmile Borel
, Leçons sur la theorie des fonctions
, Gauthier-Villars & Cie.
, 3
, 1928
, Paris
, 160
, fr
,
, Félix Ãdouard Justin Ãmile
, Ãmile Borel
, Leçons sur la theorie des fonctions
, Gauthier-Villars & Cie.
, 3
, 1928
, Paris
, 160
, fr
,
Types of expressions
There are several entities commonly expressed in a metalanguage. In logic usually the object language that the metalanguage is discussing is a formal language, and very often the metalanguage as well.Deductive systems
A deductive system (or, deductive apparatus of a formal system) consists of the axioms (or axiom schemata) and rules of inference that can be used to derive the theorems of the system.Hunter, Geoffrey. 1971. Metalogic: An Introduction to the Metatheory of Standard First-Order Logic. Berkeley:University of California Press {{isbn|978-0-520-01822-8}}Metavariables
A metavariable (or metalinguistic or metasyntactic variable) is a symbol or set of symbols in a metalanguage which stands for a symbol or set of symbols in some object language. For instance, in the sentence:
Let A and B be arbitrary formulas of a formal language L.
The symbols A and B are not symbols of the object language L, they are metavariables in the metalanguage (in this case, English) that is discussing the object language L.Metatheories and metatheorems
A metatheory is a theory whose subject matter is some other theory (a theory about a theory). Statements made in the metatheory about the theory are called metatheorems. A metatheorem is a true statement about a formal system expressed in a metalanguage. Unlike theorems proved within a given formal system, a metatheorem is proved within a metatheory, and may reference concepts that are present in the metatheory but not the object theory.Ritzer, George. 1991. Metatheorizing in Sociology. New York: Simon Schuster {{isbn|0-669-25008-2}}Interpretations
An interpretation is an assignment of meanings to the symbols and words of a language.Role in metaphor
Michael J. Reddy (1979) argues that much of the language we use to talk about language is conceptualized and structured by what he refers to as the conduit metaphor.Reddy, Michael J. 1979. The conduit metaphor: A case of frame conflict in our language about language. In Andrew Ortony (ed.), Metaphor and Thought. Cambridge: Cambridge University Press This paradigm operates through two distinct, related frameworks.The major framework views language as a sealed pipeline between people:{| class=“wikitable“|+ Major frameworkmental content) to others >| Try to get your thoughts across better |
| You have to put each concept into words more carefully |
| That sentence was filled with emotion |
| Let me know if you find any new sensations in the poem |
| Get those ideas out where they can do some good |
| That concept has been floating around for decades |
| Let me know if you find any good concepts in the essay |
Metaprogramming
Computers follow programs, sets of instructions in a formal language. The development of a programming language involves the use of a metalanguage. The act of working with metalanguages in programming is known as metaprogramming.BackusâNaur form, developed in the 1960s by John Backus and Peter Naur, is one of the earliest metalanguages used in computing. Examples of modern-day programming languages which commonly find use in metaprogramming include ML, Lisp, m4, and Yacc.See also
{{div col}}- {{annotated link|Category theory}}
- {{annotated link|Jakobson’s functions of language}}
- {{annotated link|Language-oriented programming}}
- {{annotated link|Meta-communication}}
- {{annotated link|Metaethics}}
- {{annotated link|Metafiction}}
- {{annotated link|Metagraphy}}
- {{annotated link|Metamathematics}}
- {{annotated link|Metalinguistic abstraction}}
- {{annotated link|Metalinguistic awareness}}
- {{annotated link|Metalocutionary act}}
- {{annotated link|Metaphilosophy}}
- {{annotated link|Natural semantic metalanguage}}
- {{annotated link|Nested quotation}}
- {{annotated link|Paralanguage}}
- {{annotated link|Self-reference}}
- {{annotated link|Useâmention distinction}}
Dictionaries
- Audi, R. 1996. The Cambridge Dictionary of Philosophy. Cambridge: Cambridge University Press.
- Baldick, C. 1996. Oxford Concise Dictionary of Literary Terms. Oxford: Oxford University Press.
- Cuddon, J. A. 1999. The Penguin Dictionary of Literary Terms and Literary Theory. London: Penguin Books.
- Honderich, T. 1995. The Oxford Companion to Philosophy. Oxford: Oxford University Press.
- Matthews, P. H. 1997. The Concise Oxford Dictionary of Linguistics. Oxford: Oxford University Press. {{isbn|978-0-19-280008-4}}.
- McArthur, T. 1996. The Concise Oxford Companion to the English Language. Oxford: Oxford University Press.
References
{{Reflist}}External links
- Metalanguage, Principia Cybernetica.
- Willard McCarty (submitted 2006) Problematic Metaphors, Humanist Discussion Group, Vol. 20, No. 92.
- content above as imported from Wikipedia
- "metalanguage" does not exist on GetWiki (yet)
- time: 6:49am EDT - Wed, May 22 2024
- "metalanguage" does not exist on GetWiki (yet)
- time: 6:49am EDT - Wed, May 22 2024
[ this remote article is provided by Wikipedia ]
LATEST EDITS [ see all ]
GETWIKI 21 MAY 2024
The Illusion of Choice
Culture
Culture
GETWIKI 09 JUL 2019
Eastern Philosophy
History of Philosophy
History of Philosophy
GETWIKI 09 MAY 2016
GetMeta:About
GetWiki
GetWiki
GETWIKI 18 OCT 2015
M.R.M. Parrott
Biographies
Biographies
GETWIKI 20 AUG 2014
GetMeta:News
GetWiki
GetWiki
© 2024 M.R.M. PARROTT | ALL RIGHTS RESERVED