In
logic and
linguistics, a
metalanguage is a
language used to make statements about other languages (
object languages). Formal syntactic models for the description of grammar, e.g.
generative grammar, are a type of metalanguage. More broadly, it can refer to any terminology or language used to discuss language itself—a written
grammar, for example, or a discussion about language use.
An example would be rendering an utterance in logic e.g. "John smokes" can be written as
S(j), where
S=smokes and
j=john.
Kinds
There are a variety of recognized metalanguages, including
embedded,
ordered, and
nested (
hierarchical).
An embedded metalanguage, as its name suggests, is a language embedded in an object language. It occurs both formally and naturally. This idea is found in
Douglas Hofstadter's book,
Gödel, Escher, Bach, in his 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." (pg.270). It occurs in natural, or informal, languages, as well—such as in English, where adjectives, adverbs, and possessive pronouns constitute an embedded metalanguage; and where nouns, verbs, and, in some instances, adjectives and adverbs, constitute an object language. Thus, the adjective 'red' in the phrase 'red barn' is part of the embedded metalanguage of English, and the noun 'barn' is part of the object language. In the example, 'slowly running', the verb 'running' is part of the metalanguage, and the adverb 'slowly' is part of the object language.
An ordered metalanguage is analogous to
ordered logic. An example of an ordered metalanguage would be the construction of one metalanguage to talk about an object language, followed by the creation of another metalanguage to talk about the first metalanguage, and so on.
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 talk about genus is also used to talk about species; the language that is used to talk about orders is also used to talk about geni; and, so on, up to kingdoms.
Role in metaphor
Michael Reddy (1979) has demonstrated that much of the language we use to talk about language is conceptualized and structured by what he refers to as the
conduit metaphor, which holds that ideas can be expressed and interpreted through language. It incorporates these three interconnected metaphors:
- Concepts, thoughts, feelings, meanings, sense and ideas are objects.
- Words, sentences, and so on are containers (with an inside and an outside) for these objects.
- Finally, communication is the act of sending and receiving these containers (through a conduit).
Those who speak and expect their meaning to be understood as it was intended are thinking of language as a conduit, perhaps a more faithful one than it truly is: miscommunications and misunderstandings can be attributed to this assumption.
Reddy offers sentences similar to the following as evidence of the prevalence of the conduit metaphor in society:
- What is the meaning in his words?
- Try to get your thoughts into words.
- I couldn't get any meaning out of his words.
- I couldn't find any sense in his words.
- His words were empty and 'devoid' of feeling.
- His promises were hollow.
- His ideas were hidden in a dense thicket of sentences.
- Like a maggot in a turd he hid within the word.
- How do I convey my love in mere words.
- How do I get it across to you that I don't want to see you again.
- I gave her a call.
- I received your call.
- I got the message.
Reddy estimates that fully 70% of the language we use to talk about the English language is based on this metaphor. While recognizing the prominence of this metaphor, Reddy is deeply troubled by it. He thinks of it as erroneous, misleading, and dehumanizing.
Computing
Computers are not intelligent like humans and therefore do not get the gist of an idea as a person would. Computers follow programmes which are sets of instructions in a clear and simple language. The development of a
programming language involves the use of a metalanguage. Backus–Naur form is one of the earliest metalanguages used in computing and was developed in the 1960s by John Backus and Peter Naur.
HTML and
XHTML are examples of
markup languages that can be used by anyone wishing to present
Web pages on the
internet with media such as
text (formatted or unformatted),
graphics,
sound and
video. Markup languages are different to metalanguages as they only describe how a document should be presented and not the
syntax of a computer programming language.
XML is the metalanguage used to describe to XHTML just as
SGML is used to describe HTML. XHTML is much stricter than HTML, for example XHTML is
case sensitive unlike HTML.
XML is used to describe other document types such as "
OpenDocument Text" which is the native format for the
word processor application in
OpenOffice.org. Many other metalanguages have been based on the W3C XML 1.0 standard, including:
There are in addition special markup languages for mathematical and scientific notation such as
TeX and
LaTeX or one of its many variants.
See also
References
- 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.
- Hofstadter, D. R. (1980). Godel, Escher, Bach: An Eternal Golden Braid. New York, Vintage 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.
- McArthur, T. (1996). The Concise Oxford Companion to the English Language. Oxford, Oxford University Press.
- Reddy, Michael J. (1979). "The conduit metaphor: A case of frame conflict in our language about language", in Metaphor and Thought, ed. Andrew Ortony, 2nd edn (Cambridge: Cambridge University Press, 1993): 164-201.
- Ritzer, G. (1991). Metatheorizing in Sociology.
External links
ML
Paradigm: multi-paradigm: imperative, functional
Appeared in: 1973
Designed by: Robin Milner & others at the University of Edinburgh
Typing discipline: static, strong, inferred
Dialects: Standard ML, OCaml, F#
Influenced by: ISWIM
..... Click the link for more information.
Logic (from Classical Greek λόγος logos; meaning word, thought, idea, argument, account, reason, or principle) is the study of the principles and criteria of valid inference and demonstration.
..... Click the link for more information.
For the journal, see .
Linguistics is the scientific study of language, which can be theoretical or applied. Someone who engages in this study is called a
linguist.
..... Click the link for more information. See Language (journal) for the linguistics journal.
A
language is a system of symbols and the rules used to manipulate them.
Language can also refer to the use of such systems as a general phenomenon.
..... Click the link for more information. Object language has meaning in contexts of computer programming and operation, and in linguistics and logic.
Programming
At their basic level, computers act on what is given to them through a limited set of instructions which are understood by their CPUs.
..... Click the link for more information. In theoretical linguistics, generative grammar refers to a proof-theoretic framework for the study of syntax partially inspired by formal grammar theory and popularized by Noam Chomsky, and more specifically to particular instantiations of this general framework, that is,
..... Click the link for more information.
Grammar is the study of the rules governing the use of a given natural language, and as such a field of linguistics. Traditionally, grammar included morphology and syntax, in modern linguistics commonly expanded by the subfields of phonetics, phonology, orthography, semantics, and
..... Click the link for more information.
Douglas R. Hofstadter
Born: January 15 1945 (1945--) (age 62)
New York, New York
Occupation: Professor of cognitive science
Nationality: United States
..... Click the link for more information.
Gödel, Escher, Bach: an Eternal Golden Braid
Author Douglas Hofstadter
Country USA
Language English
Subject(s) Consciousness, intelligence
Publisher Basic Books
Publication date 1979
Pages 777 pages
..... Click the link for more information.
noncommutative logic is also used by a number of authors to refer to a family of substructural logics in which the exchange rule is inadmissible. The remainder of this article is devoted to a presentation of this acceptance of the term.
..... Click the link for more information.
Since the late 1960s, the word paradigm (IPA: /ˈpærədaɪm/) has referred to a thought pattern in any scientific discipline or other epistemological context.
..... Click the link for more information.
Scientific classification or biological classification is a method by which biologists group and categorize species of organisms. Scientific classification also can be called scientific taxonomy, but should be distinguished from folk taxonomy, which lacks scientific basis.
..... Click the link for more information.
metalanguage is a language used to make statements about other languages (object languages). Formal syntactic models for the description of grammar, e.g. generative grammar, are a type of metalanguage.
..... Click the link for more information.
A programming language is an artificial language that can be used to control the behavior of a machine, particularly a computer. Programming languages, like natural languagess, are defined by syntactic and semantic rules which describe their structure and meaning respectively.
..... Click the link for more information.
HTML (Hypertext Markup Language)
File extension: .html, .htm
MIME type: text/html
Type code: TEXT
..... Click the link for more information.
XHTML
File extension: .xhtml, .xht, .html, .
..... Click the link for more information.
markup language provides a way to combine a text and extra information about it. The extra information, including structure, layout, or other information, is expressed using markup, which is typically intermingled with the primary text.
..... Click the link for more information.
A Web page or webpage is a resource of information that is suitable for the World Wide Web and can be accessed through a web browser. This information is usually in HTML or XHTML format, and may provide navigation to other web pages via hypertext links.
..... Click the link for more information.
Internet is a worldwide, publicly accessible series of interconnected computer networks that transmit data by packet switching using the standard Internet Protocol (IP). It is a "network of networks" that consists of millions of smaller domestic, academic, business, and government
..... Click the link for more information.
character is a unit of information that roughly corresponds to a grapheme, grapheme-like unit, or symbol, such as in an alphabet or syllabary in the written form of a natural language.
An example of a character is a letter, numeral, or punctuation mark.
..... Click the link for more information.
Graphics (from Greek ; see -graphy) are visual presentations on some surface, such as a wall, canvas, computer screen, paper, or stone to brand, inform, illustrate, or entertain.
..... Click the link for more information.
Sound is a disturbance of mechanical energy that propagates through matter as a wave (through fluids as a compression wave, and through solids as both compression and shear waves).
..... Click the link for more information.
Video (Latin for "I see", first person singular present, indicative of videre, "to see") is the technology of electronically capturing, recording, processing, storing, transmitting, and reconstructing a sequence of still images representing scenes in motion.
..... Click the link for more information.
In computer science, SYNTAX is a system used to generate lexical and syntactic analyzers (parsers) (both deterministic and non-deterministic) for all kind of context-free grammars
..... Click the link for more information.
Extensible Markup Language
File extension: .xml
MIME type: application/xml, text/xml (deprecated)
Uniform Type Identifier: public.xml
Developed by: World Wide Web Consortium
Type of format: Markup language
Extended from: SGML
..... Click the link for more information.
Standard Generalized Markup Language
File extension: none
MIME type: application/sgml, text/sgml
Uniform Type Identifier: public.xml
Type of format: metalanguage
Extended from: GML
Extended to: HTML, XML
Standard(s): ISO 8879
..... Click the link for more information.
Text sometimes exhibits case sensitivity, that is, words can differ in meaning based on the differing use of uppercase and lowercase letters. Words with capital letters don't always have the same meaning as words with lowercase letters.
..... Click the link for more information.
OpenDocument format (ODF, ISO/IEC 26300, full name: OASIS Open Document Format for Office Applications) is a file format for electronic office documents, such as spreadsheets, charts, presentations and word processing documents.
..... Click the link for more information.
A word processor (more formally known as document preparation system) is a computer application used for the production (including composition, editing, formatting, and possibly printing) of any sort of printable material.
..... Click the link for more information.
OpenOffice.org (OO.o or OOo) is an office suite application available free of charge for a number of different computer operating systems. It supports the OpenDocument standard for data interchange as its default file formats, as well as Microsoft Office '97-2003
..... Click the link for more information.