以正理派为代表的印度早期逻辑理论出现后，对印度哲学的发展起了重要的推动作用，同时也吸引了更多的印度古代思想家关注逻辑问题。在这方面较为突出的是一些佛教思想家。
佛教内部对正理派提出的逻辑理论的态度并不一致。
大体上说，中观派中的龙树基本否定正理派的逻辑学说（这与他极为注重辩证的思维方式有很大关系）
，而瑜伽行派的不少思想家（如弥勒、无著、世亲等）则吸收了这种学说中的部分内容，把它作为与其它派别辩论的工具。
公元５至６世纪，著名佛教大师陈那对印度逻辑学进行了重要的改革。在陈那之前的印度逻辑学被称为“古因明”
，陈那则开创了“新因明”的时代。他写下了《因明正理门论》（Ｎｙāｙａｄｖāｒａｔａｒａｋａｓ′āｓｔｒａ）和《集量论》
①以上叙述倒难时所举的实例，基本依据Ｓ。
Ｃｈ。维底亚布沙那《乔答摩的正理经》一书中对《正理经》所作的注释。
该书对本节中未解释的倒难亦有解释，可以参阅（第１４０—１６６页）。
-- 205
８９１印度哲学
（Ｐｒａｍāｎａｓａｍｕｃａｙａ）等重要的因明著作。
陈那针对古因明①中“五支作法”的弱点，把合与结二支去掉，确认宗、因、喻三支②即可完成推论目的。
“三支作法”在一般佛典中的用例为：宗：声是无常，因：所作性故，同喻：若是所作，见彼无常，如瓶，异喻：若是其常，见非所作，如虚空③。
陈那还对推论式中的“因”
作了认真研究。
在他之前，佛教的一些典籍中已提出了“因三相”的理论④。认为“因”如果正确就一定要具有三项条件，包含三个方面：（１）遍是宗法性（指“宗”中所说之物必定具有“因”的性质。换言之，因或中词之外延须包涵宗中所说之物或小词的外延）
；（２）
同品定有性（指宗之宾辞或大词的外延必须大于或等于因或中词的外延。同喻就表示这一逻辑关系。
“同品”指具有宗之宾辞所表述的属性的事物，“同品定有”意为：同品必定有具备因的性质的事物）
；（３）异品遍无性（指因或中词的外延不得越出宗之宾辞或大词的外延，异喻就表示了这一逻辑关系。
“异品”指具有与宗的宾辞所表述的属性相反的属性的事物，
①“因明”
（Ｈｅｔｕｖｉｄｙā）
是通过一定的推论方式进行推理证明的学问。
它不仅包含逻辑学方面的内容，而且还包含其它一些认识论方面的内容。
“因”
（ｈｅｔｕ）指推论的根据、理由；“明”
（ｖｉｄｙā）指知识、智慧。所谓“古因明”不仅指正理派的逻辑学说，还包含陈那之前的一些瑜伽行派思想家所奉行的逻辑学说。
②在“古因明”中已有佛教思想家提出宗、因、喻三支作法，陈那在此基础上作了进一步完善。
③参见商羯罗主：《因明入正理论》。
④“因三相”的理论最初见于无著的《顺中论》，若耶须摩论师提出
-- 206
印度哲学９９１
“异品遍无”意为：全部异品都必须不具备因的性质）
①。陈那在“因三相”的理论基础上作了进一步发展，他侧重研究了“因三相”中的“同品定有性”和“异品遍无性”
，提出了著名的“九句因”的学说，用“九句因”来确定“因”的正确与否。
陈那认为，因对同品和异品有九种可能的关系，即：同品有异品有、同品有异品非有、同品有异品有非有、同品非有异品有、同品非有异品非有、同品非有异品有非有、同品有非有异品有、同品有非有异品非有、同品有非有异品有非有。陈那认为，上述“九句”中的第二句因在同品中遍有，在异品中遍无；第八句因在部分同品中有，在所有异品中无，都符合因三相中后两相的规定，因而是正因，其它七句因由于不符合因三相中后两相的规定，因而是似因②。
陈那在论述推论的错误时，除了“九句因”中的七种不正因之外，还列举了十四种“似能破”等。他的弟子商羯罗主又举出有三十三过。这些理论在本质上（或在大部分内容上）与《正理经》中所提出的五种“似因”
，二十四种“倒难”等类似。
总之，陈那新因明学说的几个重要有机组成部分是：三支作法、因三相中的后二相和九句因。其中前二者是他对前人理论的吸收和完善，“九句因”则是他的创新。
在陈那之后，佛教诸思想家中对印度逻辑学作出突出贡献的是法称（约７世纪）。法称著有大量因明学著作，有所谓
①参见末木刚博著：《新因明的逻辑》（载《因明新探》，甘肃人民出版社１９８９年版）
第２７８—２８３页；并参见《宗教词典》，上海辞书出版社１９８１年版，第４０５—４０６页。
②关于“九句因”的详细内容可参见陈那的《因明正理门论》和《集量论》等因明著作。
-- 207
０２印度哲学
“因明七论”
，其中最重要的是《正理滴论》（Ｎｙāｙａｂｉｎｄｕ）。
此典不仅在古代对印度逻辑学的发展有重要意义，而且在近现代受到世界各国逻辑学界的高度重视，被西方学者作为研究佛教因明学的典型材料。法称曾向陈那的弟子自在军（Ｉ′ｓ′
ｖａｒａｓｅｎａ）学习因明，对陈那及其弟子的学说是较为熟悉的。
根据《正理滴论》等著作，他在因明学方面的主要特点是：首先，进一步丰富了“因三相”的学说，认为具备三相的因又有三种：不可得的，自性的，果性的①；其次，主张改造三支作法，提出废除喻支，把同喻体和异喻体归入因中②；最后，更为细致地探讨了推论中的过失问题，对宗过、因过、喻过都提出了不少新的见解。
