佛家逻辑通论
郑伟宏 著
第六章 陈那三支作法的推理性质
一、陈那三支作法是演绎推理吗？
1、“生决定解”并非判定演绎推理的充足理由
迄今为止，国内外大多数论著都认为陈那的二、八正因和因三相是证宗的充分条件，就是说因支和喻支满足了因三相就能必然地证得宗，因而陈那新因明三支作法是演绎论证。
然而，这里存在一个为大多数因明研究者所熟视无睹的大问题，那就是从未充分地论证过陈那新因明是演绎的。这一正是需要论证的论题，在许多因明论著中成了预设的前提。在预设的前提下，用形式逻辑，乃至数理逻辑的方法去整理、比较和修改，从而广衍其说，就难免使人产生沙上建塔的严重危机感。
有人说，陈那的《门论》强调“生决定解”，意思是因一相规则是保证三支作法为演绎论证的充分条件。但是，判定一个人，不是看他的宣言，而是看他的实践；判定一种论证方式，也不是看其建立者的主观想法如何，而是看其是否符合逻辑的格。
《正理经》开宗明义说，十六句义“等真理，可以证得至高的幸福”，正理派当然认为他们使用的五分论式中的因、喻、合，可以必然地导致宗和结，但我们却不可以据此而承认其五分论式为演绎推理。佛家古因明的代表人物世亲也说过“我立因三种相，是根本法，同类所摄，异类相离，是故立因成就不动。汝因不如是故汝难颠倒。”“是故立因成就不动”意为三相因是证宗的充足理由。我们谁也不会根据古因明大师的说法就断定古因明是演绎推理。古因明五分作法是类比推理是有定论的。陈那《门论》强调“生决定解”，法称虽然没有直接加以否定，但是他主张取消喻依，改造因三相和三支论式，实际上表示了对“生决定解”的疑问。总之，根据陈那本人所说“生决定解”来判定因三相是证宗的充足理由，判定三支作法是演绎推理是不足为训的。
2、同、异喻体并非真正的全称命题
主张陈那三支为演绎推理的另一个重要理由是，认为同、异喻体是反映无一例外的普遍命题，其形式是全称直言命题或者说外设命题，以此为前提就必然推出了结论，这是显而易见、毋庸置疑的。笔者认为，恰恰是在显而易见、毋庸置疑的地方有大谬存焉。新因明规定，同、异喻依不能是宗上有法，同喻依是除宗有法外的宗同品和因同品，异喻依也是除宗有法以外的宗异品和因异品。因此，同、异喻体是除外命题，其形式为“除Ｓ以外，凡Ｍ是Ｐ”，它和全称直言命题“凡Ｍ是Ｐ”是有差别的。
问题的关键在于，同品、异品必须除宗有法，这是陈那新因明体系的题中应有之义。如果将其修改就不再陈那的新因明，而应称为现代因明。
根据笔者的初步探讨，得出以下结论：因三相是保证三支作法的演绎论的必要条件，而不是充分条件，同喻满足因的第二相，异喻满足因的第三相，同异喻体不能互推因而不能缺一；异品若不除宗有法与新因明整个体系相矛盾；三支作法虽然避免了古因明无穷类比的缺陷，但新因明本身不过是最大限度的类比论证，若把同异品除宗有法表示出来，可以举例如下：
宗 张三有死，
因 因为是人，
同喻 (除张三以外)，凡人皆有死，如李四，
异喻 (除张三以外)，凡不死者皆非人，如石头。
一看就明白，这不是演绎论证，因喻符合因三相，但不能必然推出宗。
二、陈那三支没有改变类比推理的性质
1、增设喻体只避免了处处类比和无穷类推
陈那新因明三支与古因明五分作法的根本区别是，新因明在喻支增设了同喻体和异喻体，而将五分的喻例作为同喻依和异喻依。新因明增设同喻体的作用是避免了无穷类推，提高了类推的可靠程度。这在因明发展史上无疑是一个长足的进步。然而，由于喻体离真正的全称命题还有一步之遥，仍不能脱离类推的窠臼，真是差之毫厘，失之千里。
陈那在《门论》中就二喻即因的问题，与外道及古师有一连串的辩难。胜论派如古因明家在“声是无常”宗。“所作性故”因后以瓶、空为同、异喻，陈那批评说“与其因义都不相应”，“此说但应类所立义，无有功能”。《大疏》(卷三)对陈那的这一批评有详细的解释如下：
“若说瓶体，空体为喻，但应以瓶类于所立常之义；既喻不言诸所作者皆是无常，举瓶证声无有功能，其喻便非能立之义。由彼举因，但说所作法，举瓶类声无常，不说能立诸所作者及与所立皆是无常，故无功能，非能立义。又若以瓶即为喻体，瓶即四尘，可烧可见，声亦应尔。若我如说所作者皆是无常，譬如瓶等。所作既为宗正同法，无常随之亦决定转，举瓶喻依以显其事，便无一切皆相类失。汝既不然，故有其过。陈那又难：又因、喻别此有所立同法、异法，终不能显因与所立不相离性，是故但有类所立义，然无功能。”
这段话意思是说，古因明只以瓶为同喻，空为异喻，是没有证宗的功能，这样的喻由于没有说“诸所作者皆是无常”，便不足于成为证宗的理由(非能立义)。为什么呢？古因明只是依据两个事物有某一点相同，便推出它们在另一点上也相同，例如瓶与声都有所作性，而瓶还有无常性，便推出声也有无常性。假如这样的推理能成立的话，而瓶是四尘(四尘是由地、水、火、风四大种而造成的色、香、味、触四法)，瓶可烧也可见，则也可以推出声可烧、可见，如此岂不荒谬！反之，按照新因明所说，“诸所作者皆是无常，譬如瓶等”，便不会有将声与瓶处处类比的过失(便无一切皆相类失)。古因明的致命弱点是未能显示因与所立的不相离性。新因明在喻依之处增设喻体，确立了因法(宗正同法)与同品的不相离性，即因法与同品的普遍联系，从而增强了证宗的力量。
以上理论还不能说服古师，古师复问：“何故无能？”陈那答复说：“以同喻中不必宗法宗义相类。此复余譬所成立故，应成无穷。”
《大疏》解释说：
“既汝不言诸所作者皆是无常，故彼同喻不必以因宗法及无常宗义相类，但云如瓶，他若有问：瓶复如何无常？复言如灯，如是辗转应成无穷，是无能度。我若喻言诸所作者皆是无常，譬如瓶等，既以宗法，宗义相类。总遍一切瓶、灯等尽，不须更问，故非无穷，成有能也。”
意思是说，古师但以瓶为同喻，敌方倘再追问：“瓶又怎么会无常的呢？”立论者不懂得举出因法与所立法不相离的普遍原则，又举出灯作为类比的例证，要说明灯怎么会无常，又得举出另一实物来类比，势必陷于无穷类推。新因明的同喻体反映了除宗有法声以外的普遍原理，把一切瓶、灯等既是所作又是无常的相类物统统概括进去了，因此避免了无穷类推的弊病。在陈那看来，这才是正的能立。
陈那认为，喻由喻体和喻依组成，既避免了无穷类推的缺陷，又简别了瓶、声处处类比的毛病。由于喻体确立了说因宗必随逐的关系，无常以外可烧可见诸品类就可置而不论了。这就是《门论》所说“又不必定有诸品类”的意思。但是，陈那增设的同、异喻体的作用也仅此而已，它们还不是毫无例外的普通命题。
2、一步之差，咫尺天涯
陈那有二喻即因的观点。同、异喻体的命题结构必须满足因的第二、第三两相。既然第二相和第三相中的同品、异品都除宗有法，既然同喻依、异喻依也必须除宗有法，那么同、异喻体就不可能是毫无例外的全称命题。同、异喻体不是全称命题，三支作法的演绎性质就无从谈起。
根据同、异品除宗的规定，我们把因三相和三支的命题形式和推理形式表示出来，其非演绎论证就一目了然。
第一相：凡Ｓ是Ｍ
第二相：有Ｐ且非Ｓ是Ｍ
第三相：凡非Ｐ且非Ｓ是非Ｍ(凡非Ｐ且非Ｓ不是Ｍ)
按照陈那九句因、因三相，二喻即因的观点，同喻体和异喻体的形式为：
同喻体：凡Ｍ是Ｐ且非Ｓ
异喻体：凡非Ｐ且非Ｓ是非Ｍ
因支的命题形式是：凡Ｓ是Ｍ
宗的命题形式是：凡Ｓ是Ｐ
如果把异喻依和同喻依忽略不计(为了比较的方便)，并且颠倒三支的顺序，就有：
凡Ｍ是Ｐ且非Ｓ，
凡Ｓ是Ｍ，
所以凡Ｓ是Ｐ。
显然，这里有四名词，这不是一个三段论，如果硬要把它当三段论，则是个错误的三段论，其结论的得出是或然的。
同喻体“凡Ｍ是Ｐ且非Ｓ”相当于“除Ｓ以外，凡Ｍ是Ｐ”。同喻体为什么要加上“除Ｓ以外”呢？这里由因三相和二喻即因以及同喻依除宗有法规定的。
声是无常，
所作性故，
诸所作者见彼无常，如瓶，
诸是其常见非所作，如空。
如果把陈那关于同、异喻依除宗有法这一隐而不显的规定表示出来，则上例为：
声是无常
所作性故，
除声以外，诸所作者见彼无常，如瓶，
除声以外，诸是其常见非所作，如空。
3、同、异喻体不能互推
由于陈那三支的同、异喻体实际上是除外命题，而不是真正的全称命题，因此，陈那三支因明所运用的推理不是必然性推理，而是除宗以外最大限度的类比推理。
同、异喻体如果是真正的全称命题，那么根据逻辑直接推理中的换质换位法，同异喻体可以互推，据此，势必得出异喻体是可有可无的。这与陈那所说：“为要具二譬喻言词方成能立”的观点矛盾。陈那认为，只有同、异喻双陈，喻支才能算是完整的。《理门论》接着说：“若就正理应具说二，由是具足显示所立不离其因，以具显示同品定有、异品遍无，能正对治相违不定。”这是说同、异喻双陈，才能充分显示因和宗法的不相离关系，才能完全满足因的第二相同品定有性和第三相异品遍无性，才能正确地避免或纠正相违因过和不定因过。实际上，异喻体和异品遍无性的逻辑形式是一而二、二而一的，它们完全一致。九句因告诉我们，当异品遍无因时，同品与因的关系实际有三种可能情况：所有同品是因，所有同品不是因，有的同品是因并且有的同品不是因。如果异品遍无性即异喻体与同喻体等值，那么同喻体“所有因是同品”显然无第二种情况“所有同品不是因”矛盾。因此，同、异喻体不可能等值。
4、因三相带来两种违反逻辑的情形
按照因三相规则建立起来的因明三支没有必然联系，由因喻不能必然推出宗，这一逻辑的结论，是陈那始料不及的。陈那认为，遵守了因三相规则，该因就是正因，就能“生决定解”。《门论》在讲完二喻的少略问题后接着说：
“又比量中唯见此理，若所比处此相审定，于余同类念此定有，于彼无处念此遍无，是故由此生决定解。”
“比量中唯见此理”是说在一个比量中，因只有这三相，因贯宗、同、异喻。“若所比处此相审定”即指第一相，“于余同类念此定有”是第二相，“于彼无处念此遍无”，是第三相。“是故由此生决定解”是说满足了因三相，该比量便能由因、喻证成宗。陈那本人并没有把因三相当作正因的充足条件来论述，他还没有演绎的思想，他并没有意识到因三相只是必要条件而不是充分条件，且不说满足因三相的因还可能存在“相违决定”的过失，一个因虽然满足因三相，还可能出现两种违反逻辑的情况，一是将演绎推理中的等词推理排斥在外，二是它可以使诡辩得以成立，例如：
宗 水银是固体，
因 是金属故。
“是金属故”因满足因的三相。水银是金属，符合第一相遍是宗法性；除水银外，有固体是金属，符合第二相同品定有性；除水银外，符合第二相同品定有性；除水限外，凡非固体都不是金属，符合第三相异品遍无性。这个比量的同喻体“除水限以外，凡金属都是固体”也是成立的，但是，宗不正确。可见，当喻体反映的普遍原理也宗有法为唯一例外时，由因、喻推出的宗是错误的。当然，一旦这样的诡辩出现，因明还有补救办法，因明可以指出比量有“现量相违”宗过，使其不得成为真能立。尽管因明有补救一法，但是改变不了三支的非演绎性质。
陈那的因三相理论一方面纠正了古因明容易陷入无穷类推的不足，提高了类比推理的可靠程度；另一方面它又终究未能保证喻体成为真正的全称命题，只有量的扩大，而没有达到质的飞跃。可以说，因三相理论先天不足，它的后二相根据以果求因的原则提出来的。以果求因，就只能把宗有法排除在外。因的后二相尽管保证了除宗有法以外的一切具有因法的事物都具有所立法，与达到全称命题仅仅一步之遥，差之毫厘，却失之千里，真可谓咫尺天涯！
陈那的因明三支与逻辑三段论相比，前者的长处似乎是无循环论证之嫌，不是兜圈子，不足之处是未能最终跳出类比的窠臼，不能从推理形式上保证三支演绎论证。在陈那所处的时代，因明家还不明白西方逻辑的演绎论证。从《门论》中还看不出陈那把“生决定解”当作演绎论证。正如古因明师从瓶是所作，瓶是无常以及声是所作，推出声无常，他们在主观上认为“声是无常”宗得到了论证其实是没有得到论证一样，陈那在主观上也认为一个因符合因三相便“生决定解”，而其实只是必要条件，宗最终未得到证明。把“生决定解”与演绎论证等同只是今人的良好愿望。
三、梶山雄一教授主张三支作法非纯粹演绎法
1、同、异品除宗影响三支作法成为严格意义上的演绎推理
日本文学博士梶山雄一教授重视同、异品除宗有法对决定三支作法推理性质的重大影响，他主张在严格的意义上，三支作法不是纯粹的演绎法。他说：“结论的主辞，是讨论的对象，所以被排除在同类例和异类例之外。因此，在严格的意义上不能说，这个三支推论式是基于概念包摄关系的演绎推理。如果是纯粹的演绎法，像在陈那的推论式中那样把‘如瓶'、‘如虚空'的喻例附加在大前提上，就完全没有意义了。”
我们国内的因明研究者不重视同、异品除宗有法对推理性质的影响，不能不是严重的疏忽。陈那的三支作法是按照九句因和因三相构造起来，脱离开同、异品除宗有法的九句因和因三相来讨论三支作法的推理性质是不能想象的。
2、遍充理论的真正完成归功于法称
梶山雄一教授还指出：“陈那把喻例区分为作为具体例证的喻依和作为命题的喻体，并且重视后者。另一方面，看来他似乎具有了相当于中词和大词的包摄关系的遍充概念。总之，可以说他的三支推论式，是由于考虑到演绎法而来整理采用喻例的五支论证法的。遍充的理论是继承陈那的法称(Dharmakirti)完成的。”我以为梶山雄一教授的评论是恰当的。陈那“似乎”有了遍充概念，遍充理论的真正完成归功于法称。不正确评价陈那的逻辑思想，就难于理解佛家逻辑的进一步发展，就不能恰当评价法称对佛家逻辑的重大变革。
四、理查德教授论因三相不能保证宗命题为真
《陈那的逻辑》一文由台湾学者何建兴译自Richard P.Hayes所著《Dignaga on the Interpretation of Signs》一书第四章。该文作者谙熟因明的体系和现代逻辑，对九句因、因三相和陈那的逻辑体系发表了精到的见解。
1、确认不是证明
理查德对佛家认识论有一总的看法，认为佛家认识论采用的是经验科学推理，而不是数学与逻辑的严密论证。他说：“在描述陈那如何探究有关问题前，我想先说明，大部分佛家认识论的现代解释者们，偏好理解Sadhana为证明(proof)而非确认(confir-mation)。但谨慎的作者们通常仅在数学和逻辑的领域里才使用proof这个英文字，那些领域里的定理系由公理推衍出因而得视为是确然为真。但在日常实际的领域里，在经验科学中，几无任何科学是确然为真的，只能视为是与已知证据相一致而仍可能为未来的证据推翻。佛教认识论在其目标和方法上，都更接近法律和经验科学的实用推理，而非数学与逻辑的严密论证，因此借后来的术语来讨论并不恰当。”因此，他对陈那逻辑的研究，引入了现代逻辑学者Ajdukiewicz等人发展出的术语“假设”。他认为陈那的三支作法之所以称为确认而非论证，就因为推理过程中包含着假设。
2、后二相中同、异品亦须除宗有法
理查德对陈那的研究始终注意到同、异品除宗有法的问题。
他用梵文字母来表示宗的主、谓项和同、异品以及因等，和我们习惯上的用法不同。
他用Ｐ来表示宗的主项有法(梵文paksa)，用Ｓ来表示宗的谓项所立法(梵文sadhya-dharma)，用Ｈ来表示因法(梵文hetu)。
他用非ＰＳ表示同品，用非Ｐ非Ｓ表示异品。
他用连结和相离来陈述同品定有和异品遍无；
连结＝非ＰＨＳ大于零(同品定有)
相离＝非ＰＨ非Ｓ等于零(异品遍无)
他强调：“陈那使用‘连结'与‘相离'二词所指称的关系是彼此逻辑地独立的。即，这两个关系中的一个的成立与否，并不能使我人直接推定另一关系的成立与否。”他还指出，把它们等同这是法称逻辑的内容，用来理解陈那著作会造成很大的混淆。
3、二、八正因和因三相不能保证宗命题为真
他用ＰＨ大于零且Ｐ非Ｈ等于零表示因的第一相“遍是宗法性”。
一个因满足了因三相，能否确定宗命题“凡Ｐ是Ｓ”为真呢？他认为“必须给出否定性的回答”。他用图表法作出了清晰的说明(略)
理查德先生对该表解释如下：表中分八个区间。划上斜线的区间表示没有分子。区间１的斜线代表非ＰＨ非Ｓ等于零，这意味因法Ｈ和所立法Ｓ之否定构成了相离关系。区间２未划有斜线，意味非ＰＨＳ大于零。区间４未划斜线，意味ＰＨ非Ｓ大于零，因此ＰＨ大于零；而区间６与７都划有斜线，意味Ｐ非ＨＳ等于零及Ｐ非Ｈ非Ｓ等于零，而因此Ｐ非Ｈ等于零；汇合区间４、５、６与７，则见满足了遍是宗法性。整个图表显示，陈那提出的因三相都满足了。区间４、５、６与７构成了代表宗的主项有法的圆，由于区间４未划有斜线，可见，即使满足了因三相，我们仍不能确定“凡Ｐ是Ｓ”命题为真。
理查德先生认为，根据6-1可知，为了使因真正成为正因，我们必须做这样的假设：如果相离关系在归纳域(指异品)中成立，它也须在主体域(指宗有法)中成立。即是说，我们必须假定：如果非ＰＨ非Ｓ等于零(即区间１划有斜线，异品遍无)，则ＰＨ非Ｓ也等于零(区间４亦划有斜线，凡有因法的宗有法都是所立法)。如是才能使得“凡Ｐ是Ｓ”命题(如“凡声是无常”)为真。
理查德教授娴熟地运用现代逻辑的工作还了陈那新因明的本来面目。他无意粉饰陈那，他采取了实事求是的科学态度。
五、《<因明正理门论>的研究》的错误导向
1、修改古人决非古籍研究之所宜
《<因明正理门论>的研究》(后文简称《研究》)的作者由于有较高的数学和逻辑修养，所以能敏锐地发现按照陈那九句因、因三相规则不能保证宗命题为真，即从喻和因不能必然的推出宗，三支作法不是演绎推理。这本来是一个值得称道的了不起的发现。但是，令人十分遗憾又十分惊讶的是，该文作者跨入了真理的大门又莫明其妙地重返歧途，最终通向了谬误。《研究》不愿接受陈那三支非演绎的结论，反而置陈那固有的逻辑体系而不顾，仅凭陈那“生决定解”四个字，就轻易举地断定陈那三支作法为演绎推理。这个本来需要论证的论题被拿来当作现成的结论，并以此为出发点，去寻找陈那《门论》体系中的“矛盾”，不惜修改陈那因明体系中最重要的最基本的概念异品的定义。这种修改古人以适合自己的主观想法的研究方法，决非古籍整理之所宜。对这一错误导向，不能不加以乎说。
有的学者认为，该文“借助数理逻辑方法，成功地找到这样的‘同品'和‘异品'的新定义，从而提供一条可以了结千年议论不休的因明悬案的新途径，实现对《正理门论》体系的完整性的维护。”对这一评价，我不敢苟同。《研究》修改异品的定义，牵一发而动全身，其实是搞出了一个20世纪80年代的新因明体系，不仅把古人陈那的因明体系改造得面目全非，而且矛盾百出。
2、陈大齐教授论同、异品必须除宗
《研究》主张同品除宗有法，异品定义应加以修改，可以不除宗有法。这种观点片面理解了陈那因明作为论辩逻辑的特点。立敌对诤，同品除宗是对立方的约束，不允许循环论证；异品除宗则是对敌方的约束，也不允许敌方循环论证。同、异品同时除宗是对立敌双方对等的论辩规则，决不可以偏废。
陈大齐教授在本世纪４０年代就曾指出：“窃谓同品除宗，准因明理，实在其坚强正当之理由。立宗违他顺已，方为立敌所诤。立者立声为常，虽得以声为同品，敌者不许其常，方且以声为异品。故当立量之际，宗有法声，是自同他异品，非共同品。常与非常，犹未解决，为同为异，未臻共许，设立敌各凭已意摄入同异品，则是非将永无定论。如即前例而言，立取声为同品，其所闻因，同品有非有异品非有，应是正因。敌取声为异品，所闻性因，同品非有异品有非有，是相违因。一正一违，何所适从。敌同异品必须立敌所共，而后是非始得缘以决定。有法非共同导，理应同异双除。”
陈大齐教授在６０年代进一步发挥了异品必须除宗的思想。他说：“宗异品中亦须除宗有法。因为在举因证宗的时候，宗中有法不过是他异品，并不是共异品，故不能为共比量的宗异品。如立‘声是无常'宗，在敌者未了悟此一正理以前，声音亦只是自同他异品。此一他异品若不剔除，则任何正因都将失其为正因。因之遍是宗法，是立敌共许的。宗中有法若列入宗异品之中，便至少有一小部分的宗异为能立法所依转而不是异品遍无了。如立‘声是无常'宗，以‘所作性故'为因，声音之无一不具有所作性，是立敌共许的。今若以声音列入宗异品之中，则至少此一部分的宗异品是所作的。于是所作的不一定是无常，而所作性便无力证明无常性了。故宗异品若不除宗有法，将使敌者获得一种便利，只要取宗有法为例，即足以使立者的证明归于无效。不过如此返破，亦是一种循环论证。宗同品中既除宗有法以避免循环论证的弊病，宗异品中自亦应当同样剔除，以期论辩精确而公允。”
陈大齐教授对同、异品均须除宗有法定因明的特点有着深刻的理解，他清楚地揭示同、异品不除宗有法对论辩逻辑带来的弊病。首先，第五句因，立方说它是正因，敌方说它是相违似因，公说公有理，婆说婆有理，是非无以决断。其次，同、异品不除宗，任何量都不可能成为正能立。因为不管你立什么比量，敌方根本不用动脑筋，他只要拿宗有法当作异品，由于这宗有法满足第一相遍是宗法性，即宗有法有因，宗有法被当作异品，因此异品有因，异品遍无性这条不能满足。
可见，取消了异品除宗有法这一规定，就等于取消了陈那的新因明。
3、《研究》的错误导向
我们在第三章《同品、异品》中已经讨论了同品、异品的定义问题。从陈那《门论》的整个体系来看，陈那的同、异品概念，有两条规定，一是有无所立法，同品有，异品有；二是都必须除宗有法。第二条虽未明言，却是题中应有之义。《门论》在给同品、异品下定义前已经规定了同品有非有等必须“决定共许”，这实质上就说了必须除宗有法。因为同、异品除宗有法不仅是陈那因明中的题中应有之义，而且是从《正理经》到古因明的题中应有之义。《正理经》和古因明的五分作法中的同喻依、异喻依不能是宗有法，正是同、异品除宗有法的体现。同、异品除宗对法称以前一切新古因明家来说，是不言而喻、不言自明的道理。这是法称以前因明家的共识。
《研究》批评了两种定义，认为这两种定义都与《门论》基本理论矛盾。他把第一种归之于陈那，同、异品不除宗；第二种是一些因明家的，主张同、异品除宗。这是对陈那的严重歪曲，同时在唐疏作者与陈那之间无中生有地制造出了矛盾。
《研究》认为，第二种定义“使九句因中不存在正确的因，使‘九句因'失去意义。在这个定义下，即使满足因三相也不能保证宗(论题)正确，使‘因三相'失去意义。”
研究古人的著作切忌用自己的主观想法来代替古人，而应接古人的本来面目加以研究。
九句因、因三相是不是使宗为真的充分条件？三支作法是不是演绎推理？陈那本人没有说过，他也不懂等量充分条件、演绎推理的概念。九句因、因三相、三支作法具有什么性质，这正是我们要研究的问题，是我们要用逻辑的格加以衡量的问题。这一需要论证的论题被《研究》的作者(根本没有论证过)就事先当作了结论。再以这样的主观的结论作为标准来修改陈那的定义和体系，使之适合这一标准。在这个意义上我们说《研究》的导向是错误的。
按照我们上面的讨论，九句因、因三相不能使宗命题为真，它们是保证宗命题为真的必要条件，是必要条件仍有意义。古因明的因三相不能保证宗为真，但是没有人说它没有意义；新因明的因三相避免了古因明有无穷类推的弊病，提高了类推的可靠程度，这就是意义所在。同、异品除宗，并不与《门论》基本理论矛盾，而只是与《研究》作者的主观想法矛盾。
当我们仔仔细细来检查《研究》的异品新定义和由此建立起来的新体系时，便发现它捉襟见肘、破绽百出。如果说《研究》作者通过陈那九句因、因三相发现不能保证宗为真表现了较高的逻辑素养的话，那么在走入歧途，通过作出导品新定义来建立新体系时却未发现许许多多的盲点，其不合逻辑的思考又实在令人惊讶。
第一、异品不除宗的新定义从根本上就不可能成立。《研究》说：“我们寻找的同品、异品新定义，必须把论域分成三部分。前面已经把和所立法异类的事物(非Ｐ)定义为异品，在定义同品时，把和所立法同类的事物(Ｐ)再分为两部分：Ｐ并且Ｓ，Ｐ并且非Ｓ。如图6-2所示(略)。本文把Ｐ并且非Ｓ定义为同品。定义叙述如下：
“同品：宗有法(论题主词Ｓ)以外，和所立法(论题宾词Ｐ)同类的事物，即Ｐ并且非Ｓ。
异品：和所立法异类的事物，即非Ｐ。”《研究》用图6-3(略)表示。
这图6-2和图6-3很成问题。
Ｐ并且Ｓ是集与子集的交，等于Ｓ，即Ｐ∩Ｓ＝Ｓ，Ｓ既在同品之外，又在异品这外，这与新定义异品不除宗(Ｓ)即异品有Ｓ矛盾。换一个角度说，异品不除宗即异品中有Ｓ，Ｓ既在异品中，又在异品之外(Ｐ并且Ｓ＝Ｓ与非Ｐ不在一个区域，外延相斥)，导致矛盾。再换句话说，把Ｐ并且Ｓ＝Ｓ排除在非Ｐ之外，又回到了陈那的异品除宗有法。
第二，新定义使第五句因不可能存在。
《研究》说：“只须举一个例子，按照新定义，该例的因是第五句因就可以了，请看下例：
宗 (论题)：汞有金属光泽。
因 (理由)：是液在金属故。
按照新定义，
同品：汞以外，有金属光泽之物。
异品：没有金属光泽之物。”
我们认为既然新定义不除宗，则敌方理所当然地把汞归入导品之中，敌方本来就主张汞乃没有金属光泽之物，否则立宗有相符极成之过。汞既归入导品之中，则异品中有非有液态金属之因，故此例与第五句因同品非有、异品非有不符。第五句因的存在没有得到证明，九句因的完整性成为空谈。
第三、新定义没有证明第二相的独立性。
《研究》说：“要证明新定义下因的第二相不能被第一相、第三相代替，可以举出一个例子，该例中因第一相和第三相都正确，但第二相不正确。这就说明第一相、第三相的正确并不能保证第二相也不正确，第二相不能代替被取代。”《研究》仍用上例，并把因三相表述如下：
因的第一相：汞是液态金属
因的第二相：汞以外，有的液态金属有金属光泽
因的第三相：凡没有金属光泽之物都不是液态金属
前面我们已经说明，当敌方把汞作为异品时、异品有液态金属之因，故此例未满足第三相，第二相的独立性也就没有得到证明。
第四、根据新定义、第二、第八句因也不复存在，新的因三也推不出宗。
二、八句因对异品的要求是异品遍无因，前面说过，异品不除宗，异品遍无是句空话，因此，新定义使得二、八句因不复存在。第三相“所有异品都不是Ｍ”无一比量能够满足。新的因三相形同虚设。
综上所述，《研究》对陈那异品定义以至整个体系的修改是不切实际的，它不符合陈那时代因明家的实际思维水平。同品除宗，限制了立方，异品不除宗，偏袒敌方，这样的逻辑工具是不可能为各宗各派所接受的。因明是佛家逻辑，但因明作为思维工具其原理应为各宗派所遵守。在20世纪80年代演绎逻辑的观点来拔高陈那是不用花费力气、也不用承担什么风险，但在陈那时代，作为立论者轻易奉送敌方一种反驳自己的特权，这是不可想象的事。印度的逻辑水平的提高有它自身的历史进程，法称对陈那的修改是印度佛家逻辑的一大进步。比较陈那、法称的异同，确定他们各自的历史功绩，这是逻辑史工作者的责任。
六、类比推理的喻体也应是“一般的”全称命题吗？
1、类比推理不存在全称的前提
我在1989年全国藏汉因明学术讨论会上递交了《陈那新因明是演绎推理吗？》一文，从陈那新因明的整个体系出发，论证他的因明论辩逻辑的推理性质是最大限度的类比推理，从而修正了我自己曾经接受过的从本世纪以来因明学界至今还占统治地位的观点。在这篇文章的基础上我又撰写了《因明概论》一文，对陈那的因明思想重新作了评价。有篇文章对我的观点提出了异议。
该文说：“退一步说，即使承认三支式是类比推理，则其中的喻体也应是‘一般'的全称命题，而不能是‘特殊'的除外命题。这是因为，凡属类比推理，总是由两事物间已具备的某一共性，再去推知出新的共性。这种作为推理依据的共性，正是该两事物的‘类'一般。而如果不存在在这种‘一般'为中介，那么就根本不成为推理，而只是一种胡乱攀比而已。一般的类比推理没有举出这个‘一般'也仅是省略罢了”。可是，类比推理哪来省略了的一般呢？倘有省略的一般，也应是演绎推理。三段论第一格省略大前提(一般原理)的省略式，仍然是演绎推理。其实，姚文的所谓“一般”和中外形式逻辑教科书上的一般是不相同的，它是指两个相类比事物已知的共有属性。这的确是类比推理的出发点，但姚文忘了两类事物已知的共有属性正是类比推理的出发点，在类比推理中它没有省略，也不可能省略，省略了，就没有任何推理可言。但是仅有此共性还有不能保证不“胡乱攀比”，这一点在任何一本教科书上都有说明。
该文还说：“从亚里士多德起，全归纳的推理式就并不要求穷举全部归纳对象。”这篇文章还认认真真地列出了一个结论为全称的异喻体的归纳式，这个归纳推理是一个不完全归纳推理，又叫简单枚举归纳推理，其结论是或然的。不可靠。任何一本逻辑教科书都不会有完全归纳推理“并不要求穷举全部归纳对象”的观点。人们在简单或有限的事物上往往会在运用完全归纳推理以得到反映普遍原理的全称命题。但在科学研究中，人们往往运用不完全归纳推理。由于不完全归纳推理结论不可靠，人们便要运用典型归纳法，而这属于辩证逻辑的内容。对不完全归纳的较为深入的研究是在亚里士多德一千多年后的培根、弥尔作出的。在陈那的因明奠基作《门论》和其后集大成的量论著作《集量论》中，我们都没有发现怎样由个别推导出一般的任何研究。陈那只是规定了一个正因应该符合三个条件，至于怎样才能求得正因，怎样才能获得除外的命题或者普遍命题，他没有论述过。“应该怎样”与“怎样来的”，这是两个不同的问题。
2、自比量的同、异品也要除宗有法
此文抽象地肯定了同、异品必须除宗有法，似乎还补充了我的说法，但实际上又认为同品不除宗有法：“因的第三相把宗有法排除在外，也恰恰是把它潜在地归之于同品行列。如立：
声无常，
所作性故，
凡所作皆无常，如瓶。
凡非无常皆非所作，如虚空。
宗的主词声(有法)有没有无常的性质，这是立敌双方争论的对象，换句话说，声(宗有法)能不能成为无常的同品这是立敌双方需要争论的问题。而需要论证的对象被该文用“潜在地”三个字就轻而易法地当成了论证的理由。该文还说：“作为立者‘为自比量'的逻辑思维，则宗有法一定是属于同品的。否则就不必再立此量”。这里笔者不得不再从因明学最基本的概念讲起。《因明入正理论》说：“能立与能破及似，唯悟他；现量与比量及似，唯自悟。”前一句是指为他比量，即立者或破者用语言表达出论式用来开悟他人；后一句是指为自比量，即立者或破者自己建立论式的思维过程。二者是语言与思维即表达与被表达的关系，是统一的，区别只在于前者用来开悟他人，后者只是自悟。在《因明入正理论》中的为他比量和为自比量都是说的共比量。在立者自悟的思维过程中，在未举出正确的理由因和喻之前，宗未得到证明。可见，该文仍把需要论证的对象当成了论证的根据。因明有三种比量即共比量、他比量、自比量。也许该文把为自比量与三种比量中自比量混为一谈了。但即使在自比量中，同、异品也必须除宗有法，喻依不得列举宗有法。
本世纪以来因明界的普遍流行的观点是把陈那因明看作演绎推理。吕澂、虞愚、陈大齐先生等许多老一辈因明家都持此说，并深刻地影响着今天的因明界。
3、虞愚教授“从特殊到特殊”的本意
另外，我认为该文节录虞愚先生的话并认为虞愚先生早就主张陈那三支为类比推理，这样节录是不全面的，理解是不符合愿意的。虞愚先生几十年来多次引用吕澂的评语“至约至精”来评价陈那新因明，认为是一大革新。在虞愚先生三十年代出版的《因明学》一书中，第五章标题就是《因明与演绎逻辑》。他说：“因明三支式与三段论法，同为三部所组成，惟其次序略有不同，……因明‘喻体'等于三段论法之大前提，而喻依则 其所独有，此其不同者也。”80年代又多次论述三支作法为“蕴涵”关系的演绎推理，他说：“因明与演绎推理虽同为三部所组成，惟其次序略有不同。演绎推理的三段论法，先示大前提，次示小前提，后示结论，而因明三支先示立论宗旨，相当结论；次示立论所依据之理由，相当小前提；后举比喻以证宗。其喻体略当大前提，喻依则为其所独有，并含有归纳之意味，此其不同也。……可谓顺思想进行之自然程序。”又说：“中词的三个特征不仅说明命题本身的结构，并且说明命题与命题间的蕴涵关系。”通观虞愚先生的全文，他是在论述三支作法从特殊的命题即论题开始，再有一般的原理来推导出这特殊的论题。这才是虞愚先生“从特殊到特殊”的本意。虞愚先生几十年来对一些逻辑术语的用法和今天的逻辑教科书上的术语是不相同的。就在同一篇文章里他把因明之喻(相当于大前提即理由)称为论证，这和现在逻辑上把它称为论据是不同的。因此我们不要误以为虞愚先生把三支作法当成结论或然的类比推理。
陈那新因有体系是演绎推理，还是演绎与归纳的结合，或者既不是演绎推理，也不是演绎与归纳的结合，而仅仅是类比推理(根据其结论是或然的而看作归纳推理的一种)，这是因明与逻辑比较研究中带根本性的大问题。
根据以上的讨论，我们有充足的理由断定，陈那的三支作法非演绎推理，宗命题之真没有得到证明，在这个意义上我们认为三支作法仍是类比推理，属于归纳推理的一种。在三支作法之外没有什么归纳推理。不少论著都主张陈那三支作法是演绎与归纳的结合。归纳的表现有两条，一是喻支里有例证，例证就是归纳的前提或素材，二是因三相规则中同品定有性和异品遍无性就是两个归纳推理。两个理由都站不住脚。举一个实例就得到一个全称命题，这不仅没有抬高因明学的作用，反而把它贬低了。三段论第一格的规则之一是“大前提必须全称”，能不能说这一条规则本身就是一个归纳推理呢？当然不能，这只是对大前提提出要求，至于这个全称命题怎么来的，那是另外一个思维过程。同样的道理，不能说三支作法的规则“同品定有性”是不完全归纳，也不能说“异品遍无性”是完全归纳。因明作为论辩逻辑，双方都是根据现成的原理来论证论题的，并不存在每立一个比量都先来归纳一次的情形。事实上，无论古因明还是陈那新因明甚至法称的因明学说都没有对简单枚举归纳推理和完全归纳推理这两种思维形式作出过讨论。
七、喻体的语言形式逻辑形式
汉译同、异喻体的语言形式有两种：一是“若……见……”，二是“诸……见……”。
关于喻体的逻辑形式，有人认为是假言命题，批评玄奘翻译时随意改动为直言命题；有人认为是直言的全称肯定命题；有人认为可以是充分条件假言命题，也可以是直言的全称命题，因为二者可以转换；也有人认为喻体既不是充分条件假言命题，也不是直言命题，而是外设命题；我认为以上的不同观点有一个共同的特点，就是都把喻体看作全称命题反映了毫无例外的普遍原理，都不符合陈那三支喻体的逻辑本质，都没有认识到陈那的喻体与喻依有不可分割的联系，没有认识到它实际上是除上命题。
1、《人论》、《门论》汉译用语比较
先来讨论喻体的语言形式。新因明的代表作是陈那的《门论》，喻体的语言形式应以此论的梵文原本来依据。但是，《门论》梵本早佚，世上仅存玄奘的汉译本可供研究。在汉译本中，共有两处完整陈述了喻支。
第一处是举出真能立中的喻支实例：
“同法者，谓立声无常，勤勇无间所发性故，以诸勤勇无间所发皆见无常，犹如瓶等。异法者，谓诸有常住见非勤勇无间所发，如虚空等。”
同、异喻体的语言形式为“诸……见……”，其命题形式相当于“所有……是……”，即传统逻辑中直言的全称肯定命题。
第二处是在解释似喻时陈述的：
“同法喻言，诸无触对见彼皆常，如业，如极微，如瓶等。异法喻言，谓诸无常见有触对，如极微，如业，如虚空等。”
此处的同、异喻体的语言形式、逻辑形式与前一处完全一样。
《人论》的梵、汉、藏文本均存。《入论》汉译本虽亦出自玄奘之手，但是喻体的语言表述，在讲真似能立时却不同。在讲真能立时，《入论》的同、异喻体的语言形式为“若……，见……”。在讲似喻中的能立法不成和倒合的例子时，流文本又用了“诸……见”的语言形式。
为此，吕澂先生评论道：“这里说；‘诸所作者，皆是无常。'梵本、藏本都说：‘若是所作，见彼无常。'此论在前面能立那一部分里也是这样说的。看来，这是玄奘给改动了。玄奘为什么要做这样的改动呢？这是因为玄奘在翻译此论时，还不可能发现这两判断是不同的，所以在翻译时便随意作了改动。从形式逻辑观点看，‘诸所作者'是直方判断，‘诸是所作'则是假言判断。这两个判断在性质上还是不完全相同的。‘诸所作者，皆是无常'主要表明某事物是某种性质；‘若是所作，见彼无常'主要表明事物的条件与结果之间的关系。”
吕澂先生长于梵、汉、藏本的比较研究，他指出了在喻体的语言表示上汉译本与梵、藏本的差别，这对我们理解喻体的逻辑形式是有重要参考价值的。
由于陈那的梵本《门论》不存，陈那原文的喻体语言形式究竟是“若……，见……”还是“诸……见……”谁也无从查考。这就产生一个问题，商羯罗主有没有改动考师的语言表达方式呢？目前只能存疑。
玄奘是精通大小二论的。《入论》翻译在先，《门论》的翻译在两年之后。假如说玄奘在翻译《入论》时，对喻体的语言表达，在用词选择上有“若”有“诸”还不一致的话，那么，在《门论》译本中则归于一律了。因此，究竟是商羯罗主改动了陈那的语言表达方式，还是玄奘按照自己的理解，径直把《门论》的用词改动了，这无法判别。退一步着想，就算玄奘改动了二位先师的用词，能不能说他改动了喻体的命题形式呢？这才是问题的实质。让我们精确研究一下喻体的组成。
2、外设命题与充分条件假言命题、全称直方命题的关系
有人把三支的逻辑形式表达如下：
宗 凡Ｓ是Ｐ
因 凡Ｓ是Ｍ
喻 如Ｍ，则Ｐ，如Ｘ1，Ｘ2……
喻 如非Ｐ，则非Ｍ。如Ｘ1、Ｘ2……
这一符号表达式严格说是不够确切的。因为在宗支里面，Ｐ是能别法，是一个名词概念，在因支中，Ｍ表示因法，也是一个名词或概念。但是在喻中，“如Ｍ，则Ｐ”中的“Ｍ”、“Ｐ”算什么呢？若说喻体中的“Ｍ”、“Ｐ”是名词或概念，则与假言命题前后件应为命题不合；若说不是名词、概念，则又与宗支、因支中的Ｍ、Ｐ相龃龉。这一喻体表达式不可取，一是三支内部不一致，二是未能反映出喻体中前后两个命题的构成特点。再则，同、异喻依最好要用不同的字母来表示，才能显示它们二者间的差别。
我认为在不考虑喻依的情况下，同喻体的命题形式可以下二种中择一：
对于任何一个Ｘ来说，如果Ｘ是Ｍ，则Ｘ是Ｐ (１)
如果Ｓ是Ｍ，则Ｓ是Ｐ (２)
以“声是无常”宗，“所作性故”因为例，同喻体代入(１)、(２)后，分别为：
对于任何一个Ｘ来说，如果Ｘ是所作，则Ｘ是无常，如瓶等。 (３)
如果声是所作，则声是无常，如瓶等。 (４)
根据数理逻辑全称量词消去规则，从(１)可以推出(２)，从(３)可以推出(４)。
《入》原文“若是所作，见彼无常”的本来意义与(３)相符，(３)比(４)多了全称量词限定，它适合一定论域中的一切对象，具有一般性。
(２)和(４)是传统逻辑中的充分条件假言命题。(１)和(３)是西方逻辑史上所谓外设命题。一个外设命题可以推出一个前、后件主页(词)相同的充分条件假言命题。
需要注意的是，外设命题和前、后件主词相同的充分条件假言命题都只有三个名词。中国著名逻辑学家金岳霖先生指出：“仅有三名词的假言命题很容易变成表示名词关系的直言命题”。他举例说：“‘如果一个人是河北人，则他是中国人'，我们可以把它限制到狭义的表示，解作‘所有的河北人都是中国人'。这似乎毫无牵强的地方。”他还指出，“如果甲是乙，那么丙是丁”这样的具有四个名词的充分条件假言命题不容易变成表示名词的关系的直言命题。
“如果一个人是河北人，则他是中国人”是一个外设命题，它是对任何一个人而言的，金先生认为它就等值于“所有的河北人都是中国人”。同样，我们可以认为，“若所作者，见彼无常”也等值于“诸所作者皆见无常”，尽管它们的语言形式有所不同。
以上几种观点都把喻体当成毫无例外的普遍命题看待，没有本质的不同，都不符合陈那新因明的体系。
