林崇安,内观教育,2006.02
立式辩经方式：对每一命题进行二轮检验：第一轮检验小前提，第二轮检验大前提。最後检验＊衍生命题。
【实习】某甲主张：凡是存在，都是四圣谛之一。
◎乙：凡是存在，都是四圣谛之一吗？
甲：同意。
◎乙：凡是存在，不都是四圣谛之一，因为无为之虚空是存在，而不是四圣谛之一故。（问方提出立式）
甲：前因不成。
乙：无为之虚空，应是存在，因为是常故。
甲：因不成。（检验小前提）
乙：无为之虚空，应是常，因为是常中的虚空故。
甲：因不成。
乙：无为之虚空，应是常中的虚空，因为与虚空为一故。
甲：因不成。
乙：无为之虚空，应是与虚空为一，因为依据自身为一的公设故。
甲：同意。
（总计同意）
乙：无为之虚空，应是常中的虚空吗？
甲：同意。
乙：无为之虚空，应是常吗？
甲：同意。
乙：无为之虚空，应是存在，因为是常故。因已许！
甲：不遍。（检验大前提）
乙：应有遍，因为＊常是存在的部分故。
甲：不遍。
乙：应有遍，因为依据部分的公设故。
甲：同意。
衍生命题
乙：＊常应是存在的部分，因为《佛法总纲》说：存在分常与无常故。
甲：同意。
总计同意
乙：凡是常，都是存在吗？
甲：同意。
乙：无为之虚空，应是存在，因为是常故。因已许！周遍已许！
甲：同意。
◎乙：凡是存在，不都是四圣谛之一，因为无为之虚空是存在，而不是四圣谛之一故。前因已许！
甲：後因不成。
0乙：无为之虚空，应不是四圣谛之一，因为一则不是苦谛，二则不是集谛，三则不是灭谛，四则不是道谛故。
甲：第一因不成。∵
1乙：无为之虚空，应不是苦谛，因为不是苦苦、坏苦、行苦三种之一故。
甲：因不成。（检验小前提）
乙：无为之虚空，应不是苦苦、坏苦、行苦三种之一，因为是常故。
甲：同意。
总计同意
乙：无为之虚空，应不是苦苦、坏苦、行苦三种之一吗？
甲：同意。
1乙：无为之虚空，应不是苦谛，因为不是苦苦、坏苦、行苦三种之一故。因已许。
甲：不遍。（检验大前提）
乙：应有遍，因为＊苦谛分苦苦、坏苦、行苦三种故。
甲：不遍。
乙：应有遍，因为依据整体与部分的公设故。
甲：同意。
衍生命题
乙：＊苦谛应分苦苦、坏苦、行苦三种，因为《佛法总纲》说：「於彼苦谛分类有三，谓有苦苦、坏苦、行苦三种」故。
甲：同意。
总计同意
乙：凡不是苦苦、坏苦、行苦三种之一，都不是苦谛吗？
甲：同意。
1乙：无为之虚空，应不是苦谛，因为不是苦苦、坏苦、行苦三种之一故。因已许！周遍已许！
甲：同意。
0乙：无为之虚空，应不是四圣谛之一，因为一则不是苦谛，二则不是集谛，三则不是灭谛，四则不是道谛故。第一因已许！
甲：第二因不成。
2乙：无为之虚空，应不是集谛，因为不是「业之集谛」及「烦恼之集谛」二种之一故。
甲：因不成。（检验小前提）
乙：无为之虚空，应不是「业之集谛」及「烦恼之集谛」二种之一，因为是常故。
甲：同意。
总计同意
乙：无为之虚空，应不是「业之集谛」及「烦恼之集谛」二种之一吗？
甲：同意。
乙：无为之虚空，应不是集谛，因为不是「业之集谛」及「烦恼之集谛」二种之一故。因已许！
甲：不遍。（检验大前提）
乙：应有遍，因为＊集谛分为「业之集谛」及「烦恼之集谛」二种故。
甲：不遍。
乙：应有遍，因为依据整体与部分的公设故。
甲：同意。
衍生命题
乙：＊集谛应分为「业之集谛」及「烦恼之集谛」二种，因为《佛法总纲》说：「於彼集谛分类有二，谓有『业之集谛』及『烦恼之集谛』二种」故。
甲：同意。
总计同意
乙：凡不是「业之集谛」及「烦恼之集谛」二种之一，都不是集谛吗？
甲：同意。
乙：无为之虚空，应不是集谛，因为不是「业之集谛」及「烦恼之集谛」二种之一故。因已许！周遍已许！
甲：同意。
0乙：无为之虚空，应不是四圣谛之一，因为一则不是苦谛，二则不是集谛，三则不是灭谛，四则不是道谛故。第一、第二因已许！
甲：第三因不成。
3乙：无为之虚空，应不是灭谛，因为不是别择灭故。
甲：因不成。（检验小前提）
a乙：无为之虚空，应不是别择灭，因为不是以各别择慧之力断除所断之离系故。
甲：因不成。
b乙：无为之虚空，应不是以各别择慧之力断除所断之离系，因为不是所证得故。
c乙：无为之虚空，应不是所证得，因为是唯遮碍触的无遮故。
甲：因不成。
d乙：无为之虚空，应是唯遮碍触的无遮，因为与无为之虚空为一故。
甲：因不成。
e乙：无为之虚空应与无为之虚空为一，因为依据自身为一的公设故。
甲：同意。
总计同意
d乙：无为之虚空，应与无为之虚空为一吗？
甲：同意。
c乙：无为之虚空，应是唯遮碍触的无遮吗？
甲：同意。
b乙：无为之虚空，应不是所证得吗？
甲：同意。
a乙：无为之虚空，应不是以各别择慧之力断除所断之离系吗？
甲：同意。
3乙：无为之虚空，应不是别择灭吗？
甲：同意。
3乙：无为之虚空，应不是灭谛，因为不是别择灭故。因已许！
甲：不遍。（检验大前提）
乙：应有遍，因为＊灭谛与别择灭是同义词故。
甲：不遍。
乙：应有遍，因为依据同义词的公设故。
甲：同意。
a乙：无为之虚空，应不是别择灭，因为不是「以各别择慧之力断除所断之离系」故。因已许。
甲：不遍。
乙：应有遍，因为＊「以各别择慧之力断除所断之离系」是别择灭的定义故。
甲：不遍。
乙：应有遍，因为依据定义的公设故。
甲：同意。
总计同意
乙：凡不是「以各别择慧之力断除所断之离系」，都不是别择灭吗？
甲：同意。
b乙：无为之虚空，应不是以各别择慧之力断除所断之离系，因为不是所证得故。因已许！
甲：不遍。
乙：应有遍，因为＊「以各别择慧之力断除所断之离系」是「所证得」之部分故。
甲：不遍。
乙：应有遍，因为依据部分的公设故。
甲：同意。
c乙：无为之虚空，应不是所证得，因为是唯遮碍触的无遮故。因已许！
甲：不遍。
乙：应有遍，因为＊「所证得」与「唯遮碍触的无遮」是相违故。
甲：不遍。
乙：应有遍，因为依据相违的公设故。
甲：同意。
d乙：无为之虚空，应是唯遮碍触的无遮，因为与无为之虚空为一故。因已许！
甲：不遍。
乙：应有遍，因为＊「唯遮碍触的无遮」是「无为之虚空」的定义故。
甲：不遍。
乙：应有遍，因为依据定义的公设故。
甲：同意。
衍生命题
乙：＊灭谛应与别择灭是同义词，因为《佛法总纲》说：「灭谛与别择灭是同义词」故。
甲：同意。
乙：＊「以各别择慧之力断除所断之离系」应是别择灭的定义，因为《佛法总纲》说：「别择灭的定义是以各别择慧之力断除所断之离系」故。
甲：同意。
乙：＊「以各别择慧之力断除所断之离系」应是「所证得」之部分，因为是以各别择慧之力断除所断後所证得之离系故。
注：若「因不成」，则收摄至与自身为一。
甲：同意。
乙：＊「所证得」与「唯遮碍触的无遮」应是相违，因为无共同因素故。
或：＊「所证得」应与「唯遮碍触的无遮」是相违，因为与「所证得」为一故。
甲：同意。
乙：＊「唯遮碍触的无遮」应是「无为之虚空」的定义，因为《佛法总纲》说：「无为之虚空的定义是唯遮碍触的无遮」故。
甲：同意。
总计同意
d乙：凡与无为之虚空为一，都是唯遮碍触的无遮吗？
甲：同意。
c乙：凡是唯遮碍触的无遮，都不是所证得吗？
甲：同意。
b乙：凡不是所证得，都不是以各别择慧之力断除所断之离系吗？
甲：同意。
a乙：凡不是「以各别择慧之力断除所断之离系」，都不是别择灭吗？
甲：同意。
3乙：凡不是别择灭，都不是灭谛吗？
甲：同意。
3乙：无为之虚空，应不是灭谛，因为不是别择灭故。因已许！周遍已许！
甲：同意。
0乙：无为之虚空，应不是四圣谛之一，因为一则不是苦谛，二则不是集谛，三则不是灭谛，四则不是道谛故。第一、第二、第三因已许！
甲：第四因不成。
4乙：无为之虚空，应不是道谛，因为不是道故。
甲：因不成。（检验小前提）
乙：无为之虚空，应不是道，因为不是知觉故。
甲：因不成。
乙：无为之虚空，应不是知觉，因为不是无常故。
甲：因不成。
乙：无为之虚空，应不是无常，因为是常故。
甲：同意。
总计同意
乙：无为之虚空，应不是知觉吗？
甲：同意。
乙：无为之虚空，应不是道吗？
甲：同意。
4乙：无为之虚空，应不是道谛，因为不是道故。因已许！
甲：不遍。（检验大前提）
乙：应有遍，因为＊道谛是道的部分故。
甲：不遍。
乙：应有遍，因为依据部分的公设故。
甲：同意。
衍生命题
乙：＊道谛应是道的部分，因为道分凡夫之道与圣者之道，而圣者之道与道谛是同义词故。
甲：同意。
总计同意
乙：凡不是道，都不是道谛吗？
甲：同意。
乙：无为之虚空，应不是道谛，因为不是道故。因已许！周遍已许！
甲：同意。
0乙：无为之虚空，应不是四圣谛之一，因为一则不是苦谛，二则不是集谛，三则不是灭谛，四则不是道谛故。因已许！
甲：不遍。（检验大前提）
乙：应有遍，因为＊四圣谛是苦谛、集谛、灭谛、道谛故。
甲：同意。
衍生命题
乙：＊四圣谛应是苦谛、集谛、灭谛、道谛，因为经上说：四圣谛是苦谛、集谛、灭谛、道谛故。
甲：同意。
总计同意
乙：凡一则不是苦谛，二则不是集谛，三则不是灭谛，四则不是道谛，都不是四圣谛之一吗？
甲：同意。
0乙：无为之虚空，应不是四圣谛之一，因为一则不是苦谛，二则不是集谛，三则不是灭谛，四则不是道谛故。因已许！周遍已许！
甲：同意。
总结
◎乙：凡是存在，不都是四圣谛之一，因为无为之虚空是存在，而不是四圣谛之一故。因已许！
甲：同意。
乙：完结！
∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵∵
发表评论 取消回复