亚里士多德发明了形式逻辑.并且以三段论为基础.他的辩证法也就是苏格拉底的“产婆术”.亚里士多德又称其为亚里士多德称其为“归纳的论证”