- bound variable
- A variable x is bound in a formula if it is within the scope of a quantifier (in first-order logic, (∀x ) or (∃x )). Intuitively this means that as the formula is evaluated and x in this occurrence is assigned to an object, the quantified expression in which it occurs is evaluated with respect to that object. If a variable is not bound it is free. In (∀x )(Fx → Gx ) all the variables are bound. In (∀x )(F x → Gx ) & Gx the final occurrence of the variable x is free, so the expression is an open sentence or predicate . To turn it into a closed sentence one must either replace the variable with a constant or closed term referring to a thing, or extend the scope of the initial quantifier, or introduce another quantifier: ( x )(F x G x ) & (∃x )(G x ), for example.
Philosophy dictionary. Academic. 2011.
Look at other dictionaries:
bound variable — noun A variable that is associated with a value, and therefore a variable that has an allocated storage location. If the programming language implements a representation of a canonical unknown value, infinity, etc., the value bound to the… … Wiktionary
bound variable — noun Etymology: bound (IV) logic : a variable occurring within the scope of a quantifier and so no longer available for substitution by a constant : an apparent variable * * * Logic. (in the functional calculus) a variable occurring in a… … Useful english dictionary
bound variable — Logic. (in the functional calculus) a variable occurring in a quantifier and in a sentential function within the scope of the quantifier. Cf. free variable. * * * … Universalium
bound — variable … Philosophy dictionary
bound variables — bound variable … Philosophy dictionary
Variable (mathematics) — In mathematics, a variable is a value that may change within the scope of a given problem or set of operations. In contrast, a constant is a value that remains unchanged, though often unknown or undetermined. The concepts of constants and… … Wikipedia
variable — variability, variableness, n. variably, adv. /vair ee euh beuhl/, adj. 1. apt or liable to vary or change; changeable: variable weather; variable moods. 2. capable of being varied or changed; alterable: a variable time limit for completion of a… … Universalium
Variable — A variable (pronEng|ˈvɛərɪəbl) is an attribute of a physical or an abstract system which may change its value while it is under observation. Examples include the height of a child, the temperature across a state, or the input to a function. This… … Wikipedia
Variable speed of light — The variable speed of light (VSL) concept states that the speed of light in a vacuum, usually denoted by c , may not be constant in some cases. In most situations in condensed matter physics when light is traveling through a medium, it… … Wikipedia
bound — I [[t]baʊnd[/t]] v. 1) pt. and pp. of bind 2) tied; in bonds: a bound prisoner[/ex] 3) cvb confined to or by something: bound to one s desk[/ex] 4) made fast as if by a band or bond 5) secured within a cover, as a book 6) law under a legal or… … From formal English to slang