印度的因明是世界三大逻辑的源头之一,因明学的研究是逻辑史研究的重要组成部分.陈那的新因明改造印度古因明,把五支论式改造成三支论式,大大提高了推理的可靠性.《正理门论》是陈那新因明重要的研究资料.该论文参照陈那的《集量论》等著作,用数理逻辑的方法来研究陈那的逻辑学代表作《正理门论》.认识论是《正理门论》的重要组成部分,陈那的三支论式在广义上就是一种认识论.国内外的因明学研究在论述认识论方面深度不够.该文对陈那的认识论作了一个粗线条的勾勒,在陈那的认识论和逻辑体系之间架起了一座桥梁.在认识论的该体论方面,陈那把世界划分为自相和共相.认为自相是随缘而生,又待缘而灭的刹那实在,是世界的真实基础;共相是知性思维对世界的构造,只是一种名言假立.在共相的理论上陈那坚持了一种唯名论的倾向.相应地有两种认识方法,现量认识方法和比量认识方法.现量认识方法认识的是世界的自相,比量认识方法认识的是世界的共相.同时陈那认为现量认识所获得的量果是直接的知识,因而也是第一性的知识;比量认识所获得的量果是一种间接的知识,因而是第二性的知识.陈那对正理派的逻辑的批判首先是在认识论上完成了对正理派等实在论的批判.陈那的认识论和其逻辑体系的关系是:首先,陈那正是在划分所量的基础上,建立了不同于正理派等实在论者的现量和比量理论,才使新因明的推理性质走出正理派依靠知觉和心理联想的牢笼,才使逻辑走上外延发展的轨道.其次,在陈那的新因明中删除了声量和譬喻量,使人的思维法则建立在理性的基础之上.因为声量和譬喻量在该体论上找不到相应的依据,相反,此二量消融于自相和共相的该体论之中了.最后,三支论式跟正理派五分作法相比,三支论式建立在共相的外延的基础之上,而不是像正理派五分作法一样是建立在事物的相似性基础之上,从而使陈那新因明推理的可靠程度大大提高了.陈那新因明的逻辑体系是该论文所研究的重点问题.首先,该论文研究了同、异品概念,同、异品概念是三支论式推理的初始概念.纵观《正理门论》的整个体系,同、异品概念要除宗有法,并在此基础上进行了形式化处理.其次,在深入研究九句因的基础上,弄清了因三相的准确含意.对因三相分别进行了形式化处理.最后,研究了三支论式的推理性质,严格证明了基于因三相的三支论式没有达到演绎推理的高度.该论文用数理逻辑严格证明了以下几个因明研究中尚存较大争议的问题.第一,因的后二相不能保证共许因法和不共许宗法的不相离性;第二,因的后二相不能够互推;第三,满足因三相不能必然地推出结论.