| metalanguage | Contact Us |
|
 |
 |
| WK :: metalanguage :: |
| Resources :: |
|
|
WB WBT Addons Baby Cooking Books Runway Legal DVD Electronics Outdoor Living Kitchen Change Magazines Pop Music PCs Computers Cameras Software Toys Tools Video Computer |
|
|
|
3 definitions for metalanguage From The Collaborative International Dictionary of English v.0.48 :
metalanguage \metalanguage\ n.
Any language that can be used to describe another language or
system of symbols.
[WordNet 1.5]
From WordNet (r) 2.0 :
metalanguage
n : a language that can be used to describe languages
From The Free On-line Dictionary of Computing (27 SEP 03) :
metalanguage
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.
Request more information on metalanguage |
