因明立式辯經教材（二）

註：衍生命題也可以如下成立：
1＊無常應是存有的部分，因為與無常為一故。  （同意）
a＊色蘊應是無常的部分，因為與色蘊為一故。 （同意）
b＊物質應是色蘊的同義字，因為與物質為一故。 （同意）
c＊桌子應是物質的部分，因為與桌子為一故。 （同意）
 說明：以上的因（理由）歸至自身為一的公設。

〔例二〕
○感受應是存有嗎？           （為什麼？）
1感受應是存有，因為是無常故。【第一輪】   （因不成）
a感受應是無常，因為是知覺故。      （因不成）
b感受應是知覺，因為是心所故。      （因不成）
c感受應是心所，因為是心所中的感受故。 （因不成）
d感受應是心所中的感受，因為是與感受為一故。 （因不成）
感受應是與感受為一，因為依據自身為一的公設故。 （同意）
（總計同意）
（所以）感受應是心所中的感受嗎？ （同意）
（所以）感受應是心所嗎？        （同意）
（所以）感受應是知覺嗎？       （同意）
（所以）感受應是無常嗎？         （同意）
1感受應是存有，因為是無常故。因已許！【第二輪】（不遍）
應有遍，因為＊無常是存有的部分故。    （不遍）
應有遍，因為依據部分的公設故。     （同意）

a感受應是無常，因為是知覺故。因已許！   （不遍）
應有遍，因為＊知覺是無常的部分故。    （不遍）
應有遍，因為依據部分的公設故。     （同意）

b感受應是知覺，因為是心所故。因已許！  （不遍）
應有遍，因為＊心所是知覺的部分故。    （不遍）
應有遍，因為依據部分的公設故。    （同意）

c感受應是心所，因為是心所中的感受故。因已許！ （不遍）
應有遍，因為＊感受是心所的部分故。    （不遍）
應有遍，因為依據部分的公設故。   （同意）

d感受應是心所中的感受，因為與感受為一故。因已許！（不遍）
應有遍，因為依據同義字的公設故。  （同意）

（衍生命題）
1＊無常應是存有的部分，因為與無常為一故。  （同意）
a＊知覺應是無常的部分，因為與知覺為一故。 （同意）
b＊心所應是知覺的部分，因為《佛法總綱》說：「知覺分心王、心所」故。           （同意）
c＊感受應是心所的部分，因為與感受為一故。 （同意）
（總計同意：略）
（總結）
1感受應是存有，因為是無常故。因已許！周遍已許！  （同意）
完結！

〔例三〕
○白馬應是存在嗎？     （為什麼？）
1白馬應是存在，因為是無常故。【第一輪】    （因不成）
a白馬應是無常，因為是不相應行故。    （因不成）
b白馬應是不相應行，因為是馬故。     （因不成）
c白馬應是馬，因為是白色的馬故。     （因不成）
d白馬應是白色的馬，因為是與白馬為一故。  （因不成）
白馬應是與白馬為一，因為依據自身為一的公設故。（同意）
（總計同意）
（所以）白馬應是白色的馬嗎？   （同意）
（所以）白馬應是馬嗎？        （同意）
（所以）白馬應是不相應行嗎？      （同意）
（所以）白馬應是無常嗎？         （同意）
1白馬應是存在，因為是無常故。因已許！【第二輪】（不遍）
應有遍，因為＊無常是存在的部分故。   （不遍）
應有遍，因為依據部分的公設故。     （同意）
a白馬應是無常，因為是不相應行故。因已許！  （不遍）
應有遍，因為＊不相應行是無常的部分故。  （不遍）
應有遍，因為依據部分的公設故。   （同意）
b白馬應是不相應行，因為是馬故。因已許！ （不遍）
應有遍，因為＊馬是不相應行的部分故。   （不遍）
應有遍，因為依據部分的公設故。   （同意）
c白馬應是馬，因為是白色的馬故。因已許！  （不遍）
應有遍，因為＊白色的馬是馬的部分故。   （不遍）
應有遍，因為依據部分的公設故。   （同意）
d白馬應是白色的馬，因為與白馬為一故。因已許！ （不遍）
應有遍，因為依據同義字的公設故。   （同意）
（衍生命題）
1＊無常應是存在的部分，因為與無常為一故。  （同意）
a＊不相應行應是無常的部分，因為與不相應行為一故。 （同意）
b＊馬應是不相應行的部分，因為與馬為一故。（同意）
c＊白色的馬應是馬的部分，因為與白色的馬為一故。 （同意）
（總計同意：略）
（總結）
1白馬應是存在，因為是無常故。因已許！周遍已許！ （同意）
完結！

雙基本命題

當二詞相互比較範圍時，有二個基本命題的出現，其成立方式同於單一基本命題的二輪推論法，唯推論中有重複時，可以依據狀況省略。

【舉例】有人說：凡是顏色，都是紅色。
攻方：凡是顏色，都是紅色嗎？
守方：同意。（此處明確示出守方的主張）
說明：接著，攻方找出諍由（有法、前陳）：如，黃花的顏色、綠芽的顏色等，是顏色而不是紅色。於此攻方有二基本命題要成立：（1）黃花的顏色，應是顏色；（2）黃花的顏色，應不是紅色。
傳統上，攻方於此處會提出破式：「黃花的顏色，應是紅色，因為是顏色故。」今則採用立式，直接成立上述二基本命題如下。為了便於區分，命題1內的命題用a,b,c,d等編號。命題2內的命題用p,q,r,s等編號。
0攻方：凡是顏色，不都是紅色，因為黃花的顏色是顏色而不是紅色故。
守方：前因不成。（不同意第一個理由：黃花的顏色是顏色）
（基本命題1）
1攻方：黃花的顏色，應是顏色，因為是黃色故。【第一輪檢驗小前提】
守方：因不成。
a攻方：黃花的顏色，應是黃色，因為與黃花的顏色為一故。
守方：因不成。
攻方：黃花的顏色，應是與黃花的顏色為一，因為依據自身為    一的公設故。
守方：同意。
（總計同意）
a攻方：黃花的顏色，應是黃色嗎？
守方：同意。
1攻方：黃花的顏色，應是顏色，因為是黃色故。因已許！【第二輪依次檢驗大前提】。
守方：不遍。
攻方：應有遍，因為＊黃色是顏色的部分故。
守方：不遍。
攻方：應有遍，因為依據部分的公設故。
守方：同意。
a攻方：黃花的顏色，應是黃色，因為與黃花的顏色為一故。因已許！
守方：不遍。
攻方：應有遍，因為依據同義字的公設故。
守方：同意。
（衍生命題）
1＊攻方：黃色應是顏色的部分，因為與黃色為一故。【檢驗小前提】
守方：因不成。
攻方：黃色應與黃色為一，因為依據自身為一的公設故。
守方：同意。
1＊攻方：黃色應是顏色的部分，因為與黃色為一故。因已許！【次檢驗大前提】
守方：不遍。
攻方：應有遍，因為依據一般的公設故。
守方：同意。
1＊攻方：黃色應是顏色的部分，因為與黃色為一故。因已許！周遍已許！
守方：同意。
（總計同意）
a攻方：凡是與黃花的顏色為一，都是黃色嗎？
守方：同意。
1攻方：凡是黃色都是顏色嗎？
守方：同意。
（小結命題1：以上對相關的大小前提都已檢驗完畢）
1攻方：黃花的顏色，應是顏色，因為是黃色故。因已許！周遍已許！
守方：同意。
0攻方：凡是顏色，不都是紅色，因為黃花的顏色是顏色而不是紅色故。前因已許！
守方：後因不成。（不同意第二個理由：黃花的顏色不是紅色）
（基本命題2）
〔2攻方：黃花的顏色，應不是紅色，因為是黃色故。（給出立式）
【第一輪：先檢驗小前提】
守方：因不成。
p攻方：黃花的顏色應是黃色，因為與黃花的顏色為一故。
守方：因不成。
q攻方：黃花的顏色應與黃花的顏色為一，因為依據自身為一的公設故。
守方：同意。〕（以上第一輪可省，於基本命題1中已成立故）
2攻方：黃花的顏色，應不是紅色，因為是黃色故。因已許！
【第二輪：檢驗大前提】
守方：不遍。
攻方：應有遍，因為＊黃色是與紅色相違故。
守方：不遍。
攻方：應有遍，因為依據相違的公設故。
守方：同意。
（衍生命題）
2＊攻方：黃色應是與紅色相違，因為是與紅色相違的黃色故。
守方：因不成。
攻方：黃色應是與紅色相違的黃色，因為與黃色為一故。
守方：因不成。
攻方：黃色應與與黃色為一，因為依據自身為一的公設故。
守方：同意。
（總計同意）
2攻方：凡是黃色，都不是紅色嗎？
守方：同意。
（小結命題2：以上對相關的大小前提都已檢驗完畢）
2攻方：黃花的顏色，應不是紅色，因為是黃色故。因已許！周遍已許！
守方：同意。
（總結命題1與2）
0攻方：凡是顏色，不都是紅色，因為黃花的顏色是顏色而不是紅色故。因已許！
守方：同意。
攻方：完結！

【實習一】有人說：凡是無常，都是知覺。
攻方：凡是無常，都是知覺嗎？
守方：同意。
攻方找出論題（諍由、有法）：如，聲音，是無常而不是知覺。此處攻方有二基本命題要成立：（1）聲是無常；（2）聲不是知覺。
0攻方：凡是無常不都是知覺，因為聲是無常且不是知覺故。
守方：前因不成。
1攻方：聲，應是無常，因為是所作性故。  （因不成）
a攻方：聲，應是所作性，因為是已生的法故。 （因不成）
b攻方：聲，應是已生的法，因為是色蘊故。 （因不成）
c攻方：聲，應是色蘊，因為是色蘊中的聲故。 （因不成）
d攻方：聲，應是色蘊中的聲，因為與聲為一故。 （同意）
（總計同意）
c攻方：聲，應是色蘊嗎？      （同意）
b攻方：聲，應是已生的法嗎？     （同意）
a攻方：聲，應是所作性嗎？     （同意）
1攻方：聲，應是無常，因為是所作性故。因已許！
守方：不遍。
攻方：〔凡是所作性，都是無常〕應有遍，因為＊所作性是無常的同義字故。
守方：不遍。
攻方：〔若所作性是無常的同義字，則凡是所作性，都是無常〕應有遍，因為依據同義字的公設故。
守方：同意。
a攻方：聲，應是所作性，因為是已生的法故。因已許！
守方：不遍。
攻方：〔凡是已生的法，都是所作性〕應有遍，因為＊已生的法是所作性的定義故。 
守方：不遍。
攻方：〔若已生的法是所作性的定義，則凡是已生的法，都是所作性〕應有遍，因為依據定義的公設故。
守方：同意。
b攻方：聲，應是已生的法，因為是色蘊故。因已許！
守方：不遍。
攻方：〔凡是色蘊，都是已生的法〕應有遍，因為＊色蘊是已生的法的部分故。 
守方：不遍。
攻方：〔若色蘊是已生的法的部分，則凡是色蘊，都是已生的法〕應有遍，因為依據部分的公設故。
守方：同意。
c攻方：聲，應是色蘊，因為是色蘊中的聲故。因已許！
守方：不遍。
攻方：〔凡是色蘊中的聲，都是色蘊〕應有遍，因為＊聲是色蘊的部分故。
守方：不遍。
攻方：〔若聲是色蘊的部分，則凡是色蘊中的聲，都是色蘊〕應有遍，因為依據部分的公設故。
守方：同意。
d攻方：聲，應是色蘊中的聲，因為與聲為一故。因已許！
守方：不遍。
攻方：〔凡與聲為一，都是色蘊中的聲〕應有遍，因為依據同義字的公設故。
守方：同意。
1＊攻方：所作性應是無常的同義字，因為《佛法總綱》說無常與所作性是同義字故。
守方：同意。
a＊攻方：已生的法應是所作性的定義，因為《佛法總綱》說所作性的定義是已生的法故。
守方：同意。
b＊攻方：色蘊應是已生的法的部分，因為與色蘊為一故。 
守方：同意。
c＊攻方：聲應是色蘊的部分，因為與聲為一故。
守方：同意。
（總計同意）
d攻方：凡與聲為一，都是色蘊中的聲嗎？  （同意）
c攻方：凡是色蘊中的聲，都是色蘊嗎？   （同意）
b攻方：凡是色蘊，都是已生的法嗎？    （同意）
a攻方：凡是已生的法，都是所作性嗎？   （同意）
1攻方：凡是所作性，都是無常嗎？    （同意）
1攻方：聲，應是無常，因為是所作性故。因已許！周遍已許！
守方：同意。
0攻方：凡是無常不都是知覺，因為聲是無常且不是知覺故。前因已許！
守方：後因不成。
2攻方：聲，應不是知覺，因為是色蘊故。因已許！
守方：不遍。
攻方：〔凡是色蘊，都不是知覺〕應有遍，因為＊色蘊與知覺是相違故。
守方：不遍。
攻方：〔若色蘊與知覺是相違，則凡是色蘊，都不是知覺〕應有遍，因為依據相違的公設故。
守方：同意。
2＊攻方：色蘊與知覺應是相違，因為一般所共許故。
守方：同意。
（總計同意）
2攻方：凡是色蘊，都不是知覺嗎？   （同意）
2攻方：聲，應不是知覺，因為是色蘊故。因已許！周遍已許！
守方：同意。
（總結）
0攻方：凡是無常不都是知覺，因為聲是無常且不是知覺故。因已許！
守方：同意。
攻方：完結！
【實習二】有人說：凡是無常，都是不相應行。
攻方：凡是無常，都是不相應行嗎？
守方：同意。
攻方找出諍由（有法、前陳）：如，正量、色蘊等，是無常而不是不相應行。於此攻方有二基本命題要成立：（1）正量，應是無常；（2）正量，應不是不相應行。為了便於區分，命題1內的命題編號用a,b,c,d等。命題2內的命題編號用p,q,r,s等。
0攻方：凡是無常不都是不相應行，因為正量是無常且不是不相應行故。
守方：前因不成。
（命題1）
1正量，應是無常，因為是有為法故。    （因不成）
a正量，應是有為法，因為是從因緣所生的法故。（因不成）
b正量，應是從因緣所生的法，因為是實事故。（因不成）
c正量，應是實事，因為是知覺故。    （因不成）
d正量，應是知覺，因為是知覺中的正量故。  （因不成）
e正量，應是知覺中的正量，因為與正量為一故。（因不成）
正量，應與正量為一，因為依據自身為一的公設故。（同意）
（總計同意）
正量，應是知覺嗎？       （同意）
正量，應是實事嗎？      （同意）
正量，應是有為法嗎？      （同意）
1 正量，應是無常，因為是有為法故。因已許！   （不遍）
應有遍，因為＊有為法是無常的同義字故。    （同意）
a正量，應是有為法，因為是從因緣所生的法故。因已許！（不遍）
應有遍，因為＊從因緣所生的法是有為法的定義故。 （同意）
b正量，應是從因緣所生的法，因為是實事故。因已許！ （不遍）
應有遍，因為＊從因緣所生的法是實事的同義字故。  （同意）
c正量，應是實事，因為是知覺故。因已許！   （不遍）
應有遍，因為＊知覺是實事的部分故。    （同意）
（總計同意：略）
1正量，應是無常，因為是有為法故。因已許！周遍已許！（同意）
0攻方：凡是無常不都是不相應行，因為正量是無常且不是不相應行故。前因已許！
守方：後因不成。
（命題2）
2正量，應不是不相應行，因為是知覺故。   （因不成）
p正量，應是知覺，因為是無欺的知覺故。   （因不成）
q正量，應是無欺的知覺，因為是新而無欺的知覺故。（因不成）
r正量，應是新而無欺的知覺，因為與正量為一故。 （因不成）
s正量，應是與正量為一，因為依據自身為一的公設故。（同意）
（總計同意）
正量，應是新而無欺的知覺嗎？      （同意）
正量，應是無欺的知覺嗎？       （同意）
正量，應是知覺嗎？      （同意）
2正量，應不是不相應行，因為是知覺故。因已許！ （不遍）
應有遍，因為＊知覺與不相應行相違故。   （同意）
p正量，應是知覺，因為是無欺的知覺故。因已許！ （不遍）
應有遍，因為＊無欺的知覺是知覺的部分故。   （同意）
q正量，應是無欺的知覺，因為是新而無欺的知覺故。因已許！（不遍）
應有遍，因為＊新而無欺的知覺是無欺的知覺的部分故。  （同意）
r正量，應是新而無欺的知覺，因為與正量為一故。因已許！ （不遍）
應有遍，因為＊新而無欺的知覺是正量的定義故。   （同意）
（總計同意：略）
2正量，應不是不相應行，因為是知覺故。因已許！周遍已許！ （同意）
（總結）
0攻方：凡是無常不都是不相應行，因為正量是無常且不是不相應行故。因已許！
守方：同意。
攻方：完結！

【實習三】有人說：凡是無常，都是色蘊。
攻方：凡是無常，都是色蘊嗎？
守方：同意。
  攻方找出前陳「白馬」：是無常，而不是色蘊。
0攻方：凡是無常不都是色蘊，因為白馬是無常而不是色蘊故。
守方：前因不成。
1攻方：白馬，應是無常，因為是不相應行故。  （因不成）
a白馬應是不相應行，因為是馬故。    （因不成）
b白馬應是馬，因為是白色的馬故。     （因不成）
c白馬應是白色的馬，因為與白馬為一故。   （因不成）
白馬應與白馬為一，因為依據自身為一的公設故。 （同意）
（總計同意）
（所以）白馬應是白色的馬嗎？   （同意）
（所以）白馬應是馬嗎？       （同意）
（所以）白馬應是不相應行嗎？     （同意）
1白馬，應是無常，因為是不相應行故。因已許！ （不遍）
應有遍，因為＊不相應行是無常的部分故。 （不遍）
應有遍，因為依據部分的公設故。   （同意）

a白馬應是不相應行，因為是馬故。因已許！ （不遍）
應有遍，因為＊馬是不相應行的部分故。   （不遍）
應有遍，因為依據部分的公設故。   （同意）
b白馬應是馬，因為是白色的馬故。因已許！  （不遍）
應有遍，因為＊白色的馬是馬的部分故。   （不遍）
應有遍，因為依據部分的公設故。   （同意）
c白馬應是白色的馬，因為與白馬為一故。因已許！ （不遍）
應有遍，因為依據同義詞的公設故。   （同意）
（衍生命題）
1＊不相應行應是無常的部分，因為與不相應行為一故。 （同意）
a＊馬應是不相應行的部分，因為與馬為一故。   （同意）
b＊白色的馬應是馬的部分，因為與白色的馬為一故。 （同意）
（總計同意：略）
（小結）
1白馬，應是無常，因為是不相應行故。因已許！周遍已許！ （同意）
0凡是無常不都是色蘊，因為白馬是無常而不是色蘊故。前因已許！
守方：後因不成。
2攻方：白馬，應不是色蘊，因為是不相應行故。因已許！
守方：不遍。
攻方：應有遍，因為＊不相應行與色蘊是相違故。
守方：不遍。
攻方：應有遍，因為依據相違的公設故。
守方：同意。
（衍生命題）
2＊攻方：不相應行應與色蘊是相違，因為與色蘊無共同部分故。
守方：同意。
（總計同意：略）
（小結）
2攻方：白馬，應不是色蘊，因為是不相應行故。因已許！周遍已許！
守方：同意。
（總結）
0攻方：凡是無常不都是色蘊，因為白馬是無常而不是色蘊故。因已許！
守方：同意。
攻方：完結！

測驗題實習：機動回答

【基本原則】攻方參考《佛法總綱》立出測驗的論式，守方要熟練於分辨正因與似因，掌握術語間之大小範圍，並依據框內的見解給予正確的回答。

【實例一】
0攻方：道應是常嗎？
0守方：※同意。 （此為錯答，接著攻方從反面來問）
1攻方：道應不是常，因為是無常故。（攻方以下所立為證明題）
守方：因不成。
a攻方：道應是無常，因為是心所故。
守方：因不成。
b攻方：道應是心所，因為是慧心所故。
守方：因不成。
c攻方：道應是慧心所，因為是慧心所中的道故。
守方：因不成。
d攻方：道應是慧心所中的道，因為與道為一故。
守方：同意。
c攻方：道應是慧心所嗎？
守方：同意。
b攻方：道應是心所嗎？
守方：同意。
a攻方：道應是無常嗎？
守方：同意。
1攻方：道應不是常嗎？
1守方：同意。 （守方前後相違）
攻方：完結！

【實例二】
0攻方：道應不是常嗎？
0守方：同意。 （此為正答，接著攻方從反面來問）
1攻方：道應是常，因為是非所作性故。（攻方以下所立為測驗題）
守方：因不成。
a攻方：道應是非所作性，因為是無實的法故。
守方：※不遍。 （此為錯答）
b攻方：應有遍，因為無實的法是非所作性的同義詞故。
守方：不遍。
c攻方：應有遍，因為依據同義詞的公設故。
守方：同意。
b攻方：若無實的法是非所作性的同義詞，則凡是無實的法，都是非所作性嗎？
守方：同意。
a攻方：凡是無實的法，都是非所作性嗎？
守方：同意。
1攻方：道應是常，因為是非所作性故。因已許！周遍已許！
守方：同意。
攻方：完結！
評析：無實＝不是所作性＝無＋常。無實的法＝不是所作性的法＝常。
守方在「※不遍」處應答：「因不成」，由於選錯而「失分」（前後相違）。

【釐清範圍之類】

【例】
虛空應是有嗎？     （同意）
虛空應是常、無常二者之一嗎？  （同意）
0虛空應是常嗎？     （同意，接著攻方從反面來問）
1虛空應不是常嗎？      （為什麼？）
虛空應不是常，因為是無常故。   （因不成）
虛空應是無常，因為是色、知、不相應行三者之一故。 （因不成）
虛空應是色、知、不相應行三者之一，因為是不相應行故。（因不成）
虛空應是不相應行，因為是非色非知的法故。 （※因不成，此為錯答）
虛空應是非色非知的法，因為是非色非知的無為法故。 （因不成）
虛空應是非色非知的無為法，因為是無為法中的虛空故。 （因不成）
虛空應是無為法中的虛空，因為與虛空為一故。 （因不成）
虛空應是與虛空為一，因為依據自身為一的公設故。 （同意）
（總計同意）
虛空應是無為法中的虛空嗎？      （同意）
虛空應是非色非知的無為法嗎？   （同意）
虛空應是非色非知的法嗎？     （同意）
虛空應是不相應行嗎？      （同意）
虛空應是無常嗎？        （同意）
虛空應不是常嗎？        （同意）
完結！
評解：「※因不成」之處，應答「不遍」。因為「非色非知的法」不是「不相應行」的定義。