chapter  41
11 Pages

The Lower Predicate Calculus: Conclusion

WithG. E. Hughes, D. G. Londey

Individual-variables are used in LPC formulae in two importantly different ways. (a) As we used them in LPC2, for example, they are straightforward variables which take names of individuals as values, in just the same way as propositional variables and predicate variables take propositions and predicates respectively as values. (b) Since Chapter 37, however, we have also been writing individual-variables within the scope of quantifiers which contain those same variables; used in this way, they play a different role.