第十二讲 变式
“前两次，我们谈过三段式。今天，我们要谈谈三段式的变式。我们现在所要讨论的三段式之变式可以叫作堆垛式（sorites）。不过，我们必须明了，我们说堆垛式是三段式的变式，这是指从将三段式作为基本形式而言，堆垛式可以分解为三段式。堆垛式虽可分解为三段式，可是，这并不表示堆垛式必须以三段式为基础。堆垛式是否以三段式为基本形式，乃一相对之事。如果堆垛式不以三段式为基本形式，堆垛式依然可以独立自成一式。事实上，在几何学的推证程序中，未假定三段式时，堆垛式常被引用。
“什么叫作堆垛式呢？一系列的语句中，如有n +1个语句作为前提，而且有n个共词M，那么除最后作为结论的语句以外，其余作为结论的语句皆隐没不见。这样一系列的语句所形成的推论形式，叫作堆垛式。”
“吴先生，这算是堆垛式的界说吗？”王蕴理问。
