Sentence examples for bound variables from inspiring English sources

But if statements like *10·1 are schemata and yet have bound variables, how do we assign types to the entities over which the bound variables range?

Free and bound variables.

The provision (1) keeps us from replacing bound variables.

In the next section, we locate the root of Peirce's introduction of quantifiers and bound variables.

Hence, the neuter pronouns in these sentences cannot be construed as bound variables.

Objects of these properties have to be constant values or bound variables.

CL untangles the problem of substitution, because formulas can be prepared for the elimination of bound variables by inserting combinators.

PM makes special use of the distinction between 'real', or free, variables and 'apparent', or bound, variables.

Thus, the pronouns in both conditional and relative clause donkey sentences cannot be understood as referring expressions nor as bound variables.

In this section we briefly outline two ideas that are related to Schönfinkel's work or are motivated by his use of combinators in the elimination of bound variables.

Chierchia holds that such pronouns are interpreted either as dynamically bound variables or E type (descriptive) pronouns (see p. 110-122).