因明辩经的基本证明题
林崇安,2006
(内观杂志第43期，2006年8月)
说明：为了熟练因明辩经的论证过程，此处举出实用而简易的基本证明题作说明，在证明过程中，先证明小前提的成立，而后是大前提的成立，后者有＊衍生命题的出现，此时守方的回答有二种，因而有a和b二种状况，以下分别明示之。
【1a因明证明题】孔子是人。
攻方：孔子是人吗？
守方：为什么？
1攻方：孔子应是人，因为是亚洲人故。
守方：因不成。
攻方：孔子应是亚洲人，因为是中国人故。
守方：因不成。
攻方：孔子应是中国人，因为是山东人故。
守方：因不成。
攻方：孔子应是山东人，因为是山东人中的孔子故。
守方：因不成。
攻方：孔子应是山东人中的孔子，因为是与孔子为一故。
守方：因不成。
攻方：孔子应是与孔子为一，因为依据自身为一的公设故。
守方：同意。
(总计同意)
攻方：孔子是山东人吗？
守方：同意。
攻方：孔子是中国人吗？
守方：同意。
攻方：孔子是亚洲人吗？
守方：同意。(以上小前提的成立)
1攻方：孔子应是人，因为是亚洲人故。因已许！
守方：不遍。
攻方：〔凡是亚洲人，都是人〕应有遍，因为＊亚洲人是人的部分故。
a＊守方：不遍。
攻方：〔若亚洲人是人的部分，则凡是亚洲人，都是人〕应有遍，因为依据部分的公设故。
守方：同意。
(总计同意)
攻方：凡是亚洲人，都是人吗？
守方：同意。(以上大前提的成立)
1攻方：孔子应是人，因为是亚洲人故。因已许！周遍已许！
守方：同意。
攻方：完结！
【1b因明证明题】孔子是人。
攻方：孔子是人吗？
守方：为什么？
1攻方：孔子应是人，因为是亚洲人故。
守方：因不成。
攻方：孔子应是亚洲人，因为是中国人故。
守方：因不成。
攻方：孔子应是中国人，因为是山东人故。
守方：因不成。
攻方：孔子应是山东人，因为是山东人中的孔子故。
守方：因不成。
攻方：孔子应是山东人中的孔子，因为是与孔子为一故。
守方：因不成。
攻方：孔子应是与孔子为一，因为依据自身为一的公设故。
守方：同意。
(总计同意)
攻方：孔子是山东人吗？
守方：同意。
攻方：孔子是中国人吗？
守方：同意。
攻方：孔子是亚洲人吗？
守方：同意。(以上小前提的成立)
1攻方：孔子应是人，因为是亚洲人故。因已许！
守方：不遍。
攻方：〔凡是亚洲人，都是人〕应有遍，因为＊亚洲人是人的部分故。
b＊守方：因不成。
攻方：亚洲人应是人的部分，因为人分成亚洲人、欧洲人等故。
守方：同意。
(总计同意)
攻方：凡是亚洲人，都是人吗？
守方：同意。(以上大前提的成立)
a攻方：孔子应是人，因为是亚洲人故。因已许！周遍已许！
守方：同意。
攻方：完结！
【2a因明证明题】声是无常。
攻方：声，应是无常吗？
守方：为什么？
1攻方：声，应是无常，因为是所作性故。
守方：因不成。
攻方：声，应是所作性，因为是已生的法故。
守方：因不成。
攻方：声，应是已生的法，因为是色蕴故。
守方：因不成。
攻方：声，应是色蕴，因为是内色、外色二者之一故。
守方：因不成。
攻方：声，应是内色、外色二者之一，因为是外色故。
守方：因不成。
攻方：声，应是外色，因为是色、声、香、味、触五处之一故。
守方：因不成。
攻方：声，应是色、声、香、味、触五处之一，因为是声处故。
守方：因不成。
攻方：声，应是声处，因为是与声为一故。
守方：因不成。
攻方：声，应是与声为一，因为依据自身为一的公设故。
守方：同意。
(总计同意)
攻方：声，应是声处吗？
守方：同意。
攻方：声，应是色、声、香、味、触五处之一吗？
守方：同意。
攻方：声，应是外色吗？
守方：同意。
攻方：声，应是内色、外色二者之一吗？
守方：同意。
攻方：声，应是色蕴吗？
守方：同意。
攻方：声，应是已生的法吗？
守方：同意。
攻方：声，应是所作性吗？
守方：同意。(以上小前提的成立)
1攻方：声，应是无常，因为是所作性故。因已许！
守方：不遍。
攻方：〔凡是所作性，都是无常〕应有遍，因为＊所作性是无常的同义词故。
a＊守方：不遍。
攻方：〔若所作性是无常的同义词，则凡是所作性，都是无常〕应有遍，因为依据同义词的公设故
守方：同意。
(总计同意)
攻方：凡是所作性，都是无常吗？
守方：同意。(以上大前提的成立)
1攻方：声，应是无常，因为是所作性故。因已许！周遍已许！
守方：同意。
攻方：完结！
【2b因明证明题】声是无常。
攻方：声，应是无常吗？
守方：为什么？
1攻方：声，应是无常，因为是所作性故。
守方：因不成。
攻方：声，应是所作性，因为是已生的法故。
守方：因不成。
攻方：声，应是已生的法，因为是色蕴故。
守方：因不成。
攻方：声，应是色蕴，因为是内色、外色二者之一故。
守方：因不成。
攻方：声，应是内色、外色二者之一，因为是外色故。
守方：因不成。
攻方：声，应是外色，因为是色、声、香、味、触五处之一故。
守方：因不成。
攻方：声，应是色、声、香、味、触五处之一，因为是声处故。
守方：因不成。
攻方：声，应是声处，因为是与声为一故。
守方：因不成。
攻方：声，应是与声为一，因为依据自身为一的公设故。
守方：同意。
(总计同意)
攻方：声，应是声处吗？
守方：同意。
攻方：声，应是色、声、香、味、触五处之一吗？
守方：同意。
攻方：声，应是外色吗？
守方：同意。
攻方：声，应是内色、外色二者之一吗？
守方：同意。
攻方：声，应是色蕴吗？
守方：同意。
攻方：声，应是已生的法吗？
守方：同意。
攻方：声，应是所作性吗？
守方：同意。(以上小前提的成立)
1攻方：声，应是无常，因为是所作性故。因已许！
守方：不遍。
攻方：〔凡是所作性，都是无常〕应有遍，因为＊所作性是无常的同义词故。
b＊守方：因不成。
攻方：所作性应是无常的同义词，因为《佛法总纲》说：「无常、所作性、有为法、实事是同义词」故。
守方：同意。
(总计同意)
攻方：凡是所作性，都是无常吗？
守方：同意。(以上大前提的成立)
攻方：声，应是无常，因为是所作性故。因已许！周遍已许！
守方：同意。
攻方：完结！
