《中国大百科全书》第2版：
【爱利亚学派】…… 芝诺用反证法进一步论证了存在是不动的“一”的思想，说明假如承认运动和多，他们所碰到的困难要比承认“一”和不动大得多。……
【数理逻辑】…… 以荷兰数学家 L. E. J. 布劳威尔为代表的直觉主义学派，主张数学的对象及真理应当能够通过数学的理性或直觉的活动而直接得到。他排斥一切非构造性的证明，认为任何一个数学对象，必须能行地构造出来，而不能用反证法推出其存在。……
【苏格拉底】…… 苏格拉底的这种方法是由爱利亚学派的逻辑推论和芝诺（爱利亚的）的反证法发展而来的。……
【墨子】…… 在争鸣辩论中提出名、辩、类、故、法、悖等逻辑概念。要求名实相符，“能谈辩者谈辩”，将辩论技巧作为知识传授。要求辩论“察类，明故”，“无故从有故”，重视“方法”的探究。常用归谬法和归谬式类比推理揭露论敌的自相矛盾。……
【欧多克索斯】…… 他曾研究“中末比”和“倍立方”问题，把德谟克利特的“原子法”（几何体可以看作由有限多个不可再分的原子所构成）和安提丰的“穷竭法”建立在较稳健的基础上，并用归谬法证明了德谟克利特提出的命题：圆锥、棱锥的体积是等底等高的圆柱、棱柱体积的1/3。欧多克索斯的著作很多，可惜都没有流传下来。
【中观派】…… 中观派在龙树之后350年左右分裂为应成中观派与自续中观派。前者主张中观立场应该是以归谬法来显示论敌的错误；后者以清辨为代表，声称中观哲学应该构造自己的论题，具有自己的认识方法。……
