因明与辩经文集：佛教逻辑在中文辩经上的运用--因明论式的公设及其推演

返回目录

因明与辩经文集：佛教逻辑在中文辩经上的运用--因明论式的公设及其推演

 

　　林崇安教授

　　台湾‧中央大学太空科学研究所

　　(发表于首届国际因明学术研讨会，2006年 6月15日至16日，杭州)

　　论文摘要：

　　藏传因明学经过历代藏人的钻研，有其进一步的发展(1150年起)，特别是运用因明的论式来辩论哲理，在一问一答中，将佛法的深意剖析入微。汉地的因明虽经唐玄奘的努力传译，但却难以传开，主要是未能将因明论式应用于实际之论辩。本文参考藏传辩经的格式，结合现代科学的推理方式，以实例来说明如何将佛教逻辑的因明立式以二轮推论法应用在中文的辩经上，并厘清相关的公设或共识。文中指出，因明论式在辩经的应用中，有二种基本的论式，第一种相当于西方形式逻辑中的定言三段论法，第二种相当于形式逻辑中的假言三段论法。整个辩经的过程，类同数学上的「解题」，先要有基本定理或公设，而后在规范下进行推理，可概分为「证明题」和「测验题」。辩经中的证明题是以二轮推论法来对任一命题依次先成立小前提(第一轮)，而后成立大前提(第二轮)，最后并将衍生命题同样以二轮推论依次给予成立，推导时层次分明，便于初学者之学习。熟习后步入进阶的「测验题」，以机动的问答掌握正确的见解。本文最后归结出因明辩经中的常见问答格式，兼及藏式辩经和立式辩经的比较，并对「破式」略作说明。

　　一、前言

　　释尊成佛后，为了度化大众，常常先以理服人，而后导之以实践，因而有「亲近善士、听闻正法、如理作意、法随法行」的修学次第。此中如何如理作意呢？这就有赖于因明或逻辑思维的运用。释尊本身善于应用逻辑的「立式」与「破式」来说理。佛灭后演化出的部派佛教，为了厘清义理，非常重视逻辑的推理，从约于公元50年编集的《大毗婆沙论》中，即可看出端倪。龙树菩萨(150-250AD)和无著菩萨(310-390AD)也都善于思辩，其后陈那(480AD)所着的《集量论》和法称(560AD)所着的《释量论》成为佛教最重要的因明要典。这些相关的因明论典大量传译到藏地后，经过历代藏人的钻研，而有进一步的发展，在一问一答的辩经中，将佛法的深意剖析入微。因明辩经就像下棋，在游戏规则下，愈下就愈精。在今日科学理性的时代，若能善用因明，以中文辩经来提升汉地佛法的义理，并破除迷信，实有其正面的意义。今日的科学文章几乎都是采用演绎推论法来论述，这种论述相当于因明中的「立式」推论方式，而不是「破式」或归谬的方式，这是由于「立式」易于被理解和吸收。二轮推论法，便是运用「立式」对任一命题依次先成立小前提(第一轮)，而后成立大前提(第二轮)，最后并将衍生命题同样以二轮推论依次给予成立，如此在推导上不但层次分明而且完整，对初学者甚为方便。辩经时，攻方是推导者，守方是检验者，双方在一定的问答规范下，进行因明论式的推演，推演要细腻，问答要顺畅，犹如数学证明题或检验题的演算，推导要仔细，检验要严格。至于辩经的精神，则是在厘清观念，建立正确的知识，而不是在于输赢。掌握这些要点后，以下先分析因明论式的结构与问答规范，接着厘清因明辩经中的公设或共识，而后举例说明如何应用因明论式来辩经和推理。

　　二、因明论式的分析与问答规范

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

　　(一)第一种论式的定言三段论法

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

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

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

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

　　小前提：声音是所作性。

　　结论：声音是无常。

　　此中共有三词：声音是「小词」，所作性是「中词」，无常是「大词」。因明术语：前陈＝有法＝小词。后陈＝所立法＝大词。因＝中词。宗＝结论＝小词＋大词。所以，一个完整的因明论式的结构是：「小词＋大词，中词故。」此中并以「应是」、「因为是」来隔开这三词。此例在藏式的传统辩经所列的论式是「声音有法，无常者，所作性故」，此中以「有法」、「者或破thal」来隔开这三词，但是用于中文辩经时，以「应是」、「因为是」来隔开会显得流畅而自然(有时用「应有」、「因为有」)。

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

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

　　(2)「因不成」：守方认为小前提不正确。

　　(3)「不遍」：守方认为大前提不正确。

　　攻方接着依据守方的回答，再提出理由来成立大前提或小前提。守方认为有例外而回答「不遍」时，攻方一般再给出「因」以成立之，但有时可以直接要求守方：「请举例(外)」，而后攻方以「此例外」作为前陈(有法＝小词)，立出论式继续质询下去。

　　(二)第二种论式的假言三段论法

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

　　 烟山，应有火，因为有烟故。

　　这一论式，可分解为：

　　 大命题：若有烟，则有火。(属假言命题)

　　 小命题：烟山有烟。

　　 结  论：烟山有火。

　　又如，因明辩经中出现的论式：

　　 (凡所作性都是无常)应有遍，因为所作性是无常的同义词故。

　　此论式即：

　　 凡所作性遍是无常，因为所作性是无常的同义词故。

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

　　 大命题：若所作性是无常的同义词，则凡所作性遍是无常。

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

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

　　辩经中的问答规范仿前，守方此时同样有三种回答：(1)若认为小命题有误就回答「因不成」；(2)若认为大命题有误就回答「不遍」；(3)若认为大小命题与结论都无误就回答「同意」。此处的大命题是逻辑上的「假言命题」：若P，则Q。此处的小命题P是一衍生出的新命题，此命题要正确，结论Q才能正确。一般在引圣言量后，就容易形成此种假言命题。例如：

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

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

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

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

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

　　攻方引经据典(圣言量)做理由时，守方只能答：「同意」或「不遍」，而不能答「因不成」。「不遍」表示所引的经论之义，不同于攻方所要成立的论题之义，此时攻方要接下去成立之，双方继续问答。

　　三、因明辩经中的公设

　　在推演过程中，攻方和守方都需遵循「框内」的公设与共识(遵守游戏规则)，就如数学推导时，必先有其公理、定理。因明辩经时为了成立小前提和大前提也有相关的公设。

　　(一)有关小前提的公设

　　检验小前提的正确与否，要掌握「小词」与「中词」的大小范围。针对小前提的成立，此中有一基本公设或共识：

　　自身为一的公设：任何一法都是自身与自身为一。

　　(二)有关大前提的公设

　　检验大前提的周遍与否，要掌握「大词」与「中词」的大小范围。这二词之间的关系可归纳为四种体性关系与一种因果缘生关系，并有基本公设如下：

　　(1)A与B范围相等：

　　定义的公设：A是名标B的定义，则凡A是B；凡B是A。

　　 同义词的公设：A是B的同义词，则凡A是B；凡B是A。

　　(2)部分A(子集合)与整体B(母集合)：

　　 部分的公设：A是整体B的部分，则凡A是B。

　　(3)A与B是相违，互不遍(全无交集)：

　　 相违的公设：A与B相违，则凡A不是B；凡B不是A。

　　(4)A与B是部分重叠(部分交集)，则A不遍是B，B不遍是A。

　　(5)若B与A是果与因的缘生相属，则有果必有因：

　　 缘生相属的公设：B是A的果，则若有B则有A。

　　在藏式的传统辩经中，对上述这些公设未详述，常以「补特伽罗无我」或「无我」回答。在下面的中文辩经中则指明是依据哪一公设，以符求证的精神。

　　(三)圣言量的公设

　　佛法的印度经论、自宗祖师之言为「圣言量」，这些是基本公设。

　　佛法的一个核心圣言量是「无我」，此公设为佛弟子所共许。佛法的不同宗派各有其祖师的重要论着，各派视为各自之「圣言量」。今日许多科学事实和权威的论着可视为「圣言量」。

　　四、证明题的实例

　　

　　 依据上述辩经的严格规范以及基本公设和共识，辩经的双方便可以开始以佛法的任一主题进行辩论，例如，存有、五蕴、六处、缘起、四谛等。在规范下，攻方一个论式接一个论式征询下去，守方则依据每一论式的正确与否，小心回答，此中的每一个论式都可以转成三段论法来分析其对错。这种攻守的对辩过程，犹如算数的运算，推导要细腻，检验要严格，如此双方都能厘清观念，获得知识的增长。辩经时，攻方和守方都需遵循「框内」的公设与共识(遵守游戏规则)。辩经的推导，基本上可分成「证明题」与「测验题」二类。证明题是以二轮推论法来证明一命题：当攻方提出基本命题后，守方于第一轮检验小前提，而后于第二轮检验大前提，最后将此中的衍生命题(以符号＊标示)再给予检验。以下先举一有关「存有」的实例作说明。

　　【实例】有人说：凡是无常，都是知觉。

　　攻方：凡是无常，都是知觉吗？

　　守方：同意。(要先确立守方的立场)

　　0攻方：凡是无常不都是知觉，因为声是无常而不是知觉故。

　　说明：此处攻方找出诤由(有法、前陈)：如，声。攻方的因含有前后二命题要成立：(1)声是无常；(2)声不是知觉。

　　守方：前因不成。

　　1攻方：声，应是无常，因为是所作性故。

　　守方：因不成。(第一轮检验小前提)

　　a攻方：声，应是所作性，因为是已生的法故。

　　守方：因不成。

　　b攻方：声，应是已生的法，因为是色蕴故。

　　守方：因不成。

　　c攻方：声，应是色蕴，因为是色蕴中的声故。

　　守方：因不成。

　　d攻方：声，应是色蕴中的声，因为与声为一故。

　　守方：因不成。

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

　　守方：同意。

　　(总计同意)

　　d攻方：声，应是色蕴中的声吗？

　　守方：同意。

　　c攻方：声，应是色蕴吗？

　　守方：同意。

　　b攻方：声，应是已生的法吗？

　　守方：同意。

　　a攻方：声，应是所作性吗？

　　守方：同意。(以上成立第一轮小前提)

　　1攻方：声，应是无常，因为是所作性故。因已许！

　　 说明：因已许，指守方已同意此小前提。

　　守方：不遍。(第二轮检验大前提)

　　攻方：〔凡是所作性，都是无常〕应有遍，因为＊所作性是无常的同义词故。

　　守方：不遍。

　　攻方：〔若所作性是无常的同义词，则凡是所作性，都是无常〕应有遍，因为依据同义词的公设故。

　　守方：同意。

　　a攻方：声，应是所作性，因为是已生的法故。因已许！

　　守方：不遍。

　　攻方：〔凡是已生的法，都是所作性〕应有遍，因为＊已生的法是所作性的定义故。

　　守方：不遍。

　　攻方：〔若已生的法是所作性的定义，则凡是已生的法，都是所作性〕应有遍，因为依据定义的公设故。

　　守方：同意。

　　b攻方：声，应是已生的法，因为是色蕴故。因已许！

　　守方：不遍。

　　攻方：〔凡是色蕴，都是已生的法〕应有遍，因为＊色蕴是已生的法的部分故。 

　　守方：不遍。

　　攻方：〔若色蕴是已生的法的部分，则凡是色蕴，都是已生的法〕应有遍，因为依据部分的公设故。

　　守方：同意。

　　c攻方：声，应是色蕴，因为是色蕴中的声故。因已许！

　　守方：不遍。

　　攻方：〔凡是色蕴中的声，都是色蕴〕应有遍，因为＊声是色蕴的部分故。

　　守方：不遍。

　　攻方：〔若声是色蕴的部分，则凡是色蕴中的声，都是色蕴〕应有遍，因为依据部分的公设故。

　　守方：同意。

　　d攻方：声，应是色蕴中的声，因为与声为一故。因已许！

　　守方：不遍。

　　攻方：〔凡与声为一，都是色蕴中的声〕应有遍，因为依据同义词的公设故。

　　守方：同意。

　　(成立＊衍生命题)

　　1＊攻方：所作性应是无常的同义词，因为《佛法》说：无常与所作性是同义词故。

　　守方：同意。

　　a＊攻方：已生的法应是所作性的定义，因为《佛法》说：所作性的定义是已生的法故。

　　守方：同意。

　　b＊攻方：色蕴应是已生的法的部分，因为是已生的法中的色蕴故。

　　守方：因不成。

　　攻方：色蕴应是已生的法中的色蕴，因为与色蕴为一故。

　　守方：因不成。

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

　　守方：同意。

　　攻方：色蕴应是已生的法的部分吗？

　　守方：同意。

　　c＊攻方：声应是色蕴的部分，因为是色蕴的部分中的外色故。

　　守方：因不成。

　　攻方：声应是色蕴的部分中的外色，因为是外色中的声故。

　　守方：因不成。

　　攻方：声应是外色中的声，因为与声为一故。

　　守方：因不成。

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

　　守方：同意。

　　攻方：声应是色蕴的部分吗？

　　守方：同意。(以上成立＊衍生命题)

　　(总计同意)

　　d攻方：凡与声为一，都是色蕴中的声吗？

　　守方：同意。

　　c攻方：凡是色蕴中的声，都是色蕴吗？

　　守方：同意。

　　b攻方：凡是色蕴，都是已生的法吗？

　　守方：同意。

　　a攻方：凡是已生的法，都是所作性吗？

　　守方：同意。

　　1攻方：凡是所作性，都是无常吗？

　　守方：同意。(以上成立第二轮大前提)

　　1攻方：声，应是无常，因为是所作性故。因已许！周遍已许！

　　 说明：周遍已许，指守方已同意此大前提。

　　守方：同意。(以上是前一个命题的二轮推论，下仿此)

　　0攻方：凡是无常不都是知觉，因为声是无常而不是知觉故。前因已许！

　　守方：后因不成。

　　2攻方：声，应不是知觉，因为是色蕴故。因已许！

　　守方：不遍。(第一轮前已成立，今检验第二轮)

　　攻方：〔凡是色蕴，都不是知觉〕应有遍，因为＊色蕴是与知觉相违故。

　　守方：不遍。

　　攻方：〔若色蕴与知觉是相违，则凡是色蕴，都不是知觉〕应有遍，因为依据相违的公设故。

　　守方：同意。

　　(成立＊衍生命题)

　　2＊攻方：色蕴，应是与知觉相违(的法)，因为是与知觉相违的色蕴故。

　　守方：因不成。

　　攻方：色蕴，应是与知觉相违的色蕴，因为与色蕴为一故。

　　守方：因不成。

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

　　守方：同意。

　　攻方：色蕴，应是与知觉相违吗？

　　守方：同意。(以上成立＊衍生命题)

　　(总计同意)

　　2攻方：凡是色蕴，都不是知觉吗？

　　守方：同意。(以上成立第二轮大前提)

　　2攻方：声，应不是知觉，因为是色蕴故。因已许！周遍已许！

　　守方：同意。(以上完成后一个命题的二轮推论)

　　(总结)

　　0攻方：凡是无常不都是知觉，因为声是无常而不是知觉故。因已许！

　　守方：同意。

　　攻方：完结！

　　 上述的实例是以二轮推论法仔细地推算每一基本命题的小前提和大前提；成立大前提时，会出现「衍生命题」。对「衍生命题」也要给予检验(仔细时也要二轮推论)，以上这种推算或证明的过程虽嫌琐细，但是却符合今日数理科学的求证精神。此中也可以看到，为了成立自己的见解也必须引经据典，熟悉义理，因此，真理可以愈辩愈明。另一方面，从修行的训练立场来看，一再反复检验相似的命题并记在心里，显现出来的是耐心、定力与智能的结合。这种对真理的不断如理思维，才易训练出扎实的「思所成慧」。

　　五、测验题的实例

　　

　　1「测验题」则是依攻方所提每一测验性质的论式，守方采取机动的回答，先检验小前提而后大前提，即刻响应；回答「因不成」时，表示小前提有误；回答「不遍」时，表示大前提有误。

　　2若攻方立出「A应是B」，守方「同意」后，攻方再立出「A应不是B，C故；D故」等等。守方的回答，若能贯彻「因不成」或「不遍」，则成功。若被迫「同意」，便是前后相违而落败。

　　3原则上，攻方所立「框内」的宗：「A应是B」，若是正确，则「A应不是B」必不能成立，此时攻方所说的任何「因」，必是「似因」：其小、大前提必有一错，守方必须捉到错者，否则必落败而失分。换言之，对义理的推导与观念，必须掌握得非常清晰。以下举例说明之。

　　【实例一】

　　1攻方：道应是常吗？

　　1守方：同意。(此为错答，接着攻方以反面来问)

　　2攻方：道应不是常，因为是无常故。(攻方以下所立为证明题)

　　守方：因不成。

　　a攻方：道应是无常，因为是心所故。

　　守方：因不成。

　　b攻方：道应是心所，因为是慧心所故。

　　守方：因不成。

　　c攻方：道应是慧心所，因为是慧心所中的道故。

　　守方：因不成。

　　d攻方：道应是慧心所中的道，因为与道为一故。

　　守方：同意。

　　c攻方：道应是慧心所吗？

　　守方：同意。

　　b攻方：道应是心所吗？

　　守方：同意。

　　a攻方：道应是无常吗？

　　守方：同意。

　　2攻方：道应不是常吗？

　　2守方：同意。(守方于1和2前后相违而失分)

　　攻方：完结！

　　【实例二】

　　1攻方：道应不是常吗？

　　1守方：同意。(此为正答，接着攻方以反面来问)

　　2攻方：道应是常，因为是非所作性故。(攻方以下所立为测验题)

　　守方：因不成。

　　攻方：道应是非所作性，因为是无实的法故。

　　守方：因不成。(此为正答)

　　攻方：道应是无实的法，因为是无实的常法故。

　　守方：因不成。

　　攻方：道应是无实的常法，因为是无实的道故。

　　守方：因不成。

　　攻方：道应是无实的道，因为与道为一故。

　　守方：不遍。(以上为正答，守方至此未失分)

　　【实例三】

　　1攻方：道应不是常吗？

　　1守方：同意。(此为正答，接着攻方以反面来问)

　　2攻方：道应是常，因为是非所作性故。(攻方以下所立为测验题)

　　守方：因不成。

　　a攻方：道应是非所作性，因为是无实的法故。

　　守方：※不遍。(此为错答)

　　b攻方：应有遍，因为无实的法是非所作性的同义词故。

　　守方：不遍。

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

　　守方：同意。

　　b攻方：若无实的法是非所作性的同义词，则凡是无实的法，都是非所作性吗？

　　守方：同意。

　　a攻方：凡是无实的法，都是非所作性吗？

　　守方：同意。

　　2攻方：道应是常，因为是非所作性故。因已许！周遍已许！

　　守方：同意。(守方于1和2前后相违而失分)

　　攻方：完结！

　　评析：无实＝不是所作性＝无＋常。无实的法＝不是所作性的法＝常。

　　守方在「※不遍」处应答：「因不成」，由于选错而「失分」(前后相违)。

　　六、因明辩经中的常见格式

　　 了解上之实例后，可以归结出一些辩经中的常见格式并以符号来简化，以下分项列出并举例说明。

　　(一)训练熟悉大小前提的方式

　　(实习一)定言三段论法

　　〔基本格式〕

　　攻方：A，是B吗？

　　守方：同意。

　　攻方：凡B都是C吗？

　　守方：同意。

　　攻方：A，应是C，因为是B故。因已许！周遍已许！

　　守方：同意。

　　〔例〕

　　攻方：声音，是所作性吗？

　　守方：同意。

　　攻方：凡所作性都是无常吗？

　　守方：同意。

　　攻方：声音，应是无常，因为是所作性故。因已许！周遍已许！

　　守方：同意。

　　(实习二)假言三段论法

　　〔基本格式〕同义词(定义、部分、相违也仿此)

　　攻方：A是B的同义词吗？

　　守方：同意。

　　攻方：若A是B的同义词，则凡A都是B吗？

　　守方：同意。

　　攻方：凡A都是B，因为A是B的同义词故。因已许！周遍已许！

　　守方：同意。

　　〔例〕

　　攻方：所作性，是无常的同义词吗？

　　守方：同意。

　　攻方：若所作性是无常的同义词，则凡所作性都是无常吗？

　　守方：同意。

　　攻方：凡所作性都是无常，因为所作性是无常的同义词故。因已许！周遍已许！

　　守方：同意。

　　(二)成立小前提的方式

　　攻方：A应是B吗？

　　守方：为什么？

　　攻方：A应是B，因为是C故。

　　守方：因不成。

　　攻方：A应是C，因为是D故。

　　守方：因不成。

　　…………

　　攻方：A应是N，因为是N中的A故。

　　守方：因不成。

　　攻方：A应是N中的A，因为与A为一故。

　　守方：因不成。

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

　　守方：同意。

　　(总计同意)

　　攻方：A应是N吗？

　　守方：同意。

　　…………

　　攻方：A应是C吗？

　　守方：同意。

　　攻方：A应是B吗？

　　守方：同意。

　　(三)成立大前提和＊衍生命题的方式

　　其问答方式如下：

　　【1】名标B与其定义A

　　攻方：C应是B，因为是A故。

　　守方：(凡A是B)不遍。

　　攻方：(凡A是B)应有遍，因为＊A是B的定义故。

　　守方：(若A是B的定义，则凡A是B)不遍。

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

　　守方：同意。

　　攻方：＊A是B的定义，因为D故。

　　守方：同意。

　　(总计同意)

　　攻方：凡A是B吗？

　　守方：同意。

　　【2】A与B是同义词

　　攻方：C应是B，因为是A故。

　　守方：(凡A是B)不遍。

　　攻方：(凡A是B)应有遍，因为＊A是B的同义词故。

　　守方：(若A是B的同义词，则凡A是B)不遍。

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

　　守方：同意。

　　攻方：＊A是B的同义词，因为D故。

　　守方：同意。

　　(总计同意)

　　攻方：凡A是B吗？

　　守方：同意。

　　【3】A是部分(子集合)，B是整体(母集合)

　　攻方：C应是B，因为是A故。

　　守方：(凡A是B)不遍。

　　攻方：(凡A是B)应有遍，因为＊A是B的部分故。

　　守方：(若A是B的部分，则凡A是B)不遍。

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

　　守方：同意。

　　攻方：＊A是B的部分，因为D故。

　　守方：同意。

　　(总计同意)

　　攻方：凡A是B吗？

　　守方：同意。

　　【4】A与B是相违

　　攻方：C应不是B，因为是A故。

　　守方：(凡A不是B)不遍。

　　攻方：(凡A不是B)应有遍，因为＊A与B相违故。

　　守方：(若A与B相违，则凡A不是B)不遍。

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

　　守方：同意。

　　攻方：＊A应是与B相违，因为D故。

　　守方：同意。

　　(总计同意)

　　攻方：凡A不是B吗？

　　守方：同意。

　　【5】若B是果，A是因，B与A是果与因的缘生相属

　　攻方：C应有A，因为有B故。

　　守方：(若有B则有A)不遍。

　　攻方：(若有B则有A)应有遍，因为＊B与A是果与因的缘生相属故。

　　守方：(若B与A是果与因的缘生相属，则若有B则有A)不遍。

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

　　守方：同意。

　　攻方：＊B与A是果与因的缘生相属，因为D故。

　　守方：同意。

　　(总计同意)

　　攻方：若有B则有A吗？

　　守方：同意。

　　(四)立式二轮推论法

　　◆单一基本命题

　　攻方：A应是B吗？

　　守方：为什么？

　　1攻方：A应是B，因为是C故。

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

　　……

　　攻方：A应是N，因为是N中的A故。

　　守方：因不成。

　　攻方：A应是N中的A，因为与A为一故。

　　守方：因不成。

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

　　守方：同意。

　　(总计同意)

　　攻方：A应是N吗？

　　守方：同意。

　　…………

　　攻方：A应是C吗？

　　守方：同意。

　　1攻方：A应是B，因为是C故。因已许！

　　守方：不遍。【第二轮检验大前提】

　　攻方：(凡C是B)应有遍，因为＊C是B的…故。

　　守方：不遍。

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

　　守方：同意。

　　(衍生命题)

　　攻方：＊C应是B的…，因为D故。

　　守方：同意。

　　(总计同意)

　　攻方：凡C是B吗？

　　守方：同意。

　　1攻方：A应是B，因为是C故。因已许！周遍已许！

　　守方：同意。

　　攻方：完结！

　　◆双基本命题

　　攻方：凡是A都是B吗？

　　守方：同意。

　　0攻方：凡是A不都是B，因为C是A而不是B故。

　　(双基本命题：1、C是A。2、C不是B。)

　　守方：前因不成。

　　1攻方：C，应是A，因为是D故。

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

　　……

　　1攻方：C，应是A，因为是D故。因已许！

　　守方：不遍。【第二轮检验大前提】。

　　……

　　1攻方：C，应是A，因为是D故。因已许！周遍已许！

　　守方：同意。

　　0攻方：凡是A不都是B，因为C是A而不是B故。前因已许！

　　守方：后因不成。

　　2攻方：C，应不是B，因为是E故。

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

　　……

　　2攻方：C，应不是B，因为是E故。因已许！

　　守方：不遍。【第二轮检验大前提】。

　　……

　　2攻方：C，应不是B，因为是E故。因已许！周遍已许！

　　守方：同意。

　　0攻方：凡是A不都是B，因为C是A而不是B故。因已许！

　　守方：同意。

　　攻方：完结！

　　七、立式与破式的运用

　　(一)提问方式

　　【立式方式一】宗或小前提类型

　　〔基本格式〕对方的主张：A是B。

　　攻方：A，应是B吗？

　　守方：同意。

　　攻方：A，应不是B吗？

　　守方：为什么？

　　攻方：A，应不是B，因为是C故。(立式)

　　守方：因不成、不遍或同意。

　　……

　　〔例〕

　　攻方：声音，应是常吗？

　　守方：同意。(此为错答，接着攻方以反面来问)

　　攻方：声音，应是无常吗？

　　守方：为什么？(以下对攻方为证明题)

　　攻方：声音，应是无常，因为是所作性故。

　　……

　　〔例〕

　　攻方：声音，应是无常吗？

　　守方：同意。(此为正答，接着攻方以反面来问)

　　攻方：声音，应是常吗？

　　守方：为什么？

　　攻方：声音，应是常，因为是永存故。(以下对守方是测验题)

　　守方：因不成。

　　……

　　【立式方式二】大前提类型

　　〔基本格式〕对方的主张：凡是B都是B1。

　　攻方：凡是B，应遍是B1吗？

　　守方：同意。

　　攻方：凡是B，应不遍是B1，因为B3是B而不是B1故。

　　守方：前因不成。

　　攻方：B3应是B，因为是B2故。

　　守方：因不成或不遍。

　　……

　　〔例〕

　　攻方：凡是道，都是道谛吗？

　　守方：同意。(此为错答，接着攻方以反面来问)

　　攻方：凡是道，不都是道谛，因为资粮道是道而不是道谛故。(立式)

　　守方：前因不成。(以下对攻方为证明题)

　　攻方：资粮道，应是道，因为是智能故。

　　……

　　【破式方式一】宗或小前提类型

　　〔基本格式〕对方的主张：A是B。

　　攻方：A，应是B吗？

　　守方：同意。

　　攻方：A，应是C，因为是B故。因已许！(破式)

　　守方：同意或不遍。

　　……

　　〔例〕

　　攻方：舍利，应是常吗？

　　守方：同意。(此为错答)

　　攻方：舍利，应不是剎那生灭的法，因为是常故。因已许！(破式)

　　守方：同意。

　　攻方：舍利，应是剎那生灭的法，因为是色蕴故。(立式)

　　……

　　【破式方式二】大前提类型

　　〔基本格式〕对方的主张：凡是B都是B1。

　　攻方：凡是B，应遍是B1吗？

　　守方：同意。

　　攻方：B2，应是B1，因为是B故。周遍已许！(破式)

　　守方：同意或因不成。

　　……

　　〔例〕

　　攻方：凡是道，都是道谛吗？

　　守方：同意。(此为错答)

　　攻方：资粮道，应是道谛，因为是道故。周遍已许！(破式)

　　守方：同意。

　　攻方：资粮道，应不是道谛，因为不是圣者之道故。(立式)

　　……

　　(二)藏传辩经方式

　　有人(守方)主张：凡是颜色都是红色。

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

　　守方：同意。

　　攻方：白法螺的颜色，应是红色吗？

　　守方：为什么？

　　攻方：白法螺的颜色，应是红色，因为是颜色故。周遍已许！

　　(提出根本破式)

　　守方：因不成。

　　1攻方：白法螺的颜色，应是颜色，因为是白色故。(立式)

　　守方：因不成。

　　攻方：白法螺的颜色，应是白色，因为与白法螺的颜色为一故。

　　守方：同意。

　　(总计同意)

　　攻方：白法螺的颜色，应是颜色吗？

　　守方：同意。

　　攻方：白法螺的颜色，应是红色，因为是颜色故。

　　(第二次重申根本破式)

　　守方：同意。

　　2攻方：白法螺的颜色，应不是红色，因为是白色故。

　　守方：不遍。(守方不同意大前提)

　　攻方：[凡是白色，都不是红色]应有遍，因为白色与红色二者相违故。

　　守方：同意。

　　(总计同意)

　　攻方：凡是白色，应都不是红色吗？

　　守方：同意。

　　攻方：白法螺的颜色，应不是红色吗？

　　守方：同意。

　　攻方：白法螺的颜色，应是红色，因为是颜色故。

　　(第三次重申根本破式)

　　守方：不遍。

　　  说明：前已许小前提「白法螺的颜色是颜色」，所以此处不可答  「因不成」。刚刚已许「白法螺的颜色不是红色」，所以此处不可  答「同意」，只剩「不遍」可答。

　　攻方：凡是颜色，应不都是红色吗？

　　守方：同意。

　　攻方：[根本立宗]完结！

　　(三)立式辩经方式(与藏式比较)

　　有人(守方)主张：凡是颜色都是红色。

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

　　守方：同意。

　　0攻方：凡是颜色，不都是红色，因为白法螺的颜色是颜色而不是红色故。(给出根本立式)

　　守方：前因不成。

　　1攻方：白法螺的颜色，应是颜色，因为是白色故。(立式)

　　守方：因不成。

　　攻方：白法螺的颜色，应是白色，因为与白法螺的颜色为一故。

　　守方：同意。

　　攻方：白法螺的颜色，应是颜色，因为是白色故。因已许！周遍已许！

　　守方：同意。

　　0攻方：凡是颜色，不都是红色，因为白法螺的颜色是颜色而不是红色故。前因已许！(第二次重申根本立式)

　　守方：后因不成。

　　2攻方：白法螺的颜色，应不是红色，因为是白色故。(立式)

　　守方：不遍。(守方不同意大前提)

　　攻方：[凡是白色，都不是红色]应有遍，因为白色与红色二者相违故。

　　守方：同意。

　　(总计同意)

　　攻方：凡是白色，应都不是红色吗？

　　守方：同意。

　　攻方：白法螺的颜色，应不是红色，因为是白色故。因已许！周遍已许！

　　守方：同意。

　　(1＋2小结)

　　0攻方：凡是颜色，不都是红色，因为白法螺的颜色是颜色而不是红色故。因已许！(第三次重申根本立式)

　　守方：同意。

　　攻方：[根本立宗]完结！

　　 将上例的藏传辩经方式和立式辩经方式作比较，可以明显看出同样含有二基本命题(1和2)，但立式辩经的推导成立「根本立式」很顺畅而容易，而藏传辩经的运用「根本破式」则难多了。

　　八、结语

　　为了探究宇宙万有，因明成为研究「缘起」的一项重要工具：深入思索一法与另一法之间的相属、相违、因果的关系，及其成立的理由。透过因明论式的推演，在一问一答的辩经过程中，可将佛法的深意剖析入微，得到「思所成慧」，这便是因明的实用之处。在佛法的整个学习过程中，有闻、思、修的三个阶段。原先是凡夫的「分别颠倒识」，认为诸法都是有「我」，现在经由听闻正法后，透过因明辩经的方式，由「义未转的犹疑」依次变成「等分的犹疑」、「义已转的犹疑」，再进一步的思惟，就进入「伺察意」，而后生起「诸法应是无我，因为是缘起故」的「比量」，得到思所成慧；比量的第二剎那即为「已决智」，将此「已决智」不断的再三再四专心思惟，配合正定，终将得到修所成的「瑜伽现量」，现观诸法都是无我，破除我执而得心灵的自在。在这过程中，可看出因明辩经所扮演的重要角色。本文分析了因明论式的逻辑结构及其应用于辩经时的对答规则，也分别探索因明论式小前提和大前提的成立及其公设或共识，并以实例来推演因明论式的「证明题」与「测验题」，将传统的藏传辩经转成符合以中文来辩经。此中的「证明题」是采用立式的二轮推论法，将任一命题依次先成立小前提而后成立大前提，最后将衍生命题同样给予成立，这完全相同于理工学科的数理运算。「测验题」是守方对攻方所提的每一论式机动回答「因不成」或「不遍」，其性质在于测验观念是否正确。由这些例子可以看出，以因明论式来推理或检验，显得干净俐落，就像推导数学题目一样，一步步下推，问答双方都能厘清观念，获得智能的增长。

　　参考资料

　　(1)《佛教因明的探讨》，林崇安(慧炬出版社,1991)

　　(2)《因明立式辩经教材》，林崇安(内观教育基金会, 2006)

　　(3)《因明进阶辩经教材》，林崇安(内观教育基金会, 2006)

　　(4)《藏传因明学》，杨化群(西藏人民出版社,1990)

　　(5)因明论式在佛教推理分析上的应用，林崇安(内观杂志,32期,2005)

　　(6)佛教逻辑与因明论式的运用，林崇安(法光杂志,192期,2005)

　　(7)因明论式的推演及其公设略探──兼述辩经上的运用，林崇安(法光杂志,193期,2005)

　　(8)以因明论式来检验义理──佛教逻辑的应用，林崇安(灵山现代佛教杂志,293期,2006)

　　(9)因明辩经的原理与基本格式，林崇安(内观杂志, 37期,2006)

　　(10)因明立式的二轮推论法──佛教逻辑于现代辩经上的应用，林崇安(法光杂志,199期,2006)

　　(11)内观教育基金会网站：http://www.insights.org.tw

返回目录