ABSTRACT
The previous chapter introduced a slightly richer language by giving some structure to our atomics. In this chapter, we enrich the language some more, this time by adding a few more logical devices – in particular, the existential and universal quantifiers. The addition of quantifiers, in turn, requires the addition of so-called individual variables (variables ranging over objects). Despite such additional items we needn’t alter our expanded idea of ‘cases’ from Chapter 8.1 We begin with a few informal remarks to motivate the quantifiers, and then rely on Chapter 8 to sketch briefly the formal picture.
