因明立式辯經實例之三

林崇安,內觀教育,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乙：無為之虛空，應不是四聖諦之一，因為一則不是苦諦，二則不是集諦，三則不是滅諦，四則不是道諦故。因已許！周遍已許！

甲：同意。

總結

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

甲：同意。

乙：完結！