演绎，与其说是一种思维形式，毋宁说是一种表达方式，一种彰显清晰性的表达方式，一种彻底解决了交流问题的表达方式。 之所以强调此点，是为了说明，演绎，并不是一个良好的知识生产程序，而更多的，是一个良好的知识表述程序。 例如：数论或者欧式几何，作为知识体系，都可以表达为非常彻底的演绎体系，但是，我们很难指望依靠演绎机器，来生产新的数论或几何定理，目前，连完全的机器证明，都困难重重。