The Heap (The Bald Man, The Sorites, Little-by-little Arguments)

The conclusion is reached here by repeated applications of the logical form of inference known as modus ponens (or affirming the antecedent): if p then q; p; so q. This sort of chain argument, in which the conclusion of each sub-argument becomes a premiss of the next, is called a ‘sorites’.