《因明正理门论》 (梵Ny?ya-Mukha或Ny?ya-dv?ra)
又译为《理门论》，简称《门论》。陈那著，新因明前期代表作。由于份量比商羯罗主的《因明入正理论》大，又称为《大论》，后者称为《小论》。本论梵本已佚，仅存唐代玄奘的汉译本。梵本书名原无“因明”一词，玄奘为表明此论性质而特加。义诤(635—713年)在玄奘之后译了本论的释论，大部已佚，仅存开头的《释论缘起》一段三百余字，后人取奘译本论补足。
陈那因明著作有前后期之分，前期重点放在论议，讲立破之则，即以逻辑为重点，后期以《集量论》为代表作，重点放在量论即认识论方面。
以论议为重点是大乘佛教瑜伽行派的传统，本论一开头便标出宗旨，要区别出立与破的正确道理，认识论部分内容较轻，只是看成立破的准备条件。全论仿照《如实论》和《论轨》二书编排，分为上下两篇。上篇讲能立与似能立，即正确的论证和错误的论证。末尾简略讨论了认识论问题。下篇讲能破与似能破，即正确的破斥和错误的破斥。
(一)真、似能立
真、似能立指正确的立论和错误的立论。
(１)能立有二义，其一以多言为能立，包括宗、因、喻三支，指整个论式；其二指一个论式内部，宗是所立(论证的对象)，因、喻为能立(证宗的根据)。
(２)宗与似宗：立宗唯取随自意乐；似宗分为五种：自语相违，自教相违，世间相违，现量相违，比量相违。陈那举了这五种似宗的实例，而未全部说出过名，五种过名见于《因明入正理论》。
(３)因与似因：因与同品、异品的有无关系共有九种情况，称为九句因。九句是：①同有异有；②同有异无；③同有异俱；④同无异有；⑤同无异无；⑥同无异俱；⑦同俱异有；⑧同俱异无；⑨同俱异俱。本论规定二、八句为正因，四、六句为相违因，其余为不定因。九句因中的因首先必须是宗法，即宗上有法(主项)的法，而且必须立敌共许，因与同品、异品间有和非有的关系也要立敌共许。这样就蕴涵着同品、异品除宗有法的规定，第五句因同无异无正是同、异品除宗有法的结果。陈那从九句因中的二、八正因概括出因三相：遍是宗法性，同品定有性和异品遍无性。因的后二相中的同品和异品也应除宗有法。论式中的因只要满足因三相，并且无相违决定过便能“生决定解”。
似因分为三类：第一类是违反第一相的称为不成因，包括两俱不成，随一不成，犹豫不成，和所依不成。第二类是不定因，不定因又分三种情况。一是仅仅违反第二相的，即九句因中的第五句因同无异无，二是违反第三相的，即九句因中的第一、三、七、九句，三是三相都满足的两个因，成立互相矛盾的两个宗，这两个因就是相违决定因。相违决定因过是由一个理论体系内部不一致所引起的，立相违决定因过，不管陈那主观上是否意识到，客观上是要求一个理论系统内部必须一致。同时违反第二、第三两相的是相违因。相违因从形式上看，按理只有一种即法自相相违因，但陈那认为语言的表面意义和暗含的意义有不同，故增设法差别相违国，并衍生出有法自相相违和有法差别相违因。
(４)喻与似喻：为避免古因明无穷类比的弊病，陈那在喻支增设了喻体，以显因与所立不相离性。由于同、异品必须除宗有法，因此显示因后二相的同、异喻体实际上不是毫无例外的全称命题。本论阐明同喻体的组成是“说因宗所随”，先因后宗，异喻体的组成是“宗无因不有”，先陈宗无后陈因无。似喻有同法五过，异法五过，共十过。作为完整的论式必须双陈同、异喻体，在表达时同、异喻体都可省略，但同喻依却不能省。举得出正确的同喻依是满足第二相、防止第五句过失因的标志。
(二)量
所量之境不上自相(特殊)与共相(一般)，故量只有现量和比量二种，不容增减。现量是离开名言(概念)的，这包括四种：①五种感官所得的五识；②和五识同起的意识现量；③贪等心所的自证分，以见分的自相为认识的对象；④定中离散分别的瑜伽现量。比量是在现量智基础上产生的智。比量有远因与近因之分。无因或是现量智，或是比量智；近因是由回忆才明白因宗不相离性的。
(三)真、似能破
(１)能破，即反驳，指出敌方的过错，以显示其宗不能成立。能破的对象是二类：一支缺，宗、因、喻三支不完整(缺一有三，缺二亦有三)，没有说明与省略式如何区别；二支失，即前面所说的似宗、似因、似喻。
(２)心能破是错误的反驳，不能显示立方论式的错误，共列出14种，称为14过类：(1)同法相似；(2)异法相似；(3)分别相似；(4)无异相似；(5)可得相似；(6)犹豫相似；(7)义准相似；(8)至不至相似；(9)无因相似；(10)无说相似；(11)无生相似；(12)所作相似；(13)生过相似；(14)常住相似。14过类基本因袭古因明的传统，《正理经》开具24种，《如实论》列为22种，《方便心论》列为20种，商羯罗主的《因明入正理论》全部删除，只讲似能立。
