第十二讲　变式

“前两次，我们谈过三段式。今天，我们要谈谈三段式的变式。我们现在所要讨论的三段式之变式可以叫作堆垛式（sorites）。不过，我们必须明了，我们说堆垛式是三段式的变式，这是从将三段式作为基本形式而言，堆垛式可以分解为三段式。但是，堆垛式虽可分解为三段式，可是，这并不表示堆垛式必须以三段式为基础。堆垛式是否以三段式为基本形式，乃一相对之事。如果堆垛式不以三段式为基本形式，堆垛式依然可以独立自成一式。事实上，在几何学的推证程序中，未假定三段式时，堆垛式常被引用。 “什么叫作堆垛式呢？一系列的语句中，如有n+1个语句作为前提，而且有n个共词M，那么除最后作为结论的语句以外，其余作为结论的语句皆隐没不见。这样一系列的语句所形成的推论形式，叫作堆垛式。” “吴先生，这算是堆垛式的界说吗？”王蕴理问。 “是的。”吴先生点点头。 “这个界说，我简直不大懂。”王蕴理说。 “我也不懂。”周文璞说。 “大致说来，在表达一种学理时，常遇到一种不易克服的困难。即如果过分想做到容易了解，那么对于该学理不免打了折扣。如果对于该学理不折不扣，那么懂起来也许比较困难。关于数理科学，尤其如此。直到现在为止，我还没有看见太多的人把这两者调和至恰到好处……” 吴先生点燃一支烟，这回是好彩牌的，一边说：“当然，如果不从事教学工作，而只专门研究，如爱因斯坦、波尔、歌代勤等，碰不到这类问题。有些学问本身的结构使得人不是一步就…