因明的“异品遍无性”与《墨经》的“止式推论”

东方逻辑中的墨家逻辑和印度因明中都有利用反例进行论证的推论形式，印度因明中的“异品遍无”是排除反例来证明自己的观点正确，而墨家逻辑中的“止式推论”是用反例来证明自己观点正确的推论形式。两大逻辑体系都体现共同的思维倾向性，这体现出逻辑的全人类性。