Difference between revisions of "Variable (Semantics)"
Jump to navigation
Jump to search
Wohlgemuth (talk | contribs) m (utrecht) |
(Edited the format and removed the block {{format}}) |
||
| Line 1: | Line 1: | ||
| + | ==Definition== | ||
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 variable]]s 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. | 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 variable]]s 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 == | |
| − | + | *[http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Variable&lemmacode=107 Utrecht Lexicon of Linguistics] | |
| − | [http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Variable&lemmacode=107 Utrecht Lexicon of Linguistics] | ||
| − | |||
| − | |||
| + | == References == | ||
* Chomsky, N. 1981. ''Lectures on Government and Binding,'' Foris, Dordrecht. | * Chomsky, N. 1981. ''Lectures on Government and Binding,'' Foris, Dordrecht. | ||
| Line 12: | Line 11: | ||
[[Category:Semantics]] | [[Category:Semantics]] | ||
| − | {{stub}}{{cats | + | {{stub}}{{cats}} |
Latest revision as of 08:58, 30 August 2014
Definition
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
References
- Chomsky, N. 1981. Lectures on Government and Binding, Foris, Dordrecht.
| STUB |
| CAT | This article needs proper categorization. You can help Glottopedia by categorizing it Please do not remove this block until the problem is fixed. |
