《大英百科全书》“印度逻辑”辞条质疑，本文主要内容关键词为：大英百科全书论文,辞条论文,印度论文,逻辑论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。
中图分类号：B81-09 文献标识码：A
《大英百科全书·详卷》(The Encyclopedia Britannica)1982年英文本记载：“印度逻辑的发展由于其研究者没有使用变项，因而存在着严重的缺陷。其结果是，逻辑原则没有被直接陈述出来；他们必须有具备一定代表性的例子或后设语言，来加以描述性的说明。”①
我们认为关于“印度逻辑”这一辞条的陈述值得商榷。“印度逻辑是印度逻辑思想、理论的统称。世界三大传统逻辑体系之一。包括两个主要的流派：正理论与因明。正理即一般逻辑学，包括古正理和新正理。因明即是印度佛家逻辑，是在古正理的基础上建立起来的，包括古因明和新因明。正理和因明在各自的发展过程中保持了独立性。”②因为在《大英百科全书》中没有特别指出“印度逻辑”是指哪一部分，所以我们只有把“印度逻辑”当做是所有在印度产生、发展的逻辑的统称，应是一个全称的指代。这样，一旦找出印度历史上任意一个阶段产生的逻辑不符合对于“印度逻辑”的描述，这个描述就会被否定。而如果用“印度逻辑”来概括因明的话，那么就有以整体为部分的谬误之嫌。从定义角度看也是不相应相称的。“印度逻辑”在这里指代不清，不知是专指还是泛指。如果专指，则不知指哪部分。很明显，因明是印度逻辑的两个流派之一，而在因明中不仅使用了变项，而且其中的一些逻辑规则也被直接陈述出来。即使不考察正理论中有没有变项，逻辑规则是否被直接陈述出来，我们也可以说作为属概念的印度逻辑不仅使用了变项，而且其中的一些逻辑规则也被直接陈述出来。
一、印度逻辑有变项
所谓变项，即在一定的逻辑形式中用来表示某种具体思想的符号。世界三大逻辑体系在初期都曾经用自然语言做过变项，中国名辩学的变项多是使用代词中的指示代词，只是像“彼、此”等代词易于与自然语言相混，所以只能属于初级变项。没有使用西方符号不等于没有变项，和自然语言结合不等于没有形式。③
实际上印度逻辑（包括因明）中是有变项的，只是不像西方逻辑中那么明显罢了，或者说因明中的变项还是初级的。因明中“前陈、后陈”，“法、有法”，“‘说因宗所随，宗无因不有’中的‘因’和‘宗’”， “同品、异品”等等实际上都是变项。
因明虽然常使用具有一定代表性的例子，但是在具体的事例背后却蕴涵着一定的推理模式，通过抽象概括，我们就可以得到一般的理论，而且是有效的。可其中除了常项“如果……那么……”以外，应拥有变项。因为常项是和变项相辅相成、同时产生的，常项是相对变项而言的，因此，从这个角度讲，因明中也应该有变项。事实上，因明中的宗、因等都是可以代入任何符合它的事物的。法称把九句因变成四句，“检查因相的正确与否，以同品有、异品有，同品有、异品无，同品无、异品有，同品无、异品无四句料简即足，代替了九句因。凡此都是陈那《集量论》中或引而未发，或发而未尽，含有批评意味的独到之处，绝非止于解释原文而已。”④而且认为这四句已经足够了，不必用九句。我们可以以他的同品、异品所组成的四句因为例，即：同品有异品有，同品有异品无，同品无异品有，同品无异品无。
同品，一般认为是与宗的主项同类的事物，简单地理解就是具有宗后陈所示性质的事物，比如，“声是无常”，具有无常属性的事物都是同品，像瓶、盆、桌子等。同品，只是要求这些事物在某些属性上相同，并不要求在所有属性上都相同。如果都相同，那就没办法区别它们了。吕澂先生认为“具有与所立法有共通性而相似的那种法，才是同品。……如声是无常，瓶等也是无常，瓶可以作为同品，但声的无常是生灭无常，瓶等的无常则是成坏无常。声、瓶只在无常这一点上由共通性而相似。”⑤同品，就是也具有宗后陈这种属性的事物。在《因明论疏瑞源记》中，记录了关于同品的四种说法，文轨法师的《庄严疏》说，品是按体为标准判断的，主张除宗外的一切有法，凡是有法上有这宗所立的法就是同品，比如“声是无常”，除宗中的“声”以外，像色、味等只要是具有无常性的事物就是同品，比如说桌子、瓶子等。文轨法师就认为桌子是同品；而璧公认为，品是按义来判断的，义就是属性。他说，除宗外的一切法，凡是与宗上的法相似就是同品。也有人认为，要把体、义结合起来判断同品，认为除宗以外一切有法和法总起来叫做品，就是主张同品是个判断，比如“声是无常”为宗，那么“瓶是无常”是同品，因为“瓶无常”与“声无常”相似。窥基法师认为，除宗以外一切有法与法二者有不相离的关系，叫品，这有法与法不相离的关系与宗上有法与法的关系相似，就是同品，比如“声是无常”，有法“声”与法“无常”不相离，而“瓶”与“无常”也不相离，这种不相离的关系是相似的，所以“瓶无常”是同品。⑥
异品，就是某一事物，没有所立法的性质。简单地说，就是一切不具有宗后陈这种性质的事物，如立“声是无常”，那么“虚空”就是异品。因为在当时印度人的观念当中，虚空是自然存在的，不是人为的，是永恒存在的，绝无变化。那么，虚空就是“常”，而我们宗中所立的法是“无常”，虚空没有无常的性质，所以是异品。异品与同品是相对应的，所以关于异品的断定也有类似同品那样的分歧。
我们赞同窥基大师的说法。因为在因明当中，同品和异品是喻依在同喻和异喻中的称谓，都是喻体这一普遍命题得以成立的归纳前提，而这个普遍命题所陈述的联系恰恰就是要证明的宗前陈和宗后陈之间的普遍必然联系，也就是所说的不相离性。而且，在我们看来，这一不相离性也恰好就是因能够证明宗成立的主要依据。因此，我们认为同异品的划分标准，不能脱离开这一联系。如果按照前两种观点，就体现不出来这种不相离性，所以我们认为同品构成的判断则可以体现它。我们知道，“体”、“义”是不能分开的，当确定一个同品的同时，也就确定了一个与之相对应的判断，即同品对应于“瓶是无常”，而异品对应于“虚空是常”。
值得注意的是，因明中的同品、异品的划分与西方逻辑中概念的划分有所不同。西方逻辑中的划分，只强调划分对象在某一方面有相同的性质，比如白雪与白云就可以划为同类，因为都有白色这一相同的属性。西方逻辑中以这个标准划分是同类，以那个标准划分就可能不是同类。当然也不同于中国名辩中类的划分，中国名辩要求划分对象具有相同的本质属性。而因明中同品、异品的界定标准不是一个简单的属性，而是一种内在的联系。
因明是用自然语言来表述的，它没用数学的材料、手段和符号，而纯粹是以自然语言材料为筹码，发挥了极高的抽象力，创造了完整严密的理论系统。对逻辑变项和元逻辑变项，我们不能以是否用字母来表示做判定标准，而必须结合各个民族的特定的历史文化背景，特别是语言文字来加以考察，才能得出公允的结论。任何文化现象都是在特定的历史文化背景中出现的，对于变项的考察也不例外。西方逻辑史上，亚里士多德在以对象语言叙述三段论时，第一次用字母表示逻辑变项，而且著名的逻辑学家卢卡西维茨给予了很高的评价。众所周知，包括希腊语言在内的西方语言，都是拼音语言或表音语言，都是由代表各个语言的字母结合而成的符号语言。因此，对具体词项和命题进行逻辑抽象，用字母表示变项是极为自然的事情，这如同在他以前的希腊数学家用字母表示变项，从而使数学获得普遍性一样的自然。⑦
现在有人否定中国有逻辑也是根据这条理由，“中国逻辑（或中国名辩学）没有变项”。虽然我们曾多次撰文证明中国是有变项的，但还是没被广泛接受。其实玄奘在翻译因明三支时，也用了“彼”等代词做变项。他翻译的由宗、因、喻组成的三支论式是：“声是无常（宗），所作性故（因），若是所作，见彼无常（同喻体），如瓶（同喻依）”。这里因“所作性故”是承前省略了“声”，又因“同喻依”是归纳成分，我们暂时舍弃它，如果颠倒顺序即为：
1.若是所作，见彼无常
2.（声）是所作
3.声是无常
因为1是一个省略了全称量词的假言命题，又因为2、3都有“声”而1没有，如果从命题逻辑分析，则为：
这是充分条件假言推理的肯定前件式。我们从谓词逻辑层面做一精确的分析，“若是所作，见彼无常”不是一个“实质蕴涵”，而是带全称量词的“形式蕴涵”，即：
x（x是所作，则x无常）（即“诸所作，皆无常”），这是玄奘在译同喻体时的一种形式，另一种为假言形式。由此可见，形式蕴涵中的那个“彼”字，表示形式蕴涵中出现的那个x，它既是可用“声”代入者，又是被量化的对象，因此，无疑是现代逻辑的变项。⑧
值得注意的是，中国逻辑和因明一样是用自然语言来表述的，如果仅仅以是否用字母符号来作为判定是否有变项的唯一标志，那么中国逻辑就一定没有变项了。一则中国的表意文字中，没有这些字母，二则当时世界文化交流的可能性很小，先秦时的中国人连西方的字母符号看都没有看过，又怎么能用它们来表述中国人的思维形式、逻辑规律呢？再者，西方也用表序数的自然语言做过变项。在西方逻辑史的早期阶段中，自然语言不仅可以作为对象语言的变项来表示逻辑理论，特别是元逻辑理论（而中世纪逻辑继承了亚里士多德的以自然语言来表达逻辑规则的传统，用自然语言作为元语言，明确地提出了关于三段论的元逻辑规则），而且，即使是在现代逻辑中，通常也是用自然语言来表述元逻辑理论的。《墨子·小取》中就有“此与彼同类，世有彼而不自非也，墨者有此而非之。”比亚里士多德抽象化和形式化更高的斯多葛学派曾用第一、第二等序数词构成了模式或半模式，如：
如果第一，则第二，
第一，
所以，第二
或：如果是白天，则天是光亮的
第一，
所以，第二
西方的“第一”、“第二”与“彼”、“此”、“是”等，同是自然语言即同类，所不同的是一个是序数词，而另一个是指示代词。按现在的说法，“所谓变项，从语言方面来说，往往可以理解为没有固定含义的一个代词。”⑨而“彼”、“此”等指示代词正是代词，由此可见，它比序数词更有理由当变项，但为什么不非议“第一”、“第二”等是变项而要非议比西方序数词更有资格充当变项的中国的自然语言呢？
佛家有一个著名的哲学公式：
若此有则彼有，若此生则彼生；
若此无则彼无，若此灭则彼灭。⑩
我们认为，这里的“此”、“彼”应是印度的早期逻辑变项。但是，明确提出印度逻辑有变项的是巫白慧先生，他在《印度哲学》一书中指出：“‘因三相’是由逻辑常项‘遍是’、‘定有’、‘遍无’和逻辑变项‘宗有法’、‘因’、‘同品’、‘异品’组成的。陈那在因三相中使用逻辑变项，表明他成功地使因明在抽象化和理论化方面发展到一个相当的高度。陈那把因三相作为因明推理的基础，同时也把因三相作为检查推理正确与否的规则。因为一个推理，如果满足因三相，也一定满足三支论式的前提——由遍是宗法性可得因支、由异品遍无性可得异喻体、由异品遍无性换位可得同喻体、由同品定有性可保证同喻依的存在。值得注意的是，因三相已不是通过具体事例，而是离开具体事例来表述推理规则，因而具备了抽象性的普遍性。如上所说，因三相由三个逻辑常项（即‘遍是、定有、遍无’）和四个逻辑变项（即‘因、宗法、同品、异品’）组成。对于具体内容不同的推理，这些逻辑变项可以带入不同的内容，从而使因三相具有普遍适用的形式。从整体看，因三相是演绎的推理规则，但又不是纯粹的演绎推理规则，因为它还包含着类比残余。它的第二相‘同品定有性’（S以外有M是P）对纯粹的演绎推理来说是不必要的，但对因明来说是必不可少的。”(11)
因明和中国逻辑明明有变项，却偏要因为二者没用西方符号而加以否定，其症结就在于要用西方逻辑套这两个民族的逻辑，你没有用（或没有）西方的符号，你就没有变项；你没有三段论，你就没有演绎推理；就说你没有逻辑。
另外，我们曾撰文探讨的法称对真值表理论探索(12)，如果这一理论成立的话，“同品”、“异品”等就可变项。看来，《大英百科全书》中的“印度逻辑没有变项”说可休矣！
二、有逻辑规则被直接陈述出来
《大英百科全书》中有“其结果是逻辑原则没有被直接陈述出来”的表述，这句话是不准确的，理由有二：
1.因三相肯定是逻辑规则，而且是被直接陈述出来的，即玄奘所译的“遍是宗法性，同品定有性，异品遍无性”，它们是管三支论式的逻辑规则。虽然学界对于因三相第二相的表述仍然莫衷一是，但在将其看做是保证三支论式成立的逻辑规则这一点上已经取得共识。《因明正理门论》中，有“若所比处此相审定于余同类。念此定有。于彼无处念此遍无。是故由此生决定解”。即只要这三相“具足”，就可以得出确定的结论。
2.“说因宗所随”、“宗无因不有”是因明中的一条重要的推理规则。因明宗中的主谓项位置不可变，但是其内容是可以变化的，只要符合规则。 “说因宗所随，宗无因不有”，就可以证成宗。实际上这一规则可以理解成一个假言命题推理，前一句是充分条件假言推理肯定前件式，后一句是充分条件假言推理否定后件式，前件和后件同样是可以变化的。“说因宗所随”用公式表示就是(B(x，p)∧B(x，p→q))→B(x，q)，B代表相信，x代表人，而“宗无因不有”是(B(x，p)∧B(x，┓q→┓p))→B(x，q)。我们可以看出，“说因宗所随，宗无因不有”实际上是假言易位，二者是等值的。我们认为它与现代逻辑中的一条最重要的“分离规则”有异曲同工之效。从逻辑的角度看，它的作用要比因三相更重要。“说因宗所随”就是“合作法”，而“宗无因不有”是“离作法”。(13)
从上述两个方面看，《大英百科全书》关于“印度逻辑”的这一辞条的表达或陈述是不严密的。
注释：
①《大英百科全书·详卷》(The Encyclopedia Britannica)，1982年英文本，第11卷，第63页。
②彭漪涟、马钦荣：《逻辑学大辞典》，上海辞书出版社2004年版，第238页。
③张忠义、季冠芳：《试谈中国名辩学的变项与常项》，《哲学与文化》1999年，第556页。
④法称：《释量论》，法尊法师译，中国佛教协会1981年印，杨化群序第4页。
⑤吕澂：《因明入正理论讲解》，中华书局1983年版，第13页。
⑥［日］释凤潭：《因明论疏瑞源记》，智者出版社2002年版，第175-178页。
⑦张忠义、季冠芳：《试谈中国名辩学的变项与常项》，《哲学与文化》1999年，第561页。
⑧同上书，第560页。
⑨诸葛殷同等：《形式逻辑原理》，人民出版社1982年版，第74页。
⑩《增支部经典》（《增一阿含》），Anguttara-Niākya,V.p.184。
(11)巫白慧：《印度哲学》，东方出版社2000年版，第415页。
(12)张忠义：《法称关于命题真值表的理论探索》，《世界哲学》2007年第4期，第33-37页。
(13)张忠义：《因明的“合离”与分离规则》，《社会科学战线》1992年第3期，第43页。