因明立式辯經實例之一

林崇安,内观教育,2006.01

目标：熟习小前提与大前提的二轮推论法。先对每一根本命题进行二轮检验：第一轮检验小前提，第二轮检验大前提。最後检验衍生命题。当二词相互比较范围时，有二个基本命题的出现，其成立方式同於单一基本命题的二轮推论法，唯推论中有重复时，可以依据状况省略。

【实习】有人说：凡是颜色，都是红色。

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

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

说明：接着，攻方找出诤由（有法、前陈）：如，黄花的颜色、绿芽的颜色等，是颜色而不是红色。於此攻方有二基本命题要成立：（1）黄花的颜色，应是颜色；（2）黄花的颜色，应不是红色。

传统上，攻方於此处会提出破式：「黄花的颜色，应是红色，因为是颜色故。」今则直接提出根本立式，内含上述二基本命题。为了便於区分，命题1内的命题用a,b,c,d等编号。命题2内的命题用p,q,r,s等编号。

0攻方：凡是颜色，不都是红色，因为黄花的颜色是颜色而不是红色故。∵（根本立式）

守方：前因不成。（不同意第一个理由：黄花的颜色是颜色）

（基本命题1）

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

【第一轮检验小前提】

守方：因不成。

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

守方：因不成。

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

守方：同意。

（总计同意）

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

守方：同意。

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

【第二轮依次检验大前提】。

守方：不遍。

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

守方：不遍。

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

守方：同意。

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

守方：不遍。

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

守方：同意。

（衍生命题）

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

【检验小前提】

守方：因不成。

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

守方：同意。

1＊攻方：颜色应是黄色等等的整体，因为与颜色为一故。因已许！【次检验大前提】

守方：不遍。

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

守方：同意。

（总计同意）

a攻方：凡是与黄花的颜色为一，都黄色吗？

守方：同意。

1攻方：凡是黄色都是颜色吗？

守方：同意。

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

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

守方：同意。

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

守方：後因不成。（不同意第二个理由：黄花的颜色不是红色）

（基本命题2）

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

【第一轮：先检验小前提】

守方：因不成。

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

守方：因不成。

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

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

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

【第二轮：检验大前提】

守方：不遍。

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

守方：不遍。

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

守方：同意。

（衍生命题）

2＊攻方：黄色应与红色是相违，因为这是一般的公设故。

守方：同意。

（总计同意）

2攻方：凡是黄色，都不是红色吗？

守方：同意。

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

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

守方：同意。

（总结命题1与2）

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

守方：同意。

攻方：完结！