The Formal Logic Thoughts In The <nyayabindu> Of Dharmakirti

Dharmakirti was the second Hetuvidya master after Dignaga in the history of Indian logic. He inherited the Hetuvidya thoughts of Dignaga and he developed it. His biggest contribution is that he promoted the history of Indian logic form the conclude to the deduction, and his logical thoughts can compare with the logic of Aristotle. His precious logical thouguts were in his book of <Nyayabindu>, and what we should do is open this old book and found its quintessence part in the way of formal logic.In the "Formal logic thoughs of Svarthanumana" we researched the Trairupya of Dharmakirti, and compared with AAA of Aristotle. then we disscuss the Sadhana and Dusana in this chapter, we put the focous on the eleven demonstration of Dusana, and found the same part and the different part between them.In the "Formal logic thoughs of Pararthanumana" we mainly discuss two parts: one is the same Dharmin, the other is the different Dharmin. we discussed these two problems detailedly. In the same Dharmin, we researched the metaphor and the middle word and then compared with the syllogism. In the researche of different Dharmin, we put the focus on the discuss of distinct in different Dharmin.finally, we compared the same and the different between them and we found out they were two answers for one question, although they were different ways, the key was the same.In the "Formal logic thoughts of Hetuabhasa", we discussed three Hetuabhasa, Asiddha-hetuka, Aniscita-hetuka and Viruddha-hetuka, Hetuabhasa is the supplementary of the trairupya, and they from the wrong point of view. we follow the view of Dharmakirti and discussed all of the three problems. we finally found where are wrong places. From the research we found that the logic meanings are very plentful and Dharmakirti had very glitter ideas.