因明立式的二轮推论法

因明立式的二轮推论法

──佛教逻辑於现代辩经上的应用

林崇安（2006.03）

∵∵∵∵∵∵

一、前言

今日的科学文章几乎都是采用演绎推论法来论述，此是相当於因明「立式」的推论方式，而不是「破式」或归谬的方式。运用因明「立式」来推导时，大小前提都要正确，结论才能正确。本文结合现代的思维方式，以实例来说明如何将佛教逻辑的因明立式应用在辩经的推论上。此处的二轮推论法，是对任一命题依次（第一轮）先成立小前提，而後（第二轮）成立大前提，最後并将衍生命题同样以二轮推论依次给予成立，如此在推导上不但层次分明而且完整，对初学者甚为方便。

二、因明立式与三段论法

∵因明论式在辩经的应用中，会出现二种基本的格式。第一种相当於西方形式逻辑中的定言三段论法，第二种相当於形式逻辑中的假言三段论法。因明论式与逻辑虽不等同，但用来比对说明，则甚为方便。以下先解说这二种基本格式。

（一）第一种格式的定言三段论法：

∵今举因明论式中，体性相属的一例子来说明：

∵「声音，应是无常，因为是所作性故。」

此论式可以分解为三段论法的三个命题：

大前提：凡所作性都是无常。

小前提：声音是所作性。

结论：声音是无常。

此中共有三词：声音是「小词」，所作性是「中词」，无常是「大词」。所以，一个完整的因明论式的结构是：「小词＋大词，中词故。」

因明术语：小词＝前陈＝有法。大词＝後陈＝所立法。中词＝因。结论＝小词＋大词＝宗。

∵规定：辩经过程中，当攻方（问方）提出「宗」来问时，守方（答方）只允许回答：「同意」或「为什麽」。当攻方提出由宗与因所构成的完整论式时，守方只允许回答下列三者之一：

（1）「同意」：守方认为该论式无误。

（2）「不遍」：守方认为大前提不正确。

（3）「因不成」：守方认为小前提不正确。

攻方接着依据守方的回答，再提出理由来成立大前提或小前提。

（二）第二种格式的假言三段论法：

∵今举因明论式中，缘生相属的例子：

∵「烟山，应有火，因为有烟故。」

这一论式，可分解为：

∵大命题：若有烟，则有火。（属假言命题）

∵小命题：烟山有烟。

∵结∵∵论：烟山有火。

又，如因明论式中体性相属的例子：

∵「凡所作性都是无常」，因为「所作性是无常的同义字」故。

这一论式，可分解为两个命题与一个结论：

∵大命题：若「所作性是无常的同义字」，则「凡所作性都是无常」。

∵小命题：所作性是无常的同义字。

∵结∵∵论：凡所作性都是无常。

守方此时同样有三种回答：若认为大命题有误就回答「不遍」；若认为小命题有误就回答「因不成」；若认为大小命题与结论都无误就回答「同意」。此处的大命题是逻辑上的「假言命题」：若P，则Q。此处的小命题P是一衍生出的新命题，此命题要正确，结论Q才能正确。

∵一般在引圣言量後，就容易形成此种假言命题。例如：

∵「色蕴，应是无常，因为经上说：『色无常』故。」

这一论式的假言三段论法为：

∵大命题：若「经上说：『色无常』」，则「色蕴，应是无常。」

∵小命题：经上说：「色无常。」

∵结∵∵论：色蕴，应是无常。

∵在以上这些严格的规范下，攻方便一个论式接一个论式徵询下去，守方则依据每一论式的正确与否，以上述中的一种小心回答。这种攻守的对辩规则，确保了因明论式的细腻推演。辩经的精神不是在输赢，而是在厘清观念，建立正确的知识。攻方是推导者，守方是检验者。犹如算数的运算，推导要细腻，检验要严格。

三、因明立式推论法的实例

∵

对每一命题的成立，攻方提出理由後，守方於第一轮可以一直检验小前提，而後於第二轮一直检验大前提，最後将此中的衍生命题（以符号＊标示）再给予同样的检验。以下举二实例以说明之。

（例一）

攻方：色蕴，应是存在吗？

守方：为什麽？

（基本命题）

1攻方：色蕴，应是存在，因为是无常故。

【第一轮：由守方检验小前提】

守方：因不成。

攻方：色蕴，应是无常，因为经上说：「色无常」故。

守方：同意。

1攻方：色蕴，应是存在，因为是无常故。因已许！

说明：此处因已许＝小前提已成立。

【第二轮：由守方检验大前提】

守方：〔凡是无常都是存在〕不遍。

攻方：应有遍，因为＊存在是无常等等的整体故。

守方：〔若存在是无常等等的整体，则凡是无常都是存在〕不遍。

攻方：应有遍，因为依据整体与部分的公设故。

守方：同意。

（衍生命题）

＊攻方：存在，应是无常等等的整体，因为与存在为一故。

守方：同意。

（结论）

1攻方：色蕴，应是存在，因为是无常故。因已许！周遍已许！

守方：同意。

（例二）

有人说：凡是颜色都是红色。

攻方：凡是颜色都是红色吗？∵

守方：同意。（此处明确示出守方的主张）

说明：接着，攻方找出诤由（有法、前陈）：如，黄花的颜色、绿芽的颜色等，是颜色而不是红色。於此攻方有二基本命题要成立：（1）黄花的颜色，应是颜色；（2）黄花的颜色，应不是红色。传统上，攻方於此先提出破式：「黄花的颜色，应是红色，因为是颜色故。」今则采用立式，包含上述二基本命题如下。

0攻方：凡是颜色不都是红色，因为黄花的颜色是颜色而不是红色故。

守方：前因不成。

（基本命题1）

1攻方：黄花的颜色应是颜色，因为是黄色故。

守方：因不成。【第一轮检验小前提】

a攻方：黄花的颜色应是黄色，因为与黄花的颜色为一故。

守方：因不成。

b攻方：黄花的颜色，应是与黄花的颜色为一，因为依据自身为∵∵∵∵一的公设故。

守方：同意。

攻方：黄花的颜色，应是黄色吗？

守方：同意。

1攻方：黄花的颜色，应是颜色，因为是黄色故。因已许！

守方：（凡是黄色遍是颜色）不遍。【第二轮检验大前提】

攻方：（凡是黄色遍是颜色）应有遍，因为＊颜色是黄色等等的整体故。

守方：（若颜色是黄色等的整体，则凡是黄色遍是颜色）不遍。

攻方：应有遍，因为依据整体与部分的公设故。

守方：同意。

a攻方：黄花的颜色应是黄色，因为与黄花的颜色为一故。因已许！

守方：（凡是与黄花的颜色为一，遍是黄色）不遍。

攻方：应有遍，因为依据自身为一的公设故。

守方：同意。

说明：以上第二轮中，尚未成立的是＊衍生命题，攻方接着可以用∵∵定义、引经、或收至自身为一的理由成立之：

（衍生命题）

1＊攻方：颜色应是黄色等等的整体，因为与颜色为一故。

守方：因不成。【先检验小前提】

攻方：颜色应与颜色为一，因为依据自身为一的公设故。

守方：同意。

1＊攻方：颜色应是黄色等等的整体，因为与颜色为一故。因已许！

守方：（凡与颜色为一，遍是黄色等等的整体）不遍。【次检验大前提】

攻方：应有遍，因为依据同义词的公设故。

守方：同意。

1＊攻方：颜色应是黄色等等的整体，因为与颜色为一故。因已许！周遍已许！

守方：同意。

（小结命题1：以上相关的大小前提都已检验完毕）

1攻方：黄花的颜色，应是颜色，因为是黄色故。因已许！周遍已许！

守方：同意。

0攻方：凡是颜色不都是红色，因为黄花的颜色是颜色而不是红色故。前因已许！

守方：後因不成。

（基本命题2）

〔2攻方：黄花的颜色，应不是红色，因为是黄色故。（给出立式）

守方：因不成。【第一轮检验小前提】

a攻方：黄花的颜色，应是黄色，因为与黄花的颜色为一故。

守方：因不成。

b攻方：黄花的颜色，应与黄花的颜色为一，因为依据自身为∵∵一的公设故。

守方：同意。〕（以上第一轮可省，於基本命题1中已成立故）

2攻方：黄花的颜色，应不是红色，因为是黄色故。因已许！

守方：（凡是黄色遍不是红色）不遍。【第二轮检验大前提】

攻方：（凡是黄色遍不是红色）应有遍，因为＊黄色与红色是相违故。

守方：（若黄色与红色相违，则凡是黄色遍不是红色）不遍。

攻方：应有遍，因为依据相违的公设故。

守方：同意。

（衍生命题）

2＊攻方：黄色应与红色是相违，因为与黄色为一故。

守方：因不成。【先检验小前提】

攻方：黄色应与黄色为一，因为依据自身为一的公设故。

守方：同意。

2＊攻方：黄色应与红色是相违，因为与黄色为一故。因已许！

守方：（若与黄色为一，则与红色是相违）不遍。【次检验大前提】

攻方：应有遍，因为依据相违的定义故。

守方：同意。

2＊攻方：黄色应与红色是相违，因为与黄色为一故。因已许！周遍已许！

守方：同意。

（小结命题2：以上相关的大小前提都已检验完毕）

2攻方：黄花的颜色，应不是红色，因为是黄色故。因已许！周遍已∵∵许！

守方：同意。

（总结命题1与2）

0攻方：凡是颜色不都是红色，因为黄花的颜色是颜色而不是红色故。因已许！

守方：同意。

攻方：完结！

一些讨论：

（1）以上的二轮推论，原则上守方对每一命题的小前提和大前提都要仔细地检验。成立大前提时，会出现「衍生命题」，一般而言这是较为基本的命题，因此於二轮检验完後，再针对「衍生命题」给予相同而扼要的检验。

（2）成立「衍生命题」时，应乾净俐落，归结到公设或经论上。若对名词的定义已有共识，守方即答以同意，如此推演容易；如果对定义、公设有异议时，可另辟「专题」来推论之，如此双方不会偏出主题，而能问答顺畅。

（3）守方是以检验者的角色来把关，因而对一再出现的相似命题的二轮检验，可以依据状况直接回答「同意」以省略步骤。但是若站在修行的训练立场，一再重复检验相似的命题，显现出来的是耐心、定力与智慧的结合。这种对真理的不断重复薰习、不断如理思维，也是佛法的一个特色，如此才易训练出紮实的「思所成慧」。

四、结语

以因明立式的二轮推论法，将任一命题依次先成立小前提而後成立大前提，最後将衍生命题同样依次给予成立，如此便於推导且不会有所遗漏。每一推导的终端是立足於公设或共识上，此中包含引经据典。本文先以「色蕴应是存在」为例说明立式的二轮推论法，而後举「黄花的颜色」来否证「凡是颜色，都是红色」的案例，来说明整个推演的过程。在旧式的辩经上，守方对每一论式可以机动回答「因不成」或「不遍」，因而攻方随之而调整其立式或破式，有其灵活性，但对初学者实属不易，若用上述因明立式的二轮推论法来推导，除了简易外，过程较为细密，并检验了每一命题的大小前提而没有遗漏，符合今日科学演绎推论法的精神。