| 英文摘要 |
Debate is an important tradition of Tibetan Buddhism. Through debate, one can learn deeper about Buddhist doctrine, improve critical thinking abilities, and obtain highly intelligent achievement. Even many Buddhist scriptures are written in the form of debate. Debate requires precise expression and logical rigor. However, the relevant scriptures are all written in natural language, which makes it difficult to meet such requirements. Therefore, for this tradition, it is of great significance to represent those connotations in formal and logical methods developed by modern disciplines. This article uses the language and concepts of modern disciplines (predicate logic, set theory and computer science) to comprehensively translate and represent the propositions, arguments, processes and ontology involved in debate. And further, the proposed method is used to analyze and study the Buddhist doctrine. The work of this article shows that this approach can provide a cross-language expression framework, which facilitates transmission, communication, learning, and research. In addition, it can give us a new perspective to explore and interpret the profound logical and philosophical connotations of Buddhist doctrine, and help us to gain new insights. We hope that the innovative attempt and effort can motivate scholars from different fields to join the research and give the ancient wisdom a modern look, so that modern people will understand, accept and benefit from the ancient wisdom tradition. |