公孙龙白马非马之辩.PDFVIP

科學哲學專文E3 公孫龍白馬非馬之辯 ──因明推理的應用 林崇安（2007.01 ） 中央大學太空科學研究所 一、前言 戰國末年的趙國辯論家公孫龍（西元前 320-前 250），是平原君的 食客。據說有一天，他騎一匹白馬出關，守關的人說：「上級規定， 人可過，馬不准過！」 公孫龍回答說：「我騎的是白馬，白馬非馬！」 守關的人沒有學過現代的邏輯，也沒有學過因明的推理，辯不過 他，就讓他騎著白馬出關了，留下這個著名的 「白馬非馬 」的命題。 以下我們採用因明推論的方式來論證這一命題。任何怪異的命題或 模糊的詭辯，只要雙方遵守因明的規範來攻守，都可以釐清觀念，不再 詭異。一般講到辯論，大家喜歡提到白馬非馬，因而此處就以這一題目 作為推論的實際例子 ，藉此可以看出因明推論的清晰方式。 二、因明的立式和破式說明 【立式方式一】單稱命題 〔基本格式〕 ○守方主張A 是B 。 攻方：A ，應是B 嗎？ 守方：同意。（守方確認立場） 攻方：A ，應不是B ，因為是C 故。（立式） 1 （攻方以立式提出自己的觀點） 〔例〕 ○守方主張白馬不是馬。 攻方：白馬，應不是馬嗎？ 守方：同意。（守方確認立場） 攻方：白馬，應是馬，因為是白色的馬故。（立式） （攻方以立式提出自己的觀點） 【立式方式二】全稱命題 〔基本格式〕 ○守方主張凡是B 都是B1 。 攻方：凡是B ，遍是B1 嗎？ 守方：同意。（守方確認立場） 攻方：凡是B ，應不遍是B1 ，因為B2 是B 而不是B1 故。（立式） 說明：攻方以立式提出自己的觀點和理由。針對全稱命題，攻方找出例 外B2 ，成立自己的觀點。 〔例〕 ○守方主張凡是馬都是白馬。 攻方：凡是馬 ，遍是白馬嗎？ 守方：同意。（守方確認立場） 攻方：凡是馬 ，應不遍是白馬，因為黑馬是馬而不是白馬故。（立式） 說明：攻方以立式提出自己的觀點和理由。針對全稱命題，攻方找出例 外「黑馬」，成立自己的觀點。 【破式方式一】單稱命題 〔基本格式〕 ○守方主張A 是B 。 攻方：A ，應是B 嗎？ 守方：同意。（守方確認立場） 攻方：A ，應是C ，因為是B 故。因已許！（破式） 2 說明：攻方順著對方的觀點提出破式。因已許 ，是提醒守方這小前提是 守方同意的 。 〔例〕 ○守方主張白馬不是馬。 攻方：白馬，應不是馬嗎？ 守方：同意。（守方確認立場） 攻方：白馬，應不是白色的馬，因為不是馬故。因已許！（破式） 說明：攻方順著對方的觀點提出破式。因已許，是提醒守方這小前提（白 馬不是馬）是守方同意的。 【破式方式二】全稱命題 〔基本格式〕 ○守方主張凡是B 都是B1 。 攻方：凡是B ，遍是B1 嗎？ 守方：同意。（守方確認立場） 攻方：B2 ，應是B1 ，因為是B 故。周遍已許！（破式） 說明：攻方順著對方的觀點提出破式。周遍已許 ，是提醒守方這大前提 是守方同意的 。針對全稱命題（大前提），攻方找出例外B2 來破對方。 〔例〕 ○守方主張凡是馬都是白馬。 攻方：凡是馬，遍是白馬嗎？ 守方：同意。（守方確認立場） 攻方：黑馬 ，應是白馬，因為是馬故。周遍已許！（破式） 說明：攻方順著對方的觀點提出破式。周遍已許 ，是提醒守方這大前提 （凡是馬都是白馬）是守方同意的。針對全稱命題（大前提），攻方找 出例外「黑馬」來破對方。 小結： 由上述例子，可以看出因明的立式和破式的論證方式，雖類同於西洋的 邏輯 ，但使用時更有規律和靈活。 三 、推論的準備 3 推論前雙方對所辯論的主題要有起碼的一些基本知識，例如，定 義 、分類、同義詞、舉例等。在百法或存有的分類下： 1 存有分成常和無常。存有、存在和 「法」是同義詞。 2 無常分成物質 、知覺、不相應行三類。覺知是知覺的同義詞。不相應 行的定義是非物質、非知覺的無常法。 3 物質的舉例，如顏色、形狀。知覺的舉例，如感受、貪愛。不相應行 的舉例，如動物、馬、牛、人。