请输入您要查询的百科知识：

　

词条 Metalanguage
释义

  1. Types

      Embedded    Ordered    Nested  

  2. In natural language

  3. Types of expressions

      Deductive systems    Metavariables    Metatheories and metatheorems    Interpretations  

  4. Role in metaphor

  5. Metaprogramming

  6. See also

  7. Dictionaries

  8. References

  9. External links

{{distinguish|Metalinguistics|Meta' language}}{{For|the programming language|ML (programming language)}}{{multiple issues|{{More footnotes|date=September 2010}}{{generalize|date=January 2013}}
}}

Broadly, any metalanguage is language or symbols used when language itself is being discussed or examined.[1] In logic and linguistics, a metalanguage is a language used to make statements about statements in another language (the object language). Expressions in a metalanguage are often distinguished from those in an 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.[2]

Types

There are a variety of recognized metalanguages, including embedded, ordered, and nested (or, hierarchical).

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".[3] 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 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 L0, the grammar of the language is a discourse in the metalanguage L1, which is a sublanguage[4] nested within L0. The grammar of L1, which has the form of a factual description, is a discourse in the metametalanguage L2, which is also a sublanguage of L0. The grammar of L2, which has the form of a theory describing the syntactic structure of such factual descriptions, is stated in the metametametalanguage L3, which likewise is a sublanguage of L0. The grammar of L3 has the form of a metatheory describing the syntactic structure of theories stated in L2. L4 and succeeding metalanguages have the same grammar as L3, differing only in reference. Since all of these metalanguages are sublanguages of L0, L1 is a nested metalanguage, but L2 and sequel are ordered metalanguages.[5] Since all these metalanguages are sublanguages of L0 they are all embedded languages with respect to the language as a whole.

Metalanguages of formal systems all resolve ultimately to natural language, the 'common parlance' in which mathematicians and logicians converse to define their terms and operations and 'read out' their formulae.[6]

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

{{Main|Deductive system}}

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.[7]

Metavariables

{{Main|Metavariable (logic)}}

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 .

The symbols A and B are not symbols of the object language , they are metavariables in the metalanguage (in this case, English) that is discussing the object language .

Metatheories and metatheorems

{{Main|Metatheory|Metatheorem}}

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.[8]

Interpretations

{{Main|Interpretation (logic)}}

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.[9] This paradigm operates through two distinct, related frameworks.

The major framework views language as a sealed pipeline between people:

1. Language transfers people's thoughts and feelings (mental content) to others

2. Speakers and writers insert their mental content into words

3. Words are containers

4. Listeners and writers extract mental content from words

The minor framework views language as an open pipe spilling mental content into the void:

1. Speakers and writers eject mental content into an external space

2. Mental content is reified (viewed as concrete) in this space

3. Listeners and writers extract mental content from this space

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}}
  • Category theory
  • Jakobson's functions of language
  • Language-oriented programming
  • Meta-communication
  • Metaethics
  • Metafiction
  • Metagraphy
  • Metalinguistic abstraction
  • Metalocutionary act
  • Metaphilosophy
  • Natural semantic metalanguage
  • Paralanguage
  • Self-reference
  • Use–mention distinction
{{div col end}}

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

1. ^2010. Cambridge Advanced Learner‘s Dictionary. Cambridge: Cambridge University Press. Dictionary online. Available from http://dictionary.cambridge.org/dictionary/british/metalanguage Internet. Retrieved 20 November 2010
2. ^van Wijngaarden, A., et al. "[https://link.springer.com/chapter/10.1007/978-3-642-95279-1_2 Language and metalanguage]." Revised Report on the Algorithmic Language Algol 68. Springer, Berlin, Heidelberg, 1976. 17-35.
3. ^Hofstadter, Douglas. 1980. Gödel, Escher, Bach: An Eternal Golden Braid. New York: Vintage Books {{isbn|0-14-017997-6}}
4. ^{{cite book | last =Harris | first =Zellig S. | authorlink =Zellig Harris | title =A theory of language and information: A mathematical approach | publisher =Clarendon Press | series = | volume = | edition = | date =1991 | location =Oxford | pages =272–318 | language = | url = | doi = | id = | isbn =978-0-19-824224-6 | mr = | zbl = | jfm = }}
5. ^Ibid. p. 277.
6. ^{{cite book | last =Borel | first =Félix Édouard Justin Émile | authorlink =Émile Borel | title =Leçons sur la theorie des fonctions | publisher =Gauthier-Villars & Cie. | series = | volume = | edition =3 | date =1928 | location =Paris | pages =160 | language =French | url = | doi = | id = | isbn = | mr = | zbl = | jfm = }}
7. ^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}}
8. ^Ritzer, George. 1991. Metatheorizing in Sociology. New York: Simon Schuster {{isbn|0-669-25008-2}}
9. ^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

External links

  • Metalanguage, Principia Cybernetica.
  • Willard McCarty (submitted 2006) Problematic Metaphors, Humanist Discussion Group, Vol. 20, No. 92.

5 : Metalogic|Linguistics|Linguistics terminology|Proof theory|Metalanguages
随便看

　

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。

　

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间：2024/11/13 18:53:33