Predicate calculus with free quantifier variables

R. Thomason,JR D. RANDOLPH JOHNSON
DOI: https://doi.org/10.2307/2270973
1969-05-29
Abstract:In the literature of symbolic logic there are many examples of systems having free variables ranging over truth-values, individuals, or predicates. But, though many such systems are equipped with universal and existential quantifiers (and though many other quantifiers, e.g., for exactly one, are thereby definable), the problem of free variables corresponding to such constants has been neglected.
What problem does this paper attempt to address?