印度逻辑与形而上学的方法

因明推理的一个环节是喻。它分为同喻与异喻。异喻以证伪反例来间接证明宗(正命题)。义准量的第一个原便是依据于命题中的矛盾,以否定方式来完成推理。这便是反证法。它通常被哲学家们用来证明某种不可见识的存在。