Metalanguage
[met-uh-lang-gwij] /ˈmɛt əˌlæŋ gwɪdʒ/
noun
1.
any or symbolic system used to discuss, describe, or analyze another or symbolic system.
/ˈmɛtəˌlæŋɡwɪdʒ/
noun
1.
a language or system of symbols used to discuss another language or system See also formal language, natural language Compare object language
1. [theorem proving] A language in which proofs are manipulated and tactics are programmed, as opposed to the logic itself (the “object language”). The first ML was the metalanguage for the Edinburgh LCF proof assistant.
2. [logic] A language in which to discuss the truth of statements in another language.
Read Also:
- Metalcrafting
[met-l-kraf-ting, -krahf-] /ˈmɛt lˌkræf tɪŋ, -ˌkrɑf-/ noun 1. .
- Metal-detector
noun 1. an electronic device for detecting the presence of metal objects, as one used as a portable sweeping unit or one emplaced in an archway at an airport terminal to detect concealed weapons, explosives, etc. noun 1. a device that gives an audible or visual signal when its search head comes close to a […]
- Metalepsis
[met-uh-lep-sis] /ˌmɛt əˈlɛp sɪs/ noun, plural metalepses [met-uh-lep-seez] /ˌmɛt əˈlɛp siz/ (Show IPA). Rhetoric. 1. the use of metonymy to replace a word already used figuratively.
- Metaleptic
[met-uh-lep-sis] /ˌmɛt əˈlɛp sɪs/ noun, plural metalepses [met-uh-lep-seez] /ˌmɛt əˈlɛp siz/ (Show IPA). Rhetoric. 1. the use of metonymy to replace a word already used figuratively.
- Metal-free phthalocyanine
[met-l-free] /ˈmɛt lˌfri/ noun, Chemistry. 1. (def 1).