四、结论
从九句因理论与因三相理论来看，陈那论师的工作是划时代的，里程碑式的。其理论价值在于它已然跳脱了具体内容上的探讨，而是完全上升到了逻辑的高度、形式化的高度。
首先，整个九句因理论和因三相理论实际上就是给出关于“宗前陈”、“因”、“宗后陈”三者之间的语义模型。其推理形式由其再传弟子法称论师完成，即“同法式”和“异法式”，相当于三段论的AAA式。三段论是亚里士多德的纯推理形式研究结果，它没有专门的语义学。
其次，不论是法称论师的同、异法式，还是三段论都无法排除因（中项）为空的情况，这种情况在陈那论师的语义学中被规避了，这是由“同品定有性”所保证的。
最后，形式化的方法，通常指代就是西方逻辑。西方逻辑分析方法在研究因明中的逻辑问题时有独特的优势，但不能滥用，所以第一，必须限定它的使用范围；第二，明确在什么意义上使用这样的分析方法，特别是在研究因明这门独特形态的学问。不论从文化背景还是从语言表现形式等等方面来看都与我们现代意义的科学极为不同。所以笔者认为西方逻辑分析方法应该在这样的意义上使用，即建立在因明论师的逻辑思想的基础上，用形式化的方法去梳理它、阐发它，从而更好地把握因明论师的逻辑工作及其理论价值。
参考文献：
【1】姚南强.因明研究四十年述要.哲学研究.1989年第11期.
【2】陈那著，吕澂译编.集量论释略抄.台北：新文丰出版社，1987年.
【3】祁顺来.藏传因明学通论.西宁：青海民族出版社，2006年.
【4】（印）陈那著，（唐）玄奘译.因明正理门论本.大正新修大藏经.第32卷，No， 1628.
【5】张忠义，李伟.因明论式只有第一格AAA式吗？.佳木斯师专学报.1994年第1期.
【6】张忠义，张家龙.从现代逻辑观点看印度新因明三支论式.哲学研究.2008年第1期.
【注释】
[1]姚南强：《因明研究四十年述要》，《哲学研究》，1989年第11期。(https://www.daowen.com)
[2]笔者曾撰写《陈那因明的同、异品不除宗有法》一文详细论述同、异品除宗有法是陈那论师因明的伪问题。关于其他的伪问题，笔者将会于系列文章中作详细论述。
[3]陈那著，吕澂译编：《集量论释略抄》，台北，新文丰出版社1987年，第15页。
[4]陈那著，吕澂译编：《集量论释略抄》，台北，新文丰出版社1987年，第23页。
[5]祁顺来：《藏传因明学通论》，西宁，青海民族出版社2006年，第14页。
[6]在不严格的意义上，我们也可以用九句因理论和因三相理论来指代陈那论师的为自比量。
[7]注意：这里陈那论师是在形式上探讨，寻找一般性的原则或规则。或者说陈那论师的整个为自比量都是在形式上的讨论。
[8]“同类”与“同品”，“异类”与“异品”用法是一样的，都是用来分别指称正反案例。
[9]（印）陈那著，（唐）玄奘译：《因明正理门论本》，大正新修大藏经第32卷，No， 1628。
[10]关于“因与同、异品关系的16种关系，化归后，只有9种”的结论，笔者将另撰文论述。
[11]《因轮论图解》，吕澂：《吕澂佛学论著选集》卷一，济南，齐鲁书社1991年，第170～175页。
[12]限于篇幅，在此略而不谈。笔者将另撰一文对此论述。
[13]张忠义，李伟：《因明论式只有第一格AAA式吗？》，《佳木斯师专学报》，1994年第1期。
[14]张忠义，张家龙：《从现代逻辑观点看印度新因明三支论式》，《哲学研究》，2008年第1期。