因明辯經的原理與基本格式

因明辩经的原理与基本格式

林崇安（内观杂志,第37期,2006,02）

重点：以下将因明辩经的原理以及经常出现的格式列出，便於看清其脉络。文末并举一因明立式辩经实例作说明。

（A）因明论式与三段论法

◆定言三段论法

∵∵大前提：凡是C都是B。∵∵←→不遍

小前提：A是C。∵∵←→因不成

结论：A是B。

因明论式：A应是B，因为是C故。

◆假言三段论法：若P，则Q。

∵∵大命题：若P，则Q。∵∵←→不遍

∵∵小命题：＊P。∵∵←→因不成

∵∵结∵∵论：Q。

因明论式：Q，因为＊P故。

＊P称作衍生命题。

（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吗？∵∵∵∵∵∵（同意）

（C）因明论式大前提的成立

【1】名标A与其定义B

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

守方：（凡B是A）不遍。

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

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

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

守方：同意。

【2】A与B是同义词

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

守方：（凡B是A）不遍。

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

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

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

守方：同意。

【3】A是整体（母集合），B是部分（子集合）

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

守方：（凡B是A）不遍。

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

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

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

守方：同意。

或：

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

守方：（凡B是A）不遍。

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

守方：（若A是B等等的整体，则凡B是A）不遍。

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

守方：同意。

【4】A与B是相违

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

守方：（凡B不是A）不遍。

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

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

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

守方：同意。

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

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

守方：（若有A则有B）不遍。

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

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

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

守方：同意。

（D）（大前题与）＊衍生命题的成立

【续前（C）】

【1】

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

守方：同意。

（总计同意）

攻方：凡B是A吗？∵

守方：同意。

【2】

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

守方：同意。

（总计同意）

攻方：凡B是A吗？

守方：同意。

【3】

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

守方：同意。

（总计同意）

攻方：凡B是A吗？∵

守方：同意。

【4】

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

守方：同意。

（总计同意）

攻方：凡B不是A吗？

守方：同意。

【5】

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

守方：同意。

（总计同意）

攻方：若有A则有B吗？∵

守方：同意。

（E）因明立式二轮推论法的实习

◆单一基本命题

攻方：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，因为是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故。因已许！

守方：同意。

攻方：完结！

因明立式辩经实例

立式辩经方式：对每一命题进行二轮检验：第一轮检验小前提，第二轮检验大前提。最後检验衍生命题。

【实习】有人说：凡是无常，都是不相应行。

攻方：凡是无常，都是不相应行吗？

守方：同意。

0攻方：凡是无常不都是不相应行，因为佛智是无常而不是不相应行故。∵∵（根本立式）

守方：前因不成。

1攻方：佛智，应是无常，因为是依他起故。

守方：因不成。∵∵（第一轮）

a攻方：佛智，应是依他起，因为是清净的依他起故。

守方：因不成。

b攻方：佛智，应是清净的依他起，因为是佛陀圣者心续之智故。

守方：因不成。

c攻方：佛智，应是佛陀圣者心续之智，因为是与佛智为一故。

守方：同意。

∵（总计同意）

攻方：佛智，应是清净的依他起吗？

守方：同意。

攻方：佛智，应是依他起吗？∵∵

守方：同意。

1佛智，应是无常，因为是依他起故。因已许！

守方：不遍。∵∵（第二轮）

攻方：应有遍，因为＊依他起是无常的同义字故。

守方：不遍。

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

守方：同意。

a攻方：佛智，应是依他起，因为是清净的依他起故。因已许！

守方：不遍。

攻方：应有遍，因为＊依他起是清净的依他起等等的整体故。

守方：不遍。

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

守方：同意。

b攻方：佛智，应是清净的依他起，因为是佛陀圣者心续之智故。因已许！

守方：不遍。

攻方：应有遍，因为＊清净的依他起是佛陀圣者心续之智等等的整体故。

守方：不遍。

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

守方：同意。

c攻方：佛智，应是佛陀圣者心续之智，因为是与佛智为一故。因已许！

守方：不遍。

攻方：应有遍，因为＊佛智是佛陀圣者心续之智的同义字故。

守方：不遍。

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

守方：同意。

∵（衍生命题）

1＊攻方：依他起应是无常的同义字，因为经论说：依他起与无常是同义字故。

守方：同意。

a＊攻方：依他起应是清净的依他起等等的整体，因为经论说：依他起分清净的依他起和不清净的依他起故。

守方：同意。

b＊攻方：清净的依他起应是佛陀与圣者心续之智等等的整体，因为与清净的依他起为一故。

守方：同意。

c＊攻方：佛智应是佛陀圣者心续之智的同义字，因为与佛智为一故。

守方：同意。

（总计同意）

攻方：凡是与佛智为一，都是佛陀圣者心续之智吗？

守方：同意。

攻方：凡是佛陀圣者心续之智，都是清净的依他起吗？

守方：同意。

攻方：凡是清净的依他起，都是依他起吗？

守方：同意。

攻方：凡是依他起，都是无常吗？

守方：同意。

∵（小结）

1佛智，应是无常，因为是依他起故。因已许！周遍已许！

守方：同意。

0攻方：凡是无常不都是不相应行，因为佛智是无常而不是不相应行故。前因已许！

守方：後因不成。

2攻方：佛智，应不是不相应行，因为是知觉故。

守方：因不成。∵∵（第一轮）

p攻方：佛智，应是知觉，因为是智慧故。

守方：因不成。

q攻方：佛智，应是智慧，因为是道故。

守方：因不成。

r攻方：佛智，应是道，因为是五道之一故。

守方：因不成。

s攻方：佛智，应是五道之一，因为是无学道故。

守方：因不成。

t攻方：佛智，应是无学道，因为是一切相智故。

守方：因不成。

u攻方：佛智，应是一切相智，因为是与佛智为一故。

守方：同意。

（总计同意）

攻方：佛智，应是无学道吗？

守方：同意。

攻方：佛智，应是道吗？

守方：同意。

攻方：佛智，应是智慧吗？∵

守方：同意。

攻方：佛智，应是知觉吗？∵

守方：同意。

2攻方：佛智，应不是不相应行，因为是知觉故。因已许！

守方：不遍。∵∵（第二轮）

攻方：应有遍，因为＊知觉与不相应行是相违故。

守方：不遍。

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

守方：同意。

p攻方：佛智，应是知觉，因为是智慧故。因已许！

守方：不遍。

攻方：应有遍，因为＊知觉是智慧等等的整体故。

守方：不遍。

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

守方：同意。

q攻方：佛智，应是智慧，因为是道故。因已许！

守方：不遍。

攻方：应有遍，因为＊智慧是道等等的整体故。

守方：不遍。

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

守方：同意。

r攻方：佛智，应是道，因为是五道之一故。因已许！

守方：不遍。

攻方：应有遍，因为＊道是五道的整体故。

守方：不遍。

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

守方：同意。

s攻方：佛智，应是五道之一，因为是无学道故。因已许！

守方：不遍。

攻方：应有遍，因为经论上说：五道是资粮道、加行道、见道、修道、无学道故。

守方：同意。

t攻方：佛智，应是无学道，因为是一切相智故。因已许！

守方：不遍。

攻方：应有遍，因为＊无学道是一切相智的整体故。

守方：不遍。

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

守方：同意。

u攻方：佛智，应是一切相智，因为是与佛智为一故。因已许！

守方：不遍。

攻方：应有遍，因为＊佛智是一切相智的同义字故。

守方：不遍。

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

守方：同意。

（衍生命题）

2＊攻方：知觉应与不相应行是相违，因为与不相应行无共同部分故。

守方：同意。

p＊攻方：知觉应是智慧等等的整体，因为与知觉为一故。

守方：同意。

q＊攻方：智慧应是道等等的整体，因为与智慧为一故。

守方：同意。

r＊攻方：道是应是五道的整体，因为与道为一故。

守方：同意。

t＊攻方：无学道应是一切相智的整体，因为与无学道为一故。

守方：同意。

u＊攻方：佛智应是一切相智的同义字，因为经论上说：佛智与一切相智是同义字故。

守方：同意。

（总计同意）

攻方：凡是与佛智为一，都是一切相智吗？

守方：同意。

攻方：凡是一切相智，都是无学道吗？

守方：同意。

攻方：凡是无学道，都是五道之一吗？

守方：同意。

攻方：凡是五道之一，都是道吗？

守方：同意。

攻方：凡是道，都是智慧吗？

守方：同意。

攻方：凡是智慧，都是知觉吗？

守方：同意。

攻方：凡是知觉，都不是不相应行吗？

守方：同意。

（小结）

2攻方：佛智，应不是不相应行，因为是知觉故。因已许！周遍已许！

守方：同意。

（总结）

0攻方：凡是无常不都是不相应行，因为佛智是无常而不是不相应行故。因已许！

守方：同意。

攻方：完结！∵