I discussed here why Indian logic requires an empirical observation even during the inference. The reason is a serious skepticism in the strength of (any) language, due to which certain methods are avoided as much as possible, like proof by contradiction.