# Definition:Variable

## Contents

## Definition

A **variable** is a label which is used to refer to an unspecified object.

A **variable** can be identified by means of a symbol, for example:

- $x, y, z, A, B, C, \phi, \psi, \aleph$

It is often convenient to append a subscript letter or number to distinguish between different objects of a similar type:

- $a_0, a_1, a_2, \ldots, a_n; S_\phi, S_{\phi_x}, \ldots$

The type of symbol used to define a **variable** is purely conventional.

Particular types of object, as they are introduced, frequently have a particular range of symbols specified to define them, but there are no strict rules on the subject.

## Domain

The collection of all possible objects that a variable may refer to has to be specified.

This collection is the **domain** of the variable.

### Real Variable

A **real variable** is a symbol which can stand for any one of a set of real numbers.

### Complex Variable

A **complex variable** is a symbol which can stand for any one of a set of complex numbers.

## Satisfaction

Let $\map P x$ be a propositional function such that $x$ is a variable with a given domain $S$.

Let a specific element $a$ of $S$ be substituted for $x$ in $\map P x$ such that $\map P a$ is true.

Then $a$ is said to **satisfy** the propositional function $P$.

## Propositional Logic

A **statement variable** is a variable which is used to stand for arbitrary and unspecified statements.

For **statement variables**, lowercase letters are usually used, e.g.:

- $p, q, r, \ldots{}$, etc.

or lowercase Greek letters, e.g.:

- $\phi, \psi, \chi$ etc.

The citing of a variable can be interpreted as an assertion that the statement represented by that symbol is true.

That is:

**$p$**

means

**$p \text { is true}$**

## Predicate Logic

In the context of predicate logic, a variable is often called an **object variable** or **arbitrary name**.

As such, it is a symbol which is assigned to an *arbitrarily selected* object from a given universe of discourse.

The understanding is that (during the scope of the argument to which it is relevant) the arbitrary name could apply equally well to *any* of the objects in that universe.

## Descriptive Statistics

A **variable** is a characteristic property of all individuals in a population or sample.

It is a categorization of the population such that each individual can be unambiguously described with respect to said variable.

### Quantitative Variable

A **quantitative variable** is a variable such that:

- The variable can be described by numbers
- The performing of arithmetical operations on the data is meaningful.

### Qualitative Variable

A **qualitative variable** is a variable such that:

- The variable is not a quantitative variable
- The variable describes each individual as either having, or not having, some specific property.

## Value

A variable $x$ may be (temporarily, conceptually) identified with a particular object.

If so, then that object is called the **value** of $x$.

## Restricted Variable

A **restricted variable** is a variable whose values are confined to some only of those of which it is capable.

## Unrestricted Variable

An **unrestricted variable** is a variable whose values are not confined in any way to some only of those of which it is capable.

## Also known as

When it occurs in a mathematical equation, a **variable** is often referred to as an **unknown**.

In the specific context of elementary algebra, the ugly misnomer **pronumeral** is frequently found in Australia. This was introduced by extension of the concept of a pronoun: a symbol that **stands in** for a **numeral**, by which the term number is actually meant.

Thankfully the term appears not to have caught on in general.

## Historical Note

The term **variable**, as opposed to a constant, was introduced by Gottfried Wilhelm von Leibniz.

## Also see

## Sources

- 1910: Alfred North Whitehead and Bertrand Russell:
*Principia Mathematica: Volume $\text { 1 }$*... (previous) ... (next): Chapter $\text{I}$: Preliminary Explanations of Ideas and Notations - 1937: Eric Temple Bell:
*Men of Mathematics*... (previous) ... (next): Chapter $\text{VI}$: On the Seashore - 1946: Alfred Tarski:
*Introduction to Logic and to the Methodology of Deductive Sciences*(2nd ed.) ... (previous) ... (next): $\S 1.1$: Constants and variables - 1959: A.H. Basson and D.J. O'Connor:
*Introduction to Symbolic Logic*(3rd ed.) ... (previous) ... (next): $\S 1.1$: Symbolic Logic and Classical Logic - 1972: A.G. Howson:
*A Handbook of Terms used in Algebra and Analysis*... (previous) ... (next): $\S 1$: Some mathematical language: Variables and quantifiers - 1972: Murray R. Spiegel and R.W. Boxer:
*Theory and Problems of Statistics*(SI ed.) ... (previous) ... (next): Chapter $1$: Discrete and Continuous Variables - 2008: David Joyner:
*Adventures in Group Theory*(2nd ed.) ... (previous) ... (next): Chapter $1$: Elementary, my dear Watson: $\S S 1.1.1$: 'You talking to me?': Definition $1.1.4$