http://glottopedia.org/index.php?action=history&feed=atom&title=Meta-variableMeta-variable - Revision history2026-04-23T04:15:14ZRevision history for this page on the wikiMediaWiki 1.34.2http://glottopedia.org/index.php?title=Meta-variable&diff=4062&oldid=prevHaspelmath: from Utrecht Lexicon of Linguistics2007-10-15T08:01:23Z<p>from Utrecht Lexicon of Linguistics</p>
<p><b>New page</b></p><div>In semantics, a '''meta-variable''' is an expression of a [[metalanguage]] that can be used to refer to arbitrary [[object language]] expressions in a logical language. <br />
<br />
===EXAMPLE===<br />
The syntax definition of a [[predicate logic]] could contain sentence (i).<br />
<br />
(i) If phi is a formula in L, then so is Neg phi<br />
<br />
In (i), phi is a metavariable standing for any formula of the logical language L.<br />
<br />
===Link===<br />
[http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Meta-variable&lemmacode=539 Utrecht Lexicon of Linguistics]<br />
<br />
===Reference===<br />
Gamut, L.T.F. (1991) Logic, language, and meaning, Univ. of Chicago Press, Chicago.<br />
<br />
{{dc}}<br />
[[Category:Semantics]]</div>Haspelmath