在古希腊时期，爱利亚学派哲学家芝诺首次使用了论证(反证)的方法，对辩证法思想鼻祖赫拉克利特主张事物是运动的观点及事物是一与多的统一的观点进行了反驳，并对自己所提出的“飞矢不动”“阿基里斯与龟”等命题进行了一系列的逻辑论证