| This article researches hetuvidyÄ inference theory. It has three aspects, includingsvÄrthÄnumana, right hetu and fallacy of hetu. Tibetan scholars maintain thatsvÄrthÄnumana is the real inference. Right hetu is essential condition of reachingconclusion and reason of inference. The form of inference is Twi-avayava. On the basis oftri-avayava, twi-avayava omitted abhÄsah., which is simpler. There are many similaritiesand differences among twi-avayava, syllogism and other deductive methods. Comparingthe differences of these deductive methods contribute to intuitively know logicachievements of Tibetan hetuvidyÄ.Modern logic method is a usual approach of many scholars studying hetuvidyÄ.Undoubtedly, they have achieved good results. However, due to distinction ofcomprehending Tibetan hetuvidyÄ theory, author has some unlike opinion. This thesisdiscussed three aspects, including concept of Tibetan hetuvidyÄ inference, conditionalsyllogistic inference without full name and inference format. Concept of syllogism isnecessary to be normalized. Inaccurate concept may lead to dividing extension withproblem. The three forms of Tibetan hetuvidyÄ inference should not be confused.Universal categorical proposition is obviously different to singular categorical proposition.It should not be equated with conditional syllogistic inference, when trairÅ«pya beingexpressed by independent term. Scholars should pay attention to the use of quantifiers inconverting types of inference. In the study of comparing Tibetan hetuvidyÄ trairÅ«pya withsyllogism, proposition must be converted to canonical form and then deducing accordingto basic rules of syllogistic inference. Dharmakirti's contribution in inferential sphereshouldn't be ignored. Besides, at the end of this thesis, the author boldly hypothesized anddemonstrated that thi-avayava and twi-avayava have affected by western traditional logic.In this paper, the author using modern logic method interpreted Tibetan hetuvidyÄand detailed studying svÄrthÄnumana, which came to a conclusion: the logic achievementsof Tibetan hetuvidyÄ surpass Han hetuvidyÄ's. |