free variable
Very low in general English; high within specialised technical domains (mathematics, logic, computer science).Exclusively formal and technical.
Definition
Meaning
In logic, mathematics, and computer science: a variable that is not bound by a quantifier or a local declaration, meaning its value is not fixed within the current context and can be assigned or changed.
More broadly, it can metaphorically refer to any factor, parameter, or element in a system that is not constrained by the current rules or context and can vary independently.
Linguistics
Semantic Notes
The term's meaning is highly dependent on its technical context. In a logical formula, a free variable is one that is not within the scope of a quantifier (∀, ∃). In programming, it refers to a variable used in a function but not declared locally within that function's scope. The 'free' denotes 'unbound' or 'unconstrained', not 'costless'.
Dialectal Variation
British vs American Usage
Differences
No significant differences in meaning or usage. Spelling conventions follow local norms (e.g., 'behaviour' vs. 'behavior' in surrounding text).
Connotations
None beyond its precise technical definition.
Frequency
Equally rare in general usage in both regions, and equally common within the relevant academic/technical fields.
Vocabulary
Collocations
Grammar
Valency Patterns
[free variable] + [preposition 'in'] + [context] (e.g., a free variable in the formula)[verb: substitute/capture/bind] + [free variable]Vocabulary
Synonyms
Strong
Neutral
Weak
Vocabulary
Antonyms
Phrases
Idioms & Phrases
- “[No established idioms for this technical term]”
Usage
Context Usage
Business
Virtually never used.
Academic
Core term in formal logic, model theory, lambda calculus, and theoretical computer science.
Everyday
Never used.
Technical
Essential in programming language semantics, compiler design, and mathematical logic. Refers to variables referencing an outer scope.
Examples
By Part of Speech
adjective
British English
- The analysis focused on the free-variable occurrences.
- We need a free-variable check for this code module.
American English
- The proof requires a free-variable substitution rule.
- A free-variable capture is a common bug.
Examples
By CEFR Level
- [This term is not used at A2 level.]
- [This term is not used at B1 level.]
- In the algebraic expression 'x + y', both 'x' and 'y' are free variables unless otherwise defined.
- The programmer fixed the error by declaring the previously free variable within the function's scope.
- The formula ∃y P(x, y) has 'x' as a free variable because it is not quantified.
- Lambda calculus reduction must account for the potential capture of free variables during substitution.
Learning
Memory Aids
Mnemonic
Think of a 'free' variable as a 'free agent' in a sports team (the formula/function) – it isn't under a specific contract (bound by a quantifier) with that team, so it can come from outside.
Conceptual Metaphor
AN UNCAPTURED ELEMENT IS A FREE AGENT; A CONSTRAINED ELEMENT IS A CAPTIVE OR EMPLOYEE.
Watch out
Common Pitfalls
Translation Traps (for Russian speakers)
- Avoid translating 'free' as 'бесплатный' (costless). The correct conceptual translation is 'свободная переменная', where 'свободная' implies 'unbound' or 'independent'.
- Do not confuse with 'arbitrary constant' ('произвольная постоянная'). A free variable's value is not fixed but is not necessarily arbitrary in the same sense.
Common Mistakes
- Using 'free variable' in non-technical contexts where 'independent variable' or just 'variable' is meant.
- Confusing it with a 'wildcard' character.
- Thinking it means a variable available at no cost in software.
Practice
Quiz
In which of these contexts is the term 'free variable' most accurately and commonly used?
FAQ
Frequently Asked Questions
No. In statistics, an 'independent variable' is a predictor variable in a model. A 'free variable' is a syntactic concept in logic/programming about whether a variable is bound by a quantifier or local declaration. Their meanings are related (both can vary) but belong to different technical disciplines.
Yes. In programming, a free variable in a function (or closure) is a variable that is used but not defined locally within that function; it is 'free' to take its value from the surrounding (enclosing) scope. This is a key concept in functional programming.
The direct opposite is a 'bound variable' (or 'dummy variable'). In a logical expression like ∀x P(x), the 'x' inside P(x) is bound by the quantifier ∀x. In programming, a 'local variable' declared inside a function is bound to that function's scope.
Identifying them is crucial for understanding the meaning of logical formulas (a formula's truth may depend on its free variables) and for ensuring correct program behaviour (to avoid 'variable capture' bugs, accidental shadowing, or undefined variable errors).