九句因理论的形式语义学

The Formal Semantics of the Nine Reasons of Dignāga

本文利用形式语义学的方法,通过给出适合九句因理论的初始假设,对其进行形式语义刻画。结论是:九句因理论的本质是建立在对宗体与宗依的区分的基础上,从形式上,一般地探讨因与宗后陈两者之间的外延关系。就其跳脱具体内容上的探讨,而完全上升到了逻辑的高度、形式化的高度而言,陈那论师的九句因理论具有划时代的里程碑式的意义,完全可以与亚里士多德的逻辑工作相媲美。

By given appropriate initial hypothesis,the nine reasons of Dignāga was characterized in Formal Semantics.Our conclusion is:the nine reasons is based on the distinction between proposition and parts,so to inspect whether the proposition is right is to inspect whether the two concepts have the logical relation,i.e.is to inspect whether there is the logical relation between hetu and the latter.In the sense,the nine reasons of Dignāga is of epoch-making significance in the history of India Hetuvidya,which is comparable with the work of logic of Aristoteles.