Definition:Variable/Predicate Logic

Definition

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.

Also see

• Definition:Propositional Function

Sources

• 1964: Donald Kalish and Richard Montague: Logic: Techniques of Formal Reasoning ... (previous) ... (next): $\text{III}$: 'ALL' and 'SOME': $\S 1$
• 1980: D.J. O'Connor and Betty Powell: Elementary Logic ... (previous) ... (next): $\S \text{III}$: The Logic of Predicates $(1): \ 2$: Predicate expressions
• 1996: H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability ... (previous) ... (next): $\S 2.1$: Introduction