7.6. Insuring generality

7.6.0. Overview

Although the idea of a general argument is not the last addition we will make to the perspective on proofs introduced in 2.2, it is the key idea needed for the derivations of this chapter and the next.

7.6.1. How generality can fail
To be able to generalize about what is said using a specific name, what is argued must not depend on what this name refers to; and there is more than one way that this can fail to be so.

7.6.2. Multiply general arguments
Arguments that establish multiply general conclusions must be general in several dimensions independently.