墨子所创的墨辩逻辑，亚里士多德的形式逻辑，古印度的因明论，为世界上三大逻辑流派，可称之为人类逻辑学发展史上鼎立的三座高峰。