因明辯經的原理與基本格式

因明辯經的原理與基本格式

林崇安（內觀雜誌,第37期,2006,02）

重點：以下將因明辯經的原理以及經常出現的格式列出，便於看清其脈絡。文末並舉一因明立式辯經實例作說明。

（A）因明論式與三段論法
◆定言三段論法
  大前提：凡是C都是B。 ←→不遍
小前提：A是C。 ←→因不成
結論：A是B。
因明論式：A應是B，因為是C故。
◆假言三段論法：若P，則Q。
  大命題：若P，則Q。 ←→不遍
  小命題：＊P。 ←→因不成
  結 論：Q。
因明論式：Q，因為＊P故。
＊P稱作衍生命題。

（B）因明論式小前提的成立
  A應是B嗎？       （為什麼？）
  A應是B，因為是C故。   （因不成）
  A應是C，因為是D故。  （因不成）
  …………  （因不成）
  A應是N，因為是N中的A故。 （因不成）
  A應是N中的A，因為與A為一故。 （因不成）
  A應是與A為一，因為依據自身為一的公設故。（同意）
  （總計同意）
  A應是N嗎？    （同意）
  ………… （同意）
A應是C嗎？     （同意）
  A應是B嗎？     （同意）

（C）因明論式大前提的成立
【1】名標A與其定義B
攻方：C應是A，因為是B故。
守方：（凡B是A）不遍。
攻方：（凡B是A）應有遍，因為＊B是A的定義故。
守方：（若B是A的定義，則凡B是A）不遍。
攻方：應有遍，因為依據定義的公設故。
守方：同意。

【2】A與B是同義詞
攻方：C應是A，因為是B故。
守方：（凡B是A）不遍。
攻方：（凡B是A）應有遍，因為＊B是A的同義詞故。
守方：（若B是A的同義詞，則凡B是A）不遍。
攻方：應有遍，因為依據同義詞的公設故。
守方：同意。

【3】A是整體（母集合），B是部分（子集合）
攻方：C應是A，因為是B故。
守方：（凡B是A）不遍。
攻方：（凡B是A）應有遍，因為＊B是A的部分故。
守方：（若B是A的部分，則凡B是A）不遍。
攻方：應有遍，因為依據部分的公設故。
守方：同意。
或：
攻方：C應是A，因為是B故。
守方：（凡B是A）不遍。
攻方：（凡B是A）應有遍，因為＊A是B等等的整體故。
守方：（若A是B等等的整體，則凡B是A）不遍。
攻方：應有遍，因為依據整體的公設故。
守方：同意。

【4】A與B是相違
攻方：C應不是A，因為是B故。
守方：（凡B不是A）不遍。
攻方：（凡B不是A）應有遍，因為＊B與A是相違故。
守方：（若B與A是相違，則凡B不是A）不遍。
攻方：應有遍，因為依據相違的公設故。
守方：同意。

【5】若A是果，B是因，A與B是果與因的緣生相屬
攻方：C應有B，因為有A故。
守方：（若有A則有B）不遍。
攻方：（若有A則有B）應有遍，因為＊A與B是果與因的緣生相屬故。
守方：（若A與B是果與因的緣生相屬，則若有A則有B）不遍。
攻方：應有遍，因為依據緣生相屬的公設故。
守方：同意。

（D）（大前題與）＊衍生命題的成立
【續前（C）】
【1】
攻方：＊B是A的定義，因為C故。
守方：同意。
（總計同意）
攻方：凡B是A嗎？
守方：同意。
【2】
攻方：＊B是A的同義詞，因為C故。
守方：同意。
（總計同意）
攻方：凡B是A嗎？
守方：同意。
【3】
攻方：＊B是A的部分，因為C故。
守方：同意。
（總計同意）
攻方：凡B是A嗎？
守方：同意。
【4】
攻方：＊B與A是相違，因為C故。
守方：同意。
（總計同意）
攻方：凡B不是A嗎？
守方：同意。
【5】
攻方：＊A與B是果與因的緣生相屬，因為C故。
守方：同意。
（總計同意）
攻方：若有A則有B嗎？
守方：同意。

（E）因明立式二輪推論法的實習
◆單一基本命題
攻方：A應是B嗎？
守方：為什麼？
1攻方：A應是B，因為是C故。
守方：因不成。【第一輪檢驗小前提】
……
攻方：A應是N，因為是N中的A故。 （因不成）
攻方：A應是N中的A，因為與A為一故。 （因不成）
攻方：A應是與A為一，因為依據自身為一的公設故。（同意）
（總計同意）
攻方：A應是N嗎？    （同意）
  ………… （同意）
攻方：A應是C嗎？     （同意）
1攻方：A應是B，因為是C故。因已許！
守方：不遍。【第二輪檢驗大前提】
攻方：（凡C是B）應有遍，因為＊C是B的…故。
守方：不遍。
攻方：應有遍，因為依據…的公設故。
守方：同意。
（衍生命題）
攻方：＊C應是B的…，因為D故。
守方：同意。
（總計同意）
攻方：凡C是B嗎？
守方：同意。
1攻方：A應是B，因為是C故。因已許！周遍已許！
守方：同意。
攻方：完結！

◆雙基本命題
攻方：凡是A都是B嗎？
守方：同意。
0攻方：凡是A不都是B，因為C是A而不是B故。
守方：前因不成。
1攻方：C，應是A，因為是D故。
守方：因不成。【第一輪檢驗小前提】
……
1攻方：C，應是A，因為是D故。因已許！
守方：不遍。【第二輪檢驗大前提】。
……
1攻方：C，應是A，因為是D故。因已許！周遍已許！
守方：同意。
0攻方：凡是A不都是B，因為C是A而不是B故。前因已許！
守方：後因不成。
2攻方：C，應不是B，因為是E故。
守方：因不成。【第一輪檢驗小前提】
……
2攻方：C，應不是B，因為是E故。因已許！
守方：不遍。【第二輪檢驗大前提】。
……
2攻方：C，應不是B，因為是E故。因已許！周遍已許！
守方：同意。
0攻方：凡是A不都是B，因為C是A而不是B故。因已許！
守方：同意。
攻方：完結！
因明立式辯經實例
立式辯經方式：對每一命題進行二輪檢驗：第一輪檢驗小前提，第二輪檢驗大前提。最後檢驗衍生命題。
【實習】有人說：凡是無常，都是不相應行。
攻方：凡是無常，都是不相應行嗎？
守方：同意。
0攻方：凡是無常不都是不相應行，因為佛智是無常而不是不相應行故。 (根本立式)
守方：前因不成。
1攻方：佛智，應是無常，因為是依他起故。
守方：因不成。 (第一輪)
a攻方：佛智，應是依他起，因為是清淨的依他起故。
守方：因不成。
b攻方：佛智，應是清淨的依他起，因為是佛陀聖者心續之智故。
守方：因不成。
c攻方：佛智，應是佛陀聖者心續之智，因為是與佛智為一故。
守方：同意。
 （總計同意）
攻方：佛智，應是清淨的依他起嗎？
守方：同意。
攻方：佛智，應是依他起嗎？
守方：同意。
1佛智，應是無常，因為是依他起故。因已許！
守方：不遍。 (第二輪)
攻方：應有遍，因為＊依他起是無常的同義字故。
守方：不遍。
攻方：應有遍，因為依據同義字的公設故。
守方：同意。
a攻方：佛智，應是依他起，因為是清淨的依他起故。因已許！
守方：不遍。
攻方：應有遍，因為＊依他起是清淨的依他起等等的整體故。
守方：不遍。
攻方：應有遍，因為依據整體的公設故。
守方：同意。
b攻方：佛智，應是清淨的依他起，因為是佛陀聖者心續之智故。因已許！
守方：不遍。
攻方：應有遍，因為＊清淨的依他起是佛陀聖者心續之智等等的整體故。
守方：不遍。
攻方：應有遍，因為依據整體的公設故。
守方：同意。
c攻方：佛智，應是佛陀聖者心續之智，因為是與佛智為一故。因已許！
守方：不遍。
攻方：應有遍，因為＊佛智是佛陀聖者心續之智的同義字故。
守方：不遍。
攻方：應有遍，因為依據同義字的公設故。
守方：同意。
 （衍生命題）
1＊攻方：依他起應是無常的同義字，因為經論說：依他起與無常是同義字故。
守方：同意。
a＊攻方：依他起應是清淨的依他起等等的整體，因為經論說：依他起分清淨的依他起和不清淨的依他起故。
守方：同意。
b＊攻方：清淨的依他起應是佛陀與聖者心續之智等等的整體，因為與清淨的依他起為一故。
守方：同意。
c＊攻方：佛智應是佛陀聖者心續之智的同義字，因為與佛智為一故。
守方：同意。
（總計同意）
攻方：凡是與佛智為一，都是佛陀聖者心續之智嗎？
守方：同意。
攻方：凡是佛陀聖者心續之智，都是清淨的依他起嗎？
守方：同意。
攻方：凡是清淨的依他起，都是依他起嗎？
守方：同意。
攻方：凡是依他起，都是無常嗎？
守方：同意。
 （小結）
1佛智，應是無常，因為是依他起故。因已許！周遍已許！
守方：同意。
0攻方：凡是無常不都是不相應行，因為佛智是無常而不是不相應行故。前因已許！
守方：後因不成。
2攻方：佛智，應不是不相應行，因為是知覺故。
守方：因不成。 (第一輪)
p攻方：佛智，應是知覺，因為是智慧故。
守方：因不成。
q攻方：佛智，應是智慧，因為是道故。
守方：因不成。
r攻方：佛智，應是道，因為是五道之一故。
守方：因不成。
s攻方：佛智，應是五道之一，因為是無學道故。
守方：因不成。
t攻方：佛智，應是無學道，因為是一切相智故。
守方：因不成。
u攻方：佛智，應是一切相智，因為是與佛智為一故。
守方：同意。
（總計同意）
攻方：佛智，應是無學道嗎？
守方：同意。
攻方：佛智，應是道嗎？
守方：同意。
攻方：佛智，應是智慧嗎？
守方：同意。
攻方：佛智，應是知覺嗎？
守方：同意。
2攻方：佛智，應不是不相應行，因為是知覺故。因已許！
守方：不遍。 (第二輪)
攻方：應有遍，因為＊知覺與不相應行是相違故。
守方：不遍。
攻方：應有遍，因為依據相違的公設故。
守方：同意。
p攻方：佛智，應是知覺，因為是智慧故。因已許！
守方：不遍。
攻方：應有遍，因為＊知覺是智慧等等的整體故。
守方：不遍。
攻方：應有遍，因為依據整體的公設故。
守方：同意。
q攻方：佛智，應是智慧，因為是道故。因已許！
守方：不遍。
攻方：應有遍，因為＊智慧是道等等的整體故。
守方：不遍。
攻方：應有遍，因為依據整體的公設故。
守方：同意。
r攻方：佛智，應是道，因為是五道之一故。因已許！
守方：不遍。
攻方：應有遍，因為＊道是五道的整體故。
守方：不遍。
攻方：應有遍，因為依據整體的公設故。
守方：同意。
s攻方：佛智，應是五道之一，因為是無學道故。因已許！
守方：不遍。
攻方：應有遍，因為經論上說：五道是資糧道、加行道、見道、修道、無學道故。
守方：同意。
t攻方：佛智，應是無學道，因為是一切相智故。因已許！
守方：不遍。
攻方：應有遍，因為＊無學道是一切相智的整體故。
守方：不遍。
攻方：應有遍，因為依據整體的公設故。
守方：同意。
u攻方：佛智，應是一切相智，因為是與佛智為一故。因已許！
守方：不遍。
攻方：應有遍，因為＊佛智是一切相智的同義字故。
守方：不遍。
攻方：應有遍，因為依據同義字的公設故。
守方：同意。
（衍生命題）
2＊攻方：知覺應與不相應行是相違，因為與不相應行無共同部分故。
守方：同意。
p＊攻方：知覺應是智慧等等的整體，因為與知覺為一故。
守方：同意。
q＊攻方：智慧應是道等等的整體，因為與智慧為一故。
守方：同意。
r＊攻方：道是應是五道的整體，因為與道為一故。
守方：同意。
t＊攻方：無學道應是一切相智的整體，因為與無學道為一故。
守方：同意。
u＊攻方：佛智應是一切相智的同義字，因為經論上說：佛智與一切相智是同義字故。
守方：同意。
（總計同意）
攻方：凡是與佛智為一，都是一切相智嗎？
守方：同意。
攻方：凡是一切相智，都是無學道嗎？
守方：同意。
攻方：凡是無學道，都是五道之一嗎？
守方：同意。
攻方：凡是五道之一，都是道嗎？
守方：同意。
攻方：凡是道，都是智慧嗎？
守方：同意。
攻方：凡是智慧，都是知覺嗎？
守方：同意。
攻方：凡是知覺，都不是不相應行嗎？
守方：同意。
（小結）
2攻方：佛智，應不是不相應行，因為是知覺故。因已許！周遍已許！
守方：同意。
（總結）
0攻方：凡是無常不都是不相應行，因為佛智是無常而不是不相應行故。因已許！
守方：同意。
攻方：完結！