因明立式辯經實例之三

林崇安,內觀教育,2006.02

 立式辯經方式：對每一命題進行二輪檢驗：第一輪檢驗小前提，第二輪檢驗大前提。最後檢驗＊衍生命題。

 【實習】某甲主張：凡是存在，都是四聖諦之一。

◎乙：凡是存在，都是四聖諦之一嗎？

甲：同意。

◎乙：凡是存在，不都是四聖諦之一，因為無為之虛空是存在，而不是四聖諦之一故。（問方提出立式）

甲：前因不成。

乙：無為之虛空，應是存在，因為是常故。

甲：因不成。（檢驗小前提）

乙：無為之虛空，應是常，因為是常中的虛空故。

甲：因不成。

乙：無為之虛空，應是常中的虛空，因為與虛空為一故。

甲：因不成。

乙：無為之虛空，應是與虛空為一，因為依據自身為一的公設故。

甲：同意。

（總計同意）

乙：無為之虛空，應是常中的虛空嗎？

甲：同意。

乙：無為之虛空，應是常嗎？

甲：同意。

乙：無為之虛空，應是存在，因為是常故。因已許！

甲：不遍。（檢驗大前提）

乙：應有遍，因為＊常是存在的部分故。

甲：不遍。

乙：應有遍，因為依據部分的公設故。

甲：同意。

乙：＊常應是存在的部分，因為《佛法總綱》說：存在分常與無常故。

甲：同意。

乙：凡是常，都是存在嗎？

甲：同意。

乙：無為之虛空，應是存在，因為是常故。因已許！周遍已許！

甲：同意。

◎乙：凡是存在，不都是四聖諦之一，因為無為之虛空是存在，而不是四聖諦之一故。前因已許！

甲：後因不成。

0乙：無為之虛空，應不是四聖諦之一，因為一則不是苦諦，二則不是集諦，三則不是滅諦，四則不是道諦故。

甲：第一因不成。

1乙：無為之虛空，應不是苦諦，因為不是苦苦、壞苦、行苦三種之一故。

甲：因不成。（檢驗小前提）

乙：無為之虛空，應不是苦苦、壞苦、行苦三種之一，因為是常故。

甲：同意。

1乙：無為之虛空，應不是苦諦，因為不是苦苦、壞苦、行苦三種之一故。因已許。

甲：不遍。（檢驗大前提）

乙：應有遍，因為苦諦分苦苦、壞苦、行苦三種故。

甲：不遍。

乙：應有遍，因為依據整體與部分的公設故。

甲：同意。

乙：凡不是苦苦、壞苦、行苦三種之一，都不是苦諦嗎？

甲：同意。

1乙：無為之虛空，應不是苦諦，因為不是苦苦、壞苦、行苦三種之一故。因已許！周遍已許！

甲：同意。

0乙：無為之虛空，應不是四聖諦之一，因為一則不是苦諦，二則不是集諦，三則不是滅諦，四則不是道諦故。第一因已許！

甲：第二因不成。

2乙：無為之虛空，應不是集諦，因為不是「業之集諦」及「煩惱之集諦」二種之一故。

甲：因不成。（檢驗小前提）

乙：無為之虛空，應不是「業之集諦」及「煩惱之集諦」二種之一，因為是常故。

甲：同意。

乙：無為之虛空，應不是集諦，因為不是「業之集諦」及「煩惱之集諦」二種之一故。因已許！

甲：不遍。（檢驗大前提）

乙：應有遍，因為＊集諦分為「業之集諦」及「煩惱之集諦」二種故。

甲：不遍。

乙：應有遍，因為依據整體與部分的公設故。

甲：同意。

乙：＊集諦應分為「業之集諦」及「煩惱之集諦」二種，因為《佛法總綱》說：「於彼集諦分類有二，謂有『業之集諦』及『煩惱之集諦』二種」故。

甲：同意。

乙：凡不是「業之集諦」及「煩惱之集諦」二種之一，都不是集諦嗎？

甲：同意。

乙：無為之虛空，應不是集諦，因為不是「業之集諦」及「煩惱之集諦」二種之一故。因已許！周遍已許！

甲：同意。

0乙：無為之虛空，應不是四聖諦之一，因為一則不是苦諦，二則不是集諦，三則不是滅諦，四則不是道諦故。第一、第二因已許！

甲：第三因不成。

3乙：無為之虛空，應不是滅諦，因為不是別擇滅故。

甲：因不成。（檢驗小前提）

a乙：無為之虛空，應不是別擇滅，因為不是以各別擇慧之力斷除所斷之離繫故。

甲：因不成。

b乙：無為之虛空，應不是以各別擇慧之力斷除所斷之離繫，因為不是所證得故。

c乙：無為之虛空，應不是所證得，因為是唯遮礙觸的無遮故。

甲：因不成。

d乙：無為之虛空，應是唯遮礙觸的無遮，因為與無為之虛空為一故。

甲：因不成。

e乙：無為之虛空應與無為之虛空為一，因為依據自身為一的公設故。

甲：同意。

d乙：無為之虛空，應是唯遮礙觸的無遮嗎？

甲：同意。

c乙：無為之虛空，應不是所證得嗎？

甲：同意。

b乙：無為之虛空，應不是以各別擇慧之力斷除所斷之離繫嗎？

甲：同意。

a乙：無為之虛空，應不是別擇滅嗎？

甲：同意。

3乙：無為之虛空，應不是滅諦，因為不是別擇滅故。因已許！

甲：不遍。（檢驗大前提）

乙：應有遍，因為＊滅諦與別擇滅是同義字故。

甲：不遍。

乙：應有遍，因為依據同義字的公設故。

甲：同意。

a乙：無為之虛空，應不是別擇滅，因為不是「以各別擇慧之力斷除所斷之離繫」故。

甲：不遍。

乙：應有遍，因為＊「以各別擇慧之力斷除所斷之離繫」是別擇滅的定義故。

甲：不遍。

乙：應有遍，因為依據定義的公設故。

甲：同意。

b乙：無為之虛空，應不是以各別擇慧之力斷除所斷之離繫，因為不是所證得故。因已許！

甲：不遍。

乙：應有遍，因為「以各別擇慧之力斷除所斷之離繫」是「所證得」之部分故。

甲：不遍。

乙：應有遍，因為依據部分的公設故。

甲：同意。

c乙：無為之虛空，應不是所證得，因為是唯遮礙觸的無遮故。因已許！

甲：不遍。

乙：應有遍，因為「所證得」與「唯遮礙觸的無遮」是相違故。

甲：不遍。

乙：應有遍，因為依據相違的公設故。

甲：同意。

d乙：無為之虛空，應是唯遮礙觸的無遮，因為與無為之虛空為一故。因已許！

甲：不遍。

乙：應有遍，因為「唯遮礙觸的無遮」是「無為之虛空」的定義故。

甲：不遍。

乙：應有遍，因為依據定義的公設故。

甲：同意。

乙：＊滅諦應與別擇滅是同義字，因為《佛法總綱》說：「滅諦與別擇滅是同義字」故。

甲：同意。

乙：＊「以各別擇慧之力斷除所斷之離繫」是別擇滅的定義，因為《佛法總綱》說：「別擇滅的定義是以各別擇慧之力斷除所斷之離繫」故。

甲：同意。

乙：凡與無為之虛空為一，都是唯遮礙觸的無遮嗎？

甲：同意。

乙：凡是唯遮礙觸的無遮，都不是所證得嗎？

甲：同意。

乙：凡不是所證得，都不是以各別擇慧之力斷除所斷之離繫嗎？

甲：同意。

乙：凡不是「以各別擇慧之力斷除所斷之離繫」，都不是別擇滅嗎？

甲：同意。

乙：凡不是別擇滅，都不是滅諦嗎？

甲：同意。

3乙：無為之虛空，應不是滅諦，因為不是別擇滅故。因已許！周遍已許！

甲：同意。

0乙：無為之虛空，應不是四聖諦之一，因為一則不是苦諦，二則不是集諦，三則不是滅諦，四則不是道諦故。第一、第二、第三因已許！

甲：第四因不成。

4乙：無為之虛空，應不是道諦，因為不是道故。

甲：因不成。（檢驗小前提）

乙：無為之虛空，應不是道，因為不是知覺故。

甲：因不成。

乙：無為之虛空，應不是知覺，因為不是無常故。

甲：因不成。

乙：無為之虛空，應不是無常，因為是常故。

甲：同意。

乙：無為之虛空，應不是知覺嗎？

甲：同意。

乙：無為之虛空，應不是道嗎？

甲：同意。

4乙：無為之虛空，應不是道諦，因為不是道故。因已許！

甲：不遍。（檢驗大前提）

乙：應有遍，因為＊道諦是道的部分故。

甲：不遍。

乙：應有遍，因為依據部分的公設故。

甲：同意。

乙：＊道諦應是道的部分，因為道分凡夫之道與聖者之道，而聖者之道與道諦是同義字故。

甲：同意。

乙：凡不是道，都不是道諦嗎？

甲：同意。

乙：無為之虛空，應不是道諦，因為不是道故。因已許！周遍已許！

甲：同意。

0乙：無為之虛空，應不是四聖諦之一，因為一則不是苦諦，二則不是集諦，三則不是滅諦，四則不是道諦故。因已許！

甲：不遍。（檢驗大前提）

乙：應有遍，因為＊四聖諦是苦諦、集諦、滅諦、道諦故。

甲：同意。

乙：＊四聖諦應是苦諦、集諦、滅諦、道諦，因為經上說：四聖諦是苦諦、集諦、滅諦、道諦故。

甲：同意。

0乙：無為之虛空，應不是四聖諦之一，因為一則不是苦諦，二則不是集諦，三則不是滅諦，四則不是道諦故。因已許！周遍已許！

甲：同意。

◎乙：凡是存在，不都是四聖諦之一，因為無為之虛空是存在，而不是四聖諦之一故。因已許！

甲：同意。

乙：完結！