1.3 现代逻辑方法及其在陈那因明研究中的优势

自西方逻辑（包括现代逻辑）引入到因明研究起，大体有三种声音：第一类是欢迎、乐观的态度，由这套新方法非常成熟、成果丰硕且应用广泛，从而坚信其在因明上必有一番作为。这从一个事实便可说明，即近代以来，西方逻辑已成为因明研究的主要方法。第二类是将其视为洪水猛兽而予以盲目地拒绝，持此态度的学者在学界占少数。第三类是抱着谨慎的态度，既不主张盲目拒绝，也不主张盲目乐观接受。其主要的依据是因明与西方逻辑是两种不同形态的学问，因明中不全是逻辑，如一味将因明改造成纯形式的推演则将失去因明本身的特色。1对研究方法持谨慎态度是安全的，也是可取的。具体应注意两个方面，便可放心大胆地引用西方逻辑这一研究方法：

首先，要注意内容、对象与方法、工具的区别。因明是我们研究的对象，现代逻辑是我们引进来研究因明的视角、方法、工具，这种关系不能模糊，更不能本末倒置。定位的问题至关重要，能否摆好位置、定好位，直接决定了因明研究的方向正确与否。西方逻辑是工具、方法，帮助我们更好地理解因明，而不是将因明改造成某种西方逻辑。如此明确定位以后，就不用担心引入西方逻辑这一研究方法了。

其次，要注意因明的独特性。因明是一门至少包含认识论、论辩、逻辑甚至心理学等等众多领域的学问。例如当我们运用西方逻辑来理解、整理、研究因明的认识论时，就不得不注意到其与大乘瑜伽行派的认识论的渊源，就不得不关注到它的预设，即“一切唯识”，这与西方逻辑的预设是不同的。西方逻辑是建立在客观世界与主观世界二分法的基础上，并认为二者之间存在某种对应关系，这种关系在逻辑上是用“真、假”，即“真值”概念来讨论的。西方逻辑关注的语句是那些具有真假值的语句，即“命题”，并在此基础上进行推理、构建系统。这是在研究时必须要注意的，不能理所当然地运用，全然不顾及二者各自的预设。再比如，运用欧拉图方法来理解九句因理论时，要注意到欧拉图使用的一个预设是概念不能是空概念，即概念必须有外延。但是因明的因法是可以为空概念。如果没有注意到这一点，则容易得到八句因，而不是九句因。

接下来，我们就来简要谈谈陈那因明为什么可以而且很有必要引入西方逻辑这一研究方法。

首先，从陈那因明本身来说，其本身具有较为完整的逻辑思想，而且与西方逻辑研究所确立的基本范式具有相似性。例如，陈那改革因明的初衷及其工作就是立规范，企图给出一套一般性的规范。又如我们在《瑜伽师地论》中发现了对句子结构分析的痕迹，这为陈那所直接继承。在陈那的重要著作《门论》2中，陈那一方面大量运用句子结构分析来解决问题；另一方面定义宗法、所立法、同品、异品等诸多抽象概念，并用其来讨论问题、解决问题。再者，九句因理论、因三相理论既是讨论概念间的关系，又是在谈基于抽象概念的推理。这种讨论问题的方式以及解决问题的思路与西方逻辑的路径之间是何其的相似。我们且先不论它们在历史上是否有过某种交流，但是至少我们在引用西方逻辑这一研究方法上是可行的，也是明智的。

其次，西方逻辑具有其独特的研究优势。3西方逻辑，从亚里士多德的形式逻辑发展到现代逻辑，已经蔚然壮观。这一学科以探究形式、结构、推理等的规律、一般性和普遍性为研究对象。正是因为它是抛开具体内容的，仅在形式、结构上研究关系、推理的，所以西方逻辑又成了一门方法性的、工具性的学科，被广泛应用于其他学科。其优势集中表现在形式化手段上。它用无歧义的符号体系来表示人的思想。思想的结构、关系、推理就转换成了语句的结构、关系、推理。在这个符号体系中，复杂的概念被分析成一些简单的概念，概念与概念之间的关系就成了符号与符号之间的机械的关系，推理的进程就成了符号的演算进程。4形式化手段包括符号化、形式系统和形式语义。所谓符号化就是根据人工规定的语法规则来使用人工语言。其好处是能有效地消除自然语言中歧义、随意等现象，提高语言的逻辑表达力，并可成为研究各门学科中形式、结构、推理的一般性的“通用语言”。这在逻辑史上，乃至人类思想史上都是具有划时代的进步意义。“这一点从现代逻辑本身的成就就足以充分显示这种人工语言的巨大作用。”5从内容上看，形式语言至少涉及语形和语义两方面内容，前者属于语法学的研究范畴，通过已给的形式语言，建立形式化的系统，并由其推出有效式；后者属于语义学的研究范畴，对形式语言进行严格语义解释，给出模型，建立严格的有效性概念，以此找出全体有效式。因此，形式化的基本工作就是符号化，并建立形式系统，或者给出形式语义，建立模型。

1 霍韬晦：《佛家逻辑研究》，高雄：佛光出版社，1979年，第14页。

2 《门论》是《因明正理门论》的简称，本书皆以此简称行文。

3 佚名：《现代逻辑发展史》，《哲学园》2014年10月26日。

4 这一“通用语言”的设想最先由17世纪的莱布尼茨提出。

5 周昌忠：《现代逻辑方法的意义》，《社会科学》1985年第8期。