| 英文摘要 |
As a foundational text for the Five Great Treatises of the Gelugpa School of Tibetan Buddhism, Collected Topics is regarded as the key to unlocking the treasury of Dharma and the correct cause for obtaining omniscience. It is the essential text for those who wish to explore the profound connotations of the Five Great Treatises. This paper aims to explore two subjects of Collected Topics: epistemology and multiple propositions, by means of concepts and methods from modern disciplines such as predicate logic, computer science, and group theory. Through the logicalization, formalization, and abstraction of the content of the two aforementioned subjects, we achieve the following results: For the connotation of epistemology, we gain new understandings through reinterpretation in logical language and derive new insights from logical argumentation. By employing novel mathematical techniques, we can methodologically avoid the problem of infi nite regression. By utilizing the visualization advantages of fi nite state machines, we obtain an intuitive understanding of how multiple propositions operate and derive their associated rules. By proving that multiple propositions share the same mathematical structure as a commutative group, we can use the known mathematical properties of the commutative group to simplify multiple propositions, and interpret the implications of epistemological propositions from an abstract mathematical perspective. Finally, by integrating the aforementioned results with sorting algorithms, we propose an algorithm for determining the truth value of multiple propositions. The above results indicate that this approach is both effective and innovative. Its rigor and clarity in methodology make it particularly suitable for exploring the connotation of Buddhism that emphasizes logical thinking in Collected Topics. Therefore, it is worthwhile for interdisciplinary scholars to engage in and cultivate this new research fi eld. |