Variable (Semantics)

From Glottopedia
Revision as of 14:48, 10 June 2009 by Wohlgemuth (talk | contribs) (utrecht)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

A basic expression of a logical language which is used as a place-holder in a formula. It does not have a specific reference but stands for an unspecified value. In first order predicate logic, individual variables ranging over individuals are the only variables used, but in higher order logic and type logic variables can also range over sets, relations and functions of diverse complexity.

Links

Utrecht Lexicon of Linguistics

References

  • Chomsky, N. 1981. Lectures on Government and Binding, Foris, Dordrecht.
STUB This article is a stub. You can help Glottopedia by expanding it.
CAT This article needs proper categorization. You can help Glottopedia by categorizing it
Please do not remove this block until the problem is fixed.
FORMAT This article is badly formatted. You can help Glottopedia by improving its formatting.
Please do not remove this block until the problem is fixed.


Retrieved from "http://glottopedia.org/index.php?title=Variable_(Semantics)&oldid=9765"