有因法
[法相辭典（朱芾煌）]瑜伽六十六卷七頁云：復次若善不善無記諸法所有種子，未被損害；彼一切法，皆由能生生起因故；名有因法。又先所作諸業煩惱，於三界中，異熟果熟。此異熟果，由業煩惱引發因故；名有因法。又由三處，正現在前，引發因故；生胎生中。當知此亦名有因法。濕和合故；生濕生中。卵[穀-禾+卵]藏故；生卵[穀-禾+卵]中。當知亦爾。又六識身，以從眼色乃至意法為增上緣，同事因故；名有因法。又有俱生諸心心所，互為展轉同事因故；名有因法。又不善法。由近──惡──友聞──非──正──法不──正──思──惟引發因故；名有因法。當知與此相違，三種引發因故；一切善法，名有因法。又染汙住，生邪精進，無果劬勞，生憂苦住；彼由引發因故；名有因法。又不染汙住，生正精進，有果劬勞，生喜樂住；彼由引發因故；名有因法。又世間道，趣於離欲，及能引發靜慮無色；彼由引發因故；名有因法。又現法中，靜慮無色等至為依，如其所應，往生上地；彼由引發因故；名有因法。又世間法，引出世法；彼由引發因故；名有因法。又出世法。聖道所攝，能證涅槃；彼證涅槃，由引發因故；名有因法。由如是等所說諸相，當知建立有因諸法。
因明學用語。同品有兩種，即宗同品與因同品（但在因明術語上，常稱宗的同品為「同品」，稱因的同品為「同法」以示區別。）凡具有宗法之性質者，稱宗同品；凡具有因法之性質者，稱因同品。如瓶具有宗法「無常」的性質，所以是宗同品；瓶又具有因法「所作」的性質，故又是因同品。又如電，它只具有宗法「無常」的性質而不具有因法「所作」的性質，故電只是宗的同品而不是因的同品。由於宗法的外延比因法大，因此宗的同品不一定是因的同品，而因的同品則必定是宗的同品。如雷、電、霧、雨等雖是「無常」宗的同品，卻非「所作」因的同品，而瓶、盆、碗、罐等，既是「所作」因的同品，就必然是「無常」宗的同品。
把同品明確地劃分為宗同品與異同品的，是窺基。如《因明入正理論疏》卷上云（大正44‧103c）︰「同品有二︰(一)宗同品，（中略）(二)因同品。」該疏將同品明確地分為宗同品與因同品兩種，有助於人們深入地認識與區分同品的種類與認識其相互間的聯繫。（沈劍英）
因明學用語。指與宗後陳及因義同類均等的例喻；亦即在因明論式中，所立的同喻是具足因同品、宗同品等兩種條件的既知例證。又稱同喻。《因明入正理論》云（大正32‧11b）︰「同法者，若於是處顯因同品決定有性。」《因明入正理論莊嚴疏》卷一釋云（卍續86‧671上）︰「此謂隨有有法處，有與因法相似之法，復決定有所立法性，是同法喻。」
這就是說，如果通過同喻依顯現出與因法以及宗法相似的法，就叫同法喻。故《因明入正理論》舉例云（大正32‧11b）︰「謂若所作，見彼無常，譬如瓶等。」瓶就是同喻依，瓶上既有因法所作的屬性，又有宗法無常的屬性，通過瓶這個同喻依便把因法與宗法的必然聯繫確定下來。由此可見，所謂同法，就是同於宗因二法的意思。故《因明入正理論莊嚴疏》又云（卍續86‧671上）︰「此則同有因法、宗法名同法喻。」
同法必須因、宗雙同。如果只是同於宗法或只是同於因法，就不是同法而是同品了。故《因明入正理論疏》卷中云（大正44‧109b）︰「因、宗二同異名法，別同異名品。」在因、宗雙同中又有主次之分，其中以因同為正，宗同為兼。因為作為一個正因（如所作性），它的外延一般要小於宗法（如無常），因此如果一事物具有因法的性質，就必然也具有宗法的性質。
又，因、宗雙同是事物間因果關係的客觀反映，這一反映用語言文字表達出來就是喻體。喻體的確立是通過歸納得到的，用來歸納的事物就是喻依。新因明的喻就是由喻體和喻依這兩個部分組成的；而同喻，就是由同喻體和同喻依共同組成的。
在立同法喻的時候，要注意同喻體中的先後順序。同法喻的目的在於合因於宗的同品，顯現因的第二相同品定有性，所以在作同喻體時，必須「先因後宗」。倘若顛倒次序，作成「先宗後因」，就會形成有過失的似喻。
此外，所立的同法喻，若是違反上述種種規定，則成為似同法喻。似同法喻有五種，稱之為似同喻五過，即︰能立不成、所立不成、俱不成、無合、倒合。（沈劍英）
〔參考資料〕 石村《因明述要》；《因明義斷》；《因明入正理論義纂要》。
〔因明學的產生和東漸〕 因明是梵語希都費陀（Hetuvidya）的意譯。「因」指推理的依據，「明」即通常所說的學；因明，就是古代印度關於推理的學說。
因明學萌芽於西元前六世紀，略早於我國的墨辯和希臘的邏輯。在古印度，最早致力於系統地研究因明的是正理派（尼夜耶派）。正理派是婆羅門教六大派之一，它的經典是《正理經》。《正理經》是最早的因明論。相傳此經係正理派的創始人足目所寫，故古代認因明為足目所創，唐‧窺基《因明入正理論疏》（以下簡稱《大疏》）所云（大正44‧91c）「劫初足目，創標真似」就是這個意思。其實，《正理經》並非一人一時所創，它是早期正理派大師們的集體論著，它的最後完成當在西元三世紀以後。
因明分兩大系統，即古因明和新因明。《正理經》以及佛教大師龍樹、無著、世親等所寫的因明論如《方便心論》、《迴諍論》、《瑜伽師地論》（卷十五）、《顯揚聖教論》（卷十一）、《如實論》、《論軌》、《論式》以及《雜集論》（卷十六）等，都屬於古因明的系統。古因明發展至世親時，（大正44 ‧91c）「雖綱紀已列，而幽致未分（不夠具體），故使賓主對揚（辯論），猶疑立破之則（規則）」（《大疏》卷一），所以至西元五世紀時，佛教大師陳那又對因明作了創造性的改革。陳那撰有《因明正理門論》、《集量論》等四十餘部因明論著，把因明學推進到一個全新的階段，故後世均以陳那為新因明的開祖。
繼陳那之後，因明史上的又一關鍵人物是商羯羅主。他是陳那的高足。他的《因明入正理論》是新因明的代表作，論述更趨系統化。陳那的另一大弟子護法，也是精研因明的大師，他的《唯識三十頌釋》等，純熟地運用了新因明。護法曾主持北印度的最高佛教學府那爛陀寺，護法死後，那爛陀寺就由他的高弟戒賢主持。護法的另一個弟子勝軍也是享有盛名的法相唯識學家。戒賢和勝軍都是研究陳那新因明的權威，而我國著名的佛經翻譯家、慈恩宗的創始人玄奘，就是戒賢和勝軍的得意門人。
玄奘於西元629年（唐太宗貞觀三年）去印度遊學，經過四載的跋涉，經歷了西域十六國，到達北印度的摩揭陀國，在那爛陀寺從戒賢受學，並從勝軍學習因明。玄奘在印度遊學十餘載，終於精通大小乘的要義，得到了陳那法相唯識哲學和新因明的真傳。由於玄奘的精研深思，他在因明學上的造詣已經超過了他的老師。如他曾糾正勝軍經過四十餘年的深思熟慮以後所立的一則比量（推理），足以說明他已是「青出於藍而勝於藍了」。
由於玄奘博學多才和能言善辯，統一北印度的戒日王禮請玄奘去其首都曲女城主持無遮大會，與來自五天竺的沙門和婆羅門、耆那教等諸外道數萬人進行辯論，中心題目是討論玄奘的「真唯識量」和《會宗論》、《制惡見論》等。大會開了十八天，據說當時竟沒有一個人敢出來問難，玄奘從此名聲大振，受到大小乘各派的一致推崇。
西元645年（唐太宗貞觀十九年），玄奘謝絕了戒日王的一再挽留，滿載盛譽，攜帶六五七部梵文經卷，其中包括三十六部因明論回到了長安。兩年後，他譯出了商羯羅主的《因明入正理論》；又過了兩年，他譯出了陳那的《因明正理門論》。在翻譯因明論的過程中，玄奘還對譯寮僧伍和徒眾講說因明，闡發隱義。玄奘的大弟子們記錄玄奘口義，加上自己的理解，「競造文疏」，使我國在因明學的研究上處於領先的地位。如文備、玄應、定賓、圓測（朝鮮人）各撰有《因宙門論疏》，文軌、淨眼、窺基各撰有《因明入正理論疏》，靖邁、靈雋、勝莊、璧公、玄範、順憬（朝鮮人）各撰有《因明入正理疏》，利涉（西域人）撰有《因明入正理鈔》，元曉（朝鮮人）撰有《判比量論》，神泰撰有《因明正理門論述記》等等。然而上述玄奘門人所作文疏惜已大部散佚，今僅存窺基的《因明入正理論疏》（後世尊稱《大疏》）八卷，文軌的《因明入正理論疏》（世稱《莊嚴疏》）三卷以及神泰的《理門述記》三卷等數種而已！
窺基是玄奘的繼承人，是我國法相宗（慈恩宗）的實際開創者。他所作的《大疏》比較晚出，但闡發富贍，為諸疏之冠。《大疏》確是研究因明者不可不讀之書，中國和日本的不少學者還為它作了釋論，其中以日‧鳳潭的《因明論疏瑞源記》（八卷）最為詳備。當然《大疏》也存在許多前後牴牾、難以自圓的地方，它對文軌、玄應、定賓、璧公等人的批評也經常失於片面，這是我們在披閱時應加注意的。
窺基的大弟子慧沼也是個很有成就的因明家，他的因明著作很多，有《因明入正理論義纂要》一卷、《義斷》一卷、《二量章》一卷（已佚）、《略纂》三卷（或云偽作）、《續疏》二卷（今僅存下卷）。慧沼在因明研究中頗有獨立的見解，他並不因為窺基是他的業師而盲從，常能提出一些不同於師說的見解，因此慧沼的文疏是有較高價值的。他的門人在他的傳授下，也於因明學有很深的造詣。如智周、如理、道邑、道巘等都有因明論著，其中以智周的《因明入正理論疏前記》三卷和《後記》三卷最為重要。
從玄奘開始，由窺基完成的中國法相宗（慈恩宗），雖在唐太宗、唐高宗時盛極一時，但前後僅四十年便衰落了下去，因明學的研究也隨著法相宗的衰落而衰落了。嗣後唐代的許多因明論疏逐漸湮沒，經過元末的戰亂，竟至散失殆盡！所以到了明代，一些學者如明昱、智旭、真界、王肯堂等雖有志於因明學的研究，但由於他們所憑依的材料僅只宋‧延壽《宗鏡錄》所引錄的一些片斷，而不能直接掌握第一手材料，因此不可避免地有臆測失真之處。因明學在和五百餘年中實際上已成絕學！迨及清末在日本發現《大疏》並取回鋟板流通，後來又陸續將流傳於日本的《莊嚴疏》殘本、《理門述記》殘本以及慧沼、智周等人的疏記取回刊印問世，才使因明學的研究有了重要的依據。這是要感謝日本學者的保全之功的。
日本的因明學是玄奘的日本弟子道昭首先傳入的。道昭於西元653年（唐高宗永徽四年）入唐師事玄奘。在唐八年，歸國後開創了日本的法相宗。道昭的三傳弟子護命撰有《研神章》、《破乘章》、《分量決》等因明論著，其五傳弟子明詮撰有《大疏裏書》、《因明大疏導》、《因明大疏融貫鈔》等。護命、明詮是日本法相宗的著名理論家，他們的因明論著影響很大。之後，道昭的六傳弟子三修與賢應各撰有因明疏記。這表明日本法相宗從一開始就是十分重視因明學的。後來的善珠也是著名的法相唯識學家，撰有《因明論疏明燈抄》十二卷，是日本研究因明有影響的著作。
〔從五支作法到三支作法〕 從因明的歷史沿革來看，世親以前的因明是古因明，陳那以後的因明為新因明。新古因明有很多不同之處，其中最主要的區別是由五支作法變為三支作法。所謂五支作法，就是其論式由宗、因、喻、合、結五個部分組成；所謂三支作法，就是其論式簡化為宗、因、喻三大部分。茲舉例對照如下︰
┌────────────────┬──┬──────────────┐
│五支作法 │支名│三支作法 │
├────────────────┼──┼──────────────┤
│聲是無常； │ 宗 │聲是無常； │
│所作性故； │ 因 │所作性故； │
│猶如瓶等，於瓶見是所作與無常； │同喻│若是所作見彼無常，猶如瓶等；│
│聲亦如是，是所作性； │ 合 │ │
│故聲無常； │ 結 │ │
│猶如空等，於空見是常住與非所作；│異喻│若是其常見非所作，猶如空等。│
│聲不如是，是所作性； │ 合 │ │
│故聲無常。 │ 結 │ │
└────────────────┴──┴──────────────┘
上面所舉的五支例，最早見於《正理經》。是正理派用來反駁聲論派的。由於這個推論是因明論中的重要例證，故有必要先對它的內容作一些解說。它的意思是︰
聲音是無常的；（宗，即陳說）
因為它是人工造作出來的；（因，即理由）
好比一只瓷瓶，它也是人工造作出來並且
是無常的；（同喻，即同類比喻）
聲既然和瓶一樣，也是人工造作出來的；
（合，即應用）
所以，聲音是無常的，（結，即結論）
又好比虛空，我們於虛空中看到它是常住
不滅和非人工造作的；（異喻，即異類比喻）
而聲音不是這樣，是人工造作出來的；（
合，即應用）
所以，聲音是無常的。（結，即結論）
上述五支作法所包含的五個部分中，宗就是論點的陳說，因就是根據和理由，喻就是比喻和例證，合是在前三者基礎上的具體應用，結就是結論。五者之中，以宗因喻三部分最為重要，因為結論只是宗的重複，而合也已經包含在比喻之中。故陳那顯略除繁，改五支為三支，創立了新因明的論式。陳那的三支作法除了刪去合、結兩支外，還對喻作了改造。在五支作法裏，喻只起比喻和例證的作用，意義不大；但在陳那的三支作法裏，喻在例證之上還說出它的普遍意義，這就提高了喻的地位，使喻變成因果關係的帶例說明。
從五支改為三支，這是因明史上的一項意義重大的變革，它使因明的論式趨向完善成熟，更切合人類思維的邏輯過程。這裏試以新因明的三支作法同形式邏輯的三段論作一比較︰
聲音是無常的； （宗）↑│凡造作之物都是無常的， （大前提）
因為是造作出來的； （因）││聲音是造作出來的， （小前提）
凡造作之物都是無常的，如瓷瓶。（喻）│↓所以聲音是無常的。 （結論）
由以上的比較可以看到，因明三支與邏輯三段的結構主要在前提和結論的次序上不同，其實質並沒有什麼不同；它們在思維形式上是一致的。這充分說明，三支論式較之五支論式更切合人類思維的實際。因此因明學自演進為三支作法以來，它的論式就定型了。甚至連長期堅持五支作法的正理派到後來也接受了三支作法。下面我們就三支作法中的宗、因、喻三部分分別加以論述。
〔立宗〕 大體說來，宗相當於邏輯推理的結論。如上述推理中的「聲是無常」，就是宗。
在「聲是無常」這個宗中，「聲」和「無常」是組成宗的材料，因明術語稱為宗依，宗依又稱為別宗。由宗依（別宗）組成的宗的整體，稱為總宗，總宗就是別宗有機的結合。
宗依有一個很重要的特點，就是必須「兩宗至極，共許成就」（《大疏》卷二）。所謂兩宗，就是立敵雙方；所謂共許，就是共同許可，術語上稱為「至極成就」，一般簡稱「極成」。如數論派對聲論派立「聲是無常」宗，這「聲」和「無常」的宗依就是為兩派所共同認可的。如果用來組成宗的材料──宗依，不是立敵雙方一致認為實有其事的話，在因明學上就陷於過失，宗就建立不起來。
但是，由立敵雙方「極成」的宗依組成的宗的整體，卻又必須為立者所主張而為敵者所反對的。如「聲是無常」宗，就是為數論派所主張而為聲論派所反對的。這在因明學上稱為「違他順自」，並把按照違他順自的要求所建立起來的宗，叫作「不顧論宗」。「不顧論宗」是立宗的正格。
這一點是值得注意的。從邏輯推理來說，它的任務在於推出新判斷；而作為結論的新判斷，與前提中的命題一樣，只要對事物作出斷定就行，並不須問敵論者是否同意。但是因明卻很講究「違他順自」這一點，把這看作是立宗的準則，如果有那一個宗竟是立敵雙方共同認可的，那就要犯「相符極成」的過失，整個三支推論就不能成立。因明立宗的這一特點，是由論辯的需要決定的；因為三支推論的目的在開悟論敵及證義者（相當於公證人），如果立宗不是「違他順自」，就不能達到這個目的。由此我們可以說，宗和結論，從它們的地位來看是相同的，因為它們都是從已知的判斷推尋出來的；但從它們的任務來看，卻又並不完全一樣，因為宗的任務在引起辯論以開悟論敵及第三者，而邏輯結論的任務並不專在於此，它有時在於「自悟」。
宗是由前後兩個宗依加上聯繫詞組成的，這與邏輯判斷的結構沒有什麼兩樣。只是邏輯判斷把指稱事物的那個概念叫作主詞，把揭示事物屬性的那個概念叫作賓詞，而因明則有自己的稱謂。它稱主詞為自性，稱賓詞為差別。自性又有兩個別名︰一為有法，二為所別。差別也有兩個別名︰一為法，一為能別。自性是用來指稱事物的，因此是「體」（自體）；差別是揭示事物屬性的，因此是「義」。至於聯繫詞「是」，在因明學上沒有專門的名稱，這是因為按照梵文語法，在主詞和賓詞間並無聯繫詞，而是以囀聲來表示兩個宗依之間的聯繫，只要二者囀聲相同，就能構成命題。如「聲」為第一囀，「無常」也是第一囀，就構成了「聲是無常」的命題。所以在因明中，我們當然就看不到關於聯繫詞的名稱了。
說到這裏人們不禁要問，既然自性、有法、所別都指的是「體」，而差別、法、能別都指的是「義」，何不省去兩對名稱，徑用一對名稱來表示呢﹖是的，因明術語確有許多不必要的重複，所以商羯羅主在《因明入正理論》一書中提出，以有法這個名稱來代表主詞，以能別這個名稱來代表賓詞（此中宗者，謂極成有法，極成能別）。
宗有表詮與遮詮之別。何謂表詮、遮詮﹖宋‧延壽《宗鏡錄》卷三十四云（大正48‧616b）︰「遮謂遣其所非，表謂顯其所是。」這就是說，遮的性質在於排除它所不同意的事情，相當於邏輯學所說的否定；表的性質在於顯示它所肯定的事，相當於邏輯學所說的肯定。「如說鹽，云不淡是遮，云鹹是表。說水，云不乾是遮，云濕是表」（唐‧宗密《禪源諸詮集都序》）。
因明的表詮、遮詮雖然與邏輯的肯定、否定在性質上相當，但其作用並不完全相同。在邏輯學上，一般來說，肯定判斷的作用就是肯定事物具有某種屬性，否定判斷的作用就是否定事物具有某種屬性。在因明學上，遮詮雖然只具有否定的作用（與否定判斷無異），但表詮的情況就不同了，它除了主要表示肯定外，還兼具否定的作用；即在肯定「聲」具有「無常」屬性的同時，也就排除了「聲」具有「常」的屬性。從這一點上來說，因明的表詮與肯定的區別判斷相似，因為凡肯定的區別判斷都是肯定和否定的綜合。不過因明立宗其主詞和賓詞總是包含關係，即賓詞的外延一定要大於主詞，而不能相等；而單稱和全稱肯定的區別判斷其主詞和賓詞的外延則必須完全同一。
表詮和遮詮涉及判斷的質，至於判斷的量，傳統邏輯和我國的名學都作了具體的研究，但在因明學卻很少涉及，因為因明立宗習慣上都是單稱或全稱，而沒有用特稱的。
過去有的學者把因明學所說的全分、一分看作就是全稱、特稱，這實在是一大誤解！
所謂全分、一分，從字面上來看，雖然是全部和一部的意思，但它是從立論者或敵論者同宗、因的關係來說的，而不是判斷本身所反映的事物的量。這就是說，如果某甲與某乙論辯，某甲立「上帝創世」宗，某乙根本不信神，不承認有上帝，這宗上的有法（主詞）對某乙來說，就是全分（全部）不能予以同意（不極成）的。再如，某甲對某乙立「善有善報，惡有惡報」宗，他的根據（因）是「冥冥中有神主宰著」。某乙對善、惡，善報、惡報這些宗依沒有異議，但對「冥冥中有神主宰著」這個因卻不予「極成」，這就是對因全分不極成。由此可見，所謂全分並非指判斷反映事物的量，而是指立敵雙方是否在全體上同意宗依或因法。「一分」的問題也是這樣。如果主詞或賓詞是由幾個並列的成分構成的（相當於邏輯所說的聯言判斷），立者或敵者如果只承認其中的一部分而不承認另一部分，這就是在多分之中有一分不「極成」了。這「一分」也是指立敵雙方對宗依或因法的態度，而並非指宗因本身的量。
我們還可以從邏輯判斷中「量」的位置來看。判斷中的量，是指主詞具有怎樣的外延，因此量的標誌是與主詞相聯繫的。而因明的全分、一分則不同，它並不是用來指示主詞外延有多大的，所以它不限於在所別（主詞）裡有，在能別（賓詞）裡也有「全分」、「一分」的問題。如《大疏》卷五在釋「能別不成」過時也分「全分」、「一分」兩大類來舉例的。
〔說因〕 因即推理的依據。在因明中，宗為所立，因和喻為能立。在能立中，因是正能立，喻是助能立。作為正能立，因擔負著證成宗的主要職能。這是因為，宗中的法與因之間存在著不相離的因果關係，術語上稱作「回轉」（日本直譯為「遍通」）。如我們可以從「有煙」推知有火，這煙與火就存在不相離的回轉關係。
拿因明三支與邏輯三段作比較，因相當於小前提，說得更確切些，相當於中詞；喻相當於大前提。不過邏輯的大小前提沒有主次之分，而在因明中，因卻獨占正能立的地位，作為大前提的喻，卻處於助能立的地位。由是以觀，因在因明中有特殊重要的地位。
因明學是極其講究推論中的因果關係的，它從因與宗及同喻、異喻內在的聯繫上，概括出了因三相的理論。
因三相說當是從「九句因」脫胎而來的。在陳那以前，因三相說還只是一個雛形而已，至陳那改革古因明、創立新因明以後，因三相說才完善起來，有了詳備的解釋。
那麼新因明所說的因三相的具體內容是什麼呢﹖商羯羅主《因明入正理論》云（大正32‧11b）︰「因有三相，（中略）謂遍是宗法性、同品定有性、異品遍無性。」
這段話概括了因的三相，玆分別予以論釋。
(1)遍是宗法性︰遍，即遍有，即以一外延較大的概念去包含一外延較小的概念；宗，這裡專指宗上的有法（主詞）；法，即因法，因為因也是宗上有法（主詞）的一種法（賓詞）；性，即屬性。把這些意思連貫起來，所謂「遍是宗法性」就是︰因必須在外延上包含宗上的有法，指出宗上有法具有因的屬性。
為什麼因的外延必須包含宗上的有法呢﹖《莊嚴疏》卷一云（卍續86‧666上）︰「有法『聲』上有兩種法︰(一)不成法，謂『無常』；(二)極成法，謂『所作』。以極成法在『聲』上，故證其『聲』上不成『無常』亦令極成。」
這就是說，以「聲」作為主詞的話，它有兩個賓詞︰一是「無常」，二是「所作」。根據因明的規定，立宗必須「違他順自」，即立論者主張「聲」有「無常」的屬性，而敵論者卻不同意如此；所以這宗上的「無常」法就叫「不成法」。因明學雖然規定立宗必須立許敵不許，但對因喻的規定卻相反，必須共許極成。如「所作性」因，就是為立論者和敵論者共同認可的，故叫做「極成法」。極成法與不成法之間有著因果關係，這就是所謂「回轉」。因此可以用「所作」這個極成法來證「無常」這個不成法。
其實，這作為「極成法」的因就是中詞。中詞在小前提裡與小詞構成主賓關係，因此它的外延一般要大於小詞（當然偶或也有主賓詞是同一關係的）。因此因明中的因（中詞）在外延上必然要遍及於有法（小詞）。
但是這裡要注意︰在直言三段論中，中詞的媒介作用是通過自身的周延（至少周延一次）來完成的；而在因明學上，因的媒介作用則是通過包含（遍）宗的有法來完成的。它們所強調的角度是很有些不同的，試以下面二圖作比較說明︰
形式邏輯強調的是中詞應被大詞包含，這樣，中詞就周延了（見圖一）；而因明強調的是因必須周遍（包含）於有法（見圖二）。由此可見，中詞與因在媒介的職能上雖然是一致的，但形式邏輯與因明在關於中詞與因如何起媒介作用的說明上，卻表現了不同的風格。
但是因明學所概括的「遍是宗法性」的規則是有其局限性的，它只適用於三段論的第一格。這是因為因明三支只乖一格的形式（甚至只限於第一格的AAA和EAE兩式，因為因明沒有用特稱判斷來推理的）。如果因明三支也像邏輯那樣有四個格的話，「遍是宗法性」這條規則就不適用了。可見「遍是宗法性」完全是按因明的論式來規定的。
(2)同品定有性︰因的第一相著重研究了因與宗上有法的關係（中詞與小詞的關係），因的第二相則著重從正面來研究因與宗中之法的關係（中詞與大詞的關係），以此來檢查因與宗法之間是否真正存在一定不離的回轉關係。
那麼什麼是同品呢﹖「同品」就是與宗法同類的事物。商羯羅主《因明入正理論》云（大正32‧11b）︰「謂所立法均等義品，說名同品。如立無常，瓶等無常，是名同品。」這裡所說的「所立法」即宗法，「均等義品」即同類事物。以宗法「無常」來說，瓶盆碗罐等都具有無常的屬性，就都是無常的同品。當然同品只是指兩事物在某些屬性上的相同，而不是要求所有的屬性都相同。
同品有兩種︰即宗同品和因同品。凡具有宗法之性質者，稱宗同品。如瓶具有宗法無常的性質，所以是宗同品；瓶又具有因法所作的性質，故又是因同品。再如電，它只具有宗法無常的性質而不具有因法所作的性質，故電只是宗的同品而不是因的同品。由於宗法的外延比因法大，因此宗的同品不一定是因的同品，而因的同品卻必定是宗的同品。
把同品明確地劃分為宗同品和因同品的，是窺基。如《大疏》卷三云（大正 44‧103c）︰「同品有二︰(一)宗同品，（中略）(二)因同品。」《大疏》把同品如此明確地分為宗同品和因同品兩種，有助於人們區別同品的種類和認識其相互間的聯繫。
那麼什麼是「定有性」呢﹖《莊嚴疏》卷一云（卍續86‧667上）︰「定有性者，其遍是宗法所作性因於同品瓶中定有其性，方是因相。」這裡指出，所謂「定有性」，就是「所作」因的性質一定要為宗的某些同品如瓶等所具有。也就是說，瓶不僅具有宗法的性質，而且也具有因法的性質；它不僅是宗的同品，而且也是因的同品。因此我們可以說「瓶有所作性，故瓶是無常」，以此來證明「聲有所作性，故聲是無常」之可成立。
第二相所說的同品，是以因同為主，兼取宗同的。為什麼這麼說呢﹖第一，這是因為，因同品的外延被宗同品包含，「猶如母牛去處，犢子必隨。」（神泰《理門述記》卷三），具有因法性質的事物，也必然具有宗法的性質。第二，雖然因的同品必然是宗的同品，但宗的同品卻並不都是因的同品。如宗法「無常」的同品有瓷瓶和雷電等，其中瓷瓶易碎，是無常性的（宗同品），又是人工造作出來的（因同品）；而雷電雖然也是無常的（宗同品），卻非人工造作的產物，因而不是因的同品。正因為宗的同品不都是因的同品，所以因的第二相只說「定有性」而不說「遍有性」；即只要求宗同品中有一部分兼有因法的性質或為因同品就行，而不需全部宗同品都是因同品。
(3)異品遍無性︰因的第二相通過同品從正面來檢驗，當原因出現時結果是否也隨之出現，因的第三相則通過「異品」從反面來進一步考察，如果結果不存在，原因是否也一定不存在，以制止「似因」（虛假的原因）的混入（因明稱作「止濫」）。
那麼什麼是「異品」呢﹖「異品」就是與宗法異類的事物，就是說該類事物必須無宗法的性質。故陳那《理門論》云（大正32‧2a）︰「若所立無，說名異品。」商羯羅主《入論》也云（大正32‧11b）︰「異品者，謂於是處無其所立。」
按陳那師弟所說，異品就是異於「所立」。「所立」這個術語，在因明中本來指的是宗的整體，是相對於因喻之為能立而言的；但是在這裡卻不能解作宗的整體，應該看作只是指宗中之法。如《莊嚴疏》卷一云（卍續86‧668下）︰「所立者，即宗中能別法也。（中略）若於是有法品處，但無所立宗中能別，即名異品。」這裡明確指出，「所立」即宗的能別，也就是宗法。
什麼是「遍無性」呢﹖「遍」者全部之意，「遍無性」是說所有的宗異品都與因法不發生關係，因為凡宗的異品應該都是因的異品。
異品也分宗異品和因異品兩種，凡與宗法相異的，叫宗異品；凡與因法相異的，叫因異品。由於宗法的外延比因法大，宗法包含因法，所以凡與宗法相異的宗異品，也都是與因相異的因異品，（大正44‧89c）︰「猶如母牛不行之處，犢子不行。」（神泰《理門述記》卷三）。但是，因的異品卻不一定是宗的異品，以雷電為例，它是非所作的，因而是因的異品，卻又是無常物，故而並非宗的異品。
可能有人要問，為什麼同品有「定有」，而異品要言遍無呢﹖對此，《莊嚴疏》卷一作了簡明的回答（卍續86‧667上）︰「順成立同有，但定有即順成；止濫立異無，非遍濫不止。故同言定，異言遍也。」
此話的意思是，因的第二相同品定有性是用來從正面成立宗的，所以只要宗的同品中有一部分（哪怕只有個別的）兼有因的性質就能證明宗因之間確實具有因果關係，因相就得以成立宗。而因的第三相「異品遍無性」則是用來從反面制止因法之濫用的，所以要求宗的異品必須全部不具有因法的性質；如果不是全部宗異品同時都是因異品的話，那就不能制止因法的濫用。所以對同品來說，只須「定有」即可；而對異品來說，則必須「遍無」。我們還可以通過下面的例子來說明︰
銅是固體；（宗）
係金屬故；（因）
凡金屬均係固體，如鐵；（同喻）
凡非固體均非金屬，如水，……水銀。（
異喻）
「銅是固體」，這是一個真實的命題，但「金屬故」因卻是似因。為什麼說它是似因呢﹖這是通過第三相檢查出來的。因為從第一相來看，「金屬」因大於宗上有法「銅」，是做到遍及的；從第二相來看「金屬」因於宗法「固體」，也是符合「定有性」規定的（如宗同品中的「鐵」，就兼有因法的性質）；但如果用第三相從反面再來檢查的話，就會發現，在宗的異品裏居然存在具有因法性質的事物，如水銀。水銀和水雖然都是非固體（宗異品），但水銀卻是金屬的一種（因同品），這就不符合第三相「異品遍無性」的規定。第三相就是這樣從反面指出「金屬」因原來只是一個虛假的「因」。
說到這裡，可能會產生這樣的問題，新因明講的是宗、因、喻三支論式，而因三相又關涉到宗及同、異二喻，這三支與三相究竟有何區別﹖是的，研究因三相，必須弄清它與三支的區別。從語言表述形式上來看，因只是三支中的一支，它必須連同宗和喻才能組成論式；因此所謂三支，又稱「言三支」，就是用語言表達出來的三支論式。而因三相則是從內在的聯繫上來考察因是如何貫穿宗及同、異二喻的，故又稱為「義三相」，它揭示的是推理的公理和規則。可見，言三支講的是形式結構，而義三相講的則是內在的法則，二者是劃然有別的。
〔引喻〕 喻也是推理的依據。喻的梵語本義是「見邊」，就是以喻這個所見之邊，去推斷宗這個未見之邊。故《雜集論》卷十六云（大正 31‧771b）︰「立喻者，謂以所見邊與未所見邊和會正說。」
如以瓶喻聲，瓶就是「所見邊」，聲就是「未所見邊」。從瓶有所作性因此是無常的，比知聲有所作性因此也是無常的，這就是以「所見邊」比知「未所見邊」。這種比知的方法，在漢語中叫做譬喻，因此「見邊」一詞按漢語習慣意譯為「喻」。
不過因明學上的喻與修辭學所講的喻並非一回事。如我們形容一個人力氣很大，就說某人力大如牛，這並不是說某人的力氣真的像牛那樣大，可見修辭學上的比喻只是從形象生動出發而並不講究嚴密。因明學上的比喻則不要求形象生動而要求嚴密，如以瓶喻聲就是。從表面上看，瓷瓶與聲音並無可以比喻的地方，但在這兩個事物的內部，卻存在「所作」和「無常」這樣一些共同的屬性，因明的喻正是取兩事物屬性上的某些共同點來作比的。
但是把喻解釋作「見邊」也罷，「譬況」也罷，都仍然是古因明中的喻的涵義，用來說明喻這個名稱的由來是可以的，但用來說明新因明中喻的作用和地位是不夠的。在古因明，喻只是宗、因、喻、合、結五支中的一支，它只起例證的作用；而在新因明，喻卻是宗、因、喻三支中的一支，它已不僅僅是例證的援引，還有因果關係的表述，它實在是喻、合、結三部分的綜合體，是因果關係的帶例說明，相當於邏輯三段論的大前提。
由於新古因明中喻的地位和作用之不同，因而在喻的組成上也有很大的不同。古因明把例證當作喻體，如立聲是無常，所作性故，猶如瓶等，這瓶就是喻體。新因姑把瓶僅僅看作是喻依（喻體之所依的意思），而把瓶所具有的「所作」因而「無常」之義抽出來作為喻體。玆將新古因明的喻對照如下︰
┌────────┬──────────────┐
│古因明 │新因明 │
├────────┼──────────────┤
│聲是無常（宗），│聲是無常（宗）， │
│所作性故（因），│所作性故（因）， │
│譬如瓶等（喻）。│若是所作，見彼無常（喻體），│
│ │譬如瓶等（喻依）。 │
└────────┴──────────────┘
把喻分為喻體和喻依兩部分，這是新因明的一大創造，這樣，喻就不僅是提供例證（喻依），而且還揭示了蘊藏在例證內部的因果性，從而得出普遍性的命題，使喻具有較大的概括能力。
喻大體相當於大前提，但其地位卻不及大前提。三段論的大、小前提是不分主次的，但因明中的喻卻只是因的輔助成分。因此喻在三支中常可省略不說，而宗、因是不能省略的。不過，從喻的功能來看，卻又勝於大前提。三段論的大前提在於指明普遍的原則，至於這普遍的原則是如何獲得的，一般不加以說明。這樣，大前提如果虛假，就不易發覺。因明的喻就不同了，它不僅提出推論的普遍原則（喻體），還對這普遍原則的來源進行說明（喻依），從正（同喻）、反（異喻）兩方面審察普遍原則的可靠性，因此能及時發現錯誤，予以糾正。可見，在提出普遍原則時立即用歸納的方法加以審察確是必要的，因為特殊總是一般的表現，一般易於在特殊中被察覺。
在三支作法中，演繹與歸納的結合主要體現在喻支上，因此喻支較之三段論的大前提要複雜得多。大前提一般由一個判斷充任；而喻支按其法式須由兩個判斷（同喻體、異喻體）和至少兩個概念（同喻依、異喻依）組成。
同喻和異喻在組成的方法上是不同的。組成同喻體的方法是合作法，組成異喻體的方法是離作法。合作法是先說其因同後說其宗同，這就是陳那所說的「說因宗所隨」；離作法是先說其宗異後說其因異，亦即陳那所說的「宗無因不有」。例如︰
聲是無常（宗）；
所作性故（因）；
若是所作，見彼無常（同喻體），如瓶等
（同喻依）；
（先因同→後宗同＝說因宗所隨）
若是其常，見非所作（異喻體），如空等
（異喻依）。
（先宗異→後因異＝宗無因不有）
這是陳那新因明竭力推行的方法。陳那提出的合作法和離作法是符合事物間原因與結果或理由與推斷之客觀關係的。以上例的同、異二喻來說，「所作」是「無常」的充分條件，故凡所作的均是無常的；而「無常」則是「所作」的必要條件，故凡「非無常」（即「常」）者，就必然是「非所作」的。由此可見，同喻先因後宗，正是由因是宗的充分條件所決定的；異喻先宗後因，則由宗為因的必要條件所使然。我們還可以從概念間的關係來考察合、離二法。因明中的因法外延一般小於宗法，構成類種關係，如「所作」因就是「無常」宗的種概念。由種概念「所作」的存在，當然可以證知其類概念「無常」的存在；而由類概念「無常」之不存在（非無常），則可推知其種概念「所作」之不存在（非所作）。由是以觀，合作法必是先因合而後宗合，離作法必是先宗離而後因離，而絕不會相反。如果將這個次序顛倒過來，就會犯倒合和倒離的過失，使推理違反原來的論旨。
因明學還非常注重研究論辯中產生的諸種過失。上古和中古時代印度因明學家所指出的論辯中的各種謬誤，數量相當可觀。《正理經》提出有五類似因、三種曲解、二十四個倒難、二十二項墮負等，但這些並不都是邏輯上的錯誤，其中不少是辯論術上的過謬（如語無倫次和所言太繁或過簡等）。小乘等古因明家提出的謬誤表是︰似宗六種、似因十一種、似喻十種，共二十七種過失。陳那在此基礎上加以增刪，提出有似宗五種、似因十四種、似喻十種，共二十九種過失。陳那的弟子商羯羅主又補充似宗四種，這樣合起來就是三十三種過失。到了法稱，又進行增刪，計有似宗四種、似因七種、似喻十八種，共二十九過。（沈劍英）
◎附一︰呂澂《印度佛學源流略講》附錄〈佛家邏輯〉（摘錄）
(一)正理
佛家邏輯通稱「因明」，它是從印度一般邏輯學說所謂「正理」發展出來的。「正理」學說的成型很晚，佛家之有「因明」並加以重視，為時更遲。在西元前後，印度學術文獻裏沒有「正理」學說中心五分論式的形跡可尋。直到西元後第二世紀迦膩色迦王時候，才見著和王同時的人物遮羅迦（醫師）、馬鳴的著作涉及五分論式。這比較起希臘的形式邏輯來，未免太落後了，因此有人揣測希臘邏輯的三段論式受了印度正理說的影響，當然是不正確的。不過，就從第二世紀起，印度這類思想頓然開展，構成正理學派（傳說創始的學者是足目），並有了專門的著作和「十六諦」嚴整組織的學說。那時候，佛家方面大乘的思想雖然也很廣泛在流行，卻是對於此種學說取相反對的態度，在龍樹的五部主要著述裏，就有兩部是專破正理的。這好像很奇怪，難道大乘思想不要遵循邏輯的途徑嗎﹖不是的。龍樹在思維方法上的發展，已經超過正理階段，到達了辯證範圍，他所著的《中論》就是一種輝煌的典範。佛家既已有了高一著的思維方法，自然對於正理學說不加重視了。但在小乘佛家受到正理學說的影響，即發生了專門研究。西藏學者傳說佛家最初的一部因明著作是法救的《論議門論》。此書已失傳，內容也許和漢譯《方便心論》相彷彿，因為此論也是傳說為佛家因明的創作並且早在龍樹時代就已有了的。此後隔了些時，彌勒、無著的學說代興，他們倒覺得正理學說可以採取，而改組它成為「因明」。這在結構上完全屬於論議一類，保存了正理原來著重論證方面的特質，同時還確定了「因明」這一名稱，又重視它是和佛家自宗學說所謂「內明」的相待相成。世親跟著努力發揚，著了《論軌》和《論式》兩書。《論軌》經我們考定即是西藏翻譯的《解釋道理論》，至於《論式》只有別的因明論書上片段引文而已。另有《成質難論》即是漢譯的《如實論反質難品》，當時也誤傳為世親所作。到了世親的弟子陳那（意譯為域龍），更大大地發展了這種學問。他先著了些小品論文，據西藏所傳有百零八部，但義淨只舉了七部。最後，他自己加以總結成為一部大著《集量論》，共六品，二四七頌，並還自己作了長行註解。這一部論的各品都有陳那的創見，以及對於本宗舊說和他宗異義的批判。它的性質是一種集大成的固不用說，而隨處闡明思維邏輯裏運用矛盾律的法則，和著重同一律的希臘邏輯對照看來，顯然放了異彩。陳那門下的自在軍、天主等，都在有關論證的一方面特加發揮，我國玄奘所傳譯、弘揚的因明理論也偏重於此，實在不能算是完整的。在印度，此學到後來還有一番極大的發展，這要推功於法稱。法稱的名字最初見於義淨所著《南海寄歸傳》和譯本《觀所緣論釋》，大概法稱就是和義淨時代相近（即西元第七世紀）的人。他先學習了陳那的《集量論》，感覺有好多論點不能滿意，就著了《量評釋論》四品，一千四百五十四頌半，並還自註其中的〈為自比量品〉。法稱另外又著了六種書，從各方面來成立量論，連前一種，並稱「七支」。從他的著作整個議論來看，是帶著揚棄瑜伽學系理論裏唯心成分的意義的，所以後人也將法稱看作隨順經部（主張實有外境的學派）的學者。他的學說影響極大，後世註釋他著作的，現存的藏譯本中就有十五家，二十一部，四百餘卷之多。因此，法稱的學說盛行西藏，並經過西元十四世紀薩迦派的薩班慶喜藏再加總結，著了《正理藏論》，努力闡揚，影響至今未衰。此外，晚近五十年來，東西各國研究因明的人也多取材於法稱的著作，特別是比較精要的《正理一滴論》一書。因為它有梵文原本，意義明確，所以研究的人都集中於此。試舉他們的成績，就有梵、藏文原典的校印，有專門辭彙的編纂，有俄、德、英、法、日等文字的翻譯，並還有各種專題的研究。這些都是了解法稱因明說最方便的資料，也是和現代邏輯研究相銜接的途徑。我們現在講佛家邏輯，即以法稱《正理一滴論》為主要典據，並隨處聯繫其前各種學說，用以解釋源淵，刊定真義。
(二)現量
佛家因明到了陳那的時候，就從論議的性質變成了「量論」。量是有關知識的，所以「量論」帶著認識論的意味，其後瑜伽一系的學者即依著「量論」的解釋成立他們的唯識理論。印度諸學派對於量有一種看法，主張很不一致。佛家因明其先也承認有現、比、聖三量，後來陳那分析量的對象即「所量」，不出於「自相」（即特殊性質）和「共相」（即共同性質）的兩類，由此刊定只有現、比二量。法稱從其說，也以現量，為自比量，為他比量來概括因明的全部內涵。
量的一般意義，是人們要行動能達目的所必須預先具備的正確知識，也可說是關於對象的正確了解。它只有現比兩類。其中現量是離開了分別並且不錯亂的。用離分別這一條件來限定現量的性質，原是陳那的創見。在他以前，佛家舊說和他宗異說，都是從現量的表面（即各種感官和它們對象接觸的關係）上找解釋，但陳那著眼於思維的階段，而以沒有達到分別的程度為現量的界限。一超過這界限，便不是真正現量，或者竟成為比量了。什麼是分別呢﹖這是思維從可以用名言（概念）解釋的角度去了解對象，換句話說，也就是在思維上構成適用名言（概念）表白的心象。這樣的心象並非單純從感覺而來，乃是和別種經驗的記憶發生聯想、加了判斷而後構成的。概括地說，這時思維活動已經是到達了概念的範圍了。陳那原來解釋分別的意義比較狹隘，似乎一定要和名言相結合。法稱更詳細地分析，以為只要適用名言表白的心象，都屬於分別的範圍，所以沒有了解名言的小兒，思維裏一樣地有這樣分別。構成真現量的另一條件，不錯亂，是法稱所補充的。怎樣的不錯亂呢﹖這要從內外各種原因所發生的錯覺去加以區別。有些錯覺由於內在的原因，像眼睛有了翳障便見著空華等。有些由於外面的原因，像見了旋轉的火焰以為火輪等。又有些兼有內外兩方面的原因，像乘船見著河岸的移動。另外還有些出於病態的，像生熱病的人會見聞錯亂等。真正的現量一定要離開了這些錯覺。如此，由離分別並且不錯亂所得的知識，範圍較小，可說是純粹的感覺。
但是，從現量的形式上仍可以區別出四種來︰
第一、五根現量，即是與五類感官相聯繫的，像眼的見色、耳的聞聲等，都屬於原始的基本現量。
第二、意識現量，這是思維發展向概念活動的過渡階段。它和感官認識及其對象關係密切，就以感官認識做它的「等無間緣」。它一定是感官認識所引起（這是「緣」），中間沒有夾雜（這是「無間」），並可以看做在一類「心相續」的裏面（這是「等」）。而它所認識的對象又是跟其前的感覺對象相似相續而來，所以它還是離分別、不錯亂，可說為現量的。現在要問，意識現量的同時五根現量還存不存在呢﹖後來五根現量要不要再生起呢﹖關於這類的問題，法稱以後的各家更進行了詳細研究，所得的正確結果是︰五根現量，一剎那便完了，第二剎那一定是意識的活動，即意識現量。其後即可純由意識開展，無須再有五根現量來夾雜的。
第三、自證現量，這是「心法」和「心所法」對於自身的了解，也就是自己意識。「心法」了解對象的總相，「心所法」則了解對象的某一方面，或某種意味。在它們了解對象的同時，也對自身有一種了解。譬如眼見色像覺得賞心悅目，在這見色的時候，不單是了解對象為色，並還了解是「見」；又在覺得愉快的時候，也了解這是愉快之「感」。這些都是從後來記憶上會生出「是見」「是感」的印象，所以推想當時見、感對於自身一定是有過了解的。並且它們在時間上、性質上都不容有分別，有錯亂，所以也屬於現量。這如要用常見的事情來作比方，最好不過於燈火了。點著了燈，照見物象，同時也照見自己，那麼，心法和心所法有自證的一回事是說得通的。
第四、瑜伽現量。瑜伽指心理極其安定而和真理契合的狀態。在這樣狀態裏，對於事物的了解，也是現量的。這類現量要依據隨應一種道理結合了事物，在意識上反復顯現（這就是「修習」），到了極純熟的地步，就會生起對於那一種真理的實證；這時真理明明白白地顯現在意識上，無異乎五根之對五境，完全放棄了文字的了解，也不會發生錯亂，所以說為現量。
從形式上區分現量，只有以上四種。（上云「真理」，指「本來面目」之意。）
各種現量所緣的境界，即對象，是否有共同的性質呢﹖有的，這即是對象的各別自相──各各特殊，不關名言的相狀。要是具體些解釋，可以依著五根現量的對象加以分析，舉出它的特徵，像眼耳根和色聲境相對，一定有空間的距離，因而分得出遠近。對象的相狀如果依著距離遠近，會在思維裏現出不同程度的明晰印象，那就是「自相」的，因為它是完全受著對象自身限制的。假使不管距離遠近，所現的印象總是同樣清晰，那便由思維結構而成，和對象本身無關，而不屬於自相了。所有自相，都是真實的存在，並還屬於「勝義」（這和名言假設相對而言）的存在，有它的獨立體性和作用的。和這些意義相反的相狀叫做「共相」，它是比量的對象。法稱這樣解釋自相，承認對象和思維分離，實在帶有揚棄瑜伽一系學說原有唯心成分的意味，他在這裏就是隨順著經部的學說的。
最後說一說量的作用和它的結果。量，譬如用尺量布，一尺尺地去量是量的作用，了解的長度是量的結果。量和量果對於現量知識（即現量智）的關係是怎樣的呢﹖正確地說，現量智的本身就是量果。因為量的作用如能符合境界得著正確的了解，就算有了結果，這了解的本身即現量智，用不著另外去尋找的。那末，量的作用又是怎麼一回事呢﹖這還是可在現量智本身得著的。但是，這從它反映對象（即生起印象）的一方面而言。有了印象，才有了解，所以從了解分開來說為量的作用。或者疑惑量和量果一體，不是因果混雜了嗎﹖這也不然。這裏不用能生所生那樣的因果關係去解釋，只說它們相待安立，不妨各作智的一部分。印象與了解既不是一回事，也就無所謂混雜了。後世唯識家相、見、自證三分學說，即在這樣根據上成立的。
以上關於現量各方面的解釋，法稱所說的和陳那、天主所說基本相同，不過採用經部學說，承認實有外境，它的不偏於心傾向是很明顯的。至於「似現量」，法稱沒有談到，這可以參考因明大、小二論（即《理門》和《入論》）。簡單地說，「似現量」不能視為比量，因為它的對象還是自相，但有分別，有錯亂，不成現量，所以說它為似量。
(三)為自比量
人們的正確知識，除掉現量，就只有比量。現量以純粹的感覺為主，範圍狹隘，比量卻通於思維的絕大部分，思維邏輯是完全包括在內的。這可分作兩類︰自己了解事物作用的叫「為自比量」；將自己的知識傳給別人，或者提出自己的主張來加以論證，這些叫做「為他比量」。兩類比量的性質、成因都一樣，不過為自比量用思維，為他比量用語言，形式上顯然不同。而思維和語言原來密切相關，所以也可說，為自比量是結構語言的思維，為他比量是發表思維的語言，二者只有偏重而已。現在先說為自比量。
比量屬於間接的知識，乃是依據已知經驗推度未知事物的。推度的方法要憑藉一定的理由（即「因」）來做媒介，從已知的部分通到未知去。這樣的因，應該具備三種性質（即「三相」）。由此，為自比量也說為從三相的因所生的知識，而這知識的本身即係量果，和前文所說的現量的情形是相同的。現在問︰因的三相是些什麼呢﹖第一、在所要推度的事物（即「所比」）上的確有因，第二、在和所比同類的事物（即「同品」）方面決定和因相關，第三、在和所比異類的事物（即「異品」）方面決定與因無涉。這裏所用的所比、同品、異品這幾個術語，還需略加解釋。所比，是說思維裏要加以「某種差別」判斷的事物。某種差別的術語叫「法」，含有這種差別的事物便叫「有法」，因此，所比不外是一種有法。同品呢，就是所比以外的一些有法含有所作判斷的共同性質的。在因明的典籍裏，常常舉當時各學派所爭論的一個主題來作說明的例子，即是︰「聲常呢﹖還是無常﹖」「聲」在這裏主要地指概念說，不單是泛泛的聲音。有些學派像屬於婆羅門一系的，認為概念原在事物以外永久存在著，或者概念一經構成以後就再也不會變化、消滅，這些都是說「聲常住」的，佛家不然，說「聲無常」。現在還可以用這個例子來作上文的說明。假使我們要對聲加以「無常」的判斷，這裏聲就是所比，在它以外的事物像瓶、盆等日用器具，也會有我們所要判斷的無常性質──這只指一切無常現象的共同性質而言──那些就可看做聲的同品。至於異品呢，原來是「非同品」的意思。這從最寬的範圍說，同品以外的一切事物，都是異品。又可從最窄的範圍說，和同品正相反對的才是異品。也可以直截地說，沒有同品意義者就屬於異品。現在仍以聲無常那一判斷做實例，印度多數學派都承認有純粹的虛空，它和包涵其中的物質變化無關，不會有無常的意義，所以可當作異品。明白了所比、同品、異品的所指，我們就可以總結說，對於「聲無常」這一判斷要舉出它的正當理由（即「因」）來，一定是在所比的聲上面含有著的，也和同品瓶盆等決定相關的，卻對異品虛空決定無涉的；這樣說那個因，是具備了三相的。
具備三相的因又有三樣︰不可得的、自性的、果性的。這些都從因和所要加的判斷「法」的關係上來區別。最初不可得因，像在某一處作沒有「瓶」那樣東西的判斷，而以沒有認識到「瓶」為理由，便是一例。這在我們思維裏已經有了可以發現瓶的一些條件，如相當的空間、明度，乃至意識的期待等等，假使真有瓶那樣東西，一定是會認識到的，現在卻不然，自可說是沒有瓶的了。不可得因就是如此構成的。人們的思維常常要和從前的經驗比較，並隨處用對立律作決定，不可得因可算是一個最突出的例子。其次自性因，這說只有要加的判斷「法」的本身才是這樣的。如判斷這是一棵樹，因為認識了它是楊柳的緣故，楊柳屬於樹的一類，說楊柳即含有樹的意義在。這全用概念的外延關係來作判斷，晚世因明裏論證偏重形式的也常用這類方法。像唐代玄奘所作有名的「真唯識量」就是的。但這樣論證的效果有時只限於形式上的正確，而不一定能服人之心。最後果性因，這依據經驗上時常連帶生起而可說為廣義的因果兩件事，取它的果來推因。好像由於某處已經有了煙的緣故，便判斷那裏會有火。這在經驗上已認識到煙是有火的結果，所以由煙就可以推出做它的原因「火」來。多數比量均屬這類型式，範圍極寬。以上三樣因，第一應用於否定判斷，第二、第三應用於肯定判斷，但它們成為正確理由的根據完全相同，一定要和所加的判斷「法」有相隨不離的關係。
人們思維作否定判斷的時候，對於所否定的事物必須有過經驗，這樣從清晰的記憶意識到現在不能再發現它，才決定說它沒有。否則像時間、地點乃至它本身都很遙遠的境界，即使未曾發現也不能判斷它的有無，作了判斷也沒有意義，因為無法去作檢驗的緣故。現在由這樣的根據來說不可得因，照它運用的方式，可以區別為十一種。第一是總相的，叫做「自性不可得因」。譬如說，現在這裏有了一些可以認識到煙的條件，而煙不可得，當然是沒有煙的了。這是從煙的本身不能認識來作否定。第二，聯繫到果性因，而有「果不可得因」。例如在這裏沒有煙的認識，就可以否定發煙的原因「火」。第三，聯繫到自性因，而有「能遍不得因」。像前文所說，自性因可用兩個有種屬關係的概念為依據，這兩個概念必定是互相交遍的，範圍較寬的一個（上位概念）叫做「能遍」，較窄的一個（下位概念）叫做「所遍」。假使沒有能遍概念所表示的事物，當然所遍的也沒有，譬如在這地方判斷沒有能遍的「樹」，自不會再有所遍的「楊柳」。其次，否定判斷不必限於事物正面的不可得，如有和這事物相反的現象可得，同樣地能否定那事物，所以在上面所舉三種不可得因而外，還有種種相違可得的否定因。由此，第四為「自性相違可得因」，這直接從自性不可得因推了出來。如在這裏見著火，便可否定冷的感覺，因為火同冷覺的自性是相反的。
第五，聯繫果性因又推出了「相違果可得因」。儘管沒有相反的事物，只要發現了它的結果，一樣地可用作否定判斷的根據。如在這裏有了煙，我們就可否定冷的感覺，因為煙是冷覺自性相違法火的結果，有煙一定是會有火的。第六，聯繫自性因，運用概念，成了「相違所遍可得因」。這說明否定判斷的根據也可採用相違法所遍的事物，不過它和所否定的事物相望，時常是反對的，而不一定互相矛盾，因此它的性質特殊，可以除外不用。例如在這裏發現了燃燒著的東西，而要否定冷覺，但燃燒物也許只是星星之火，和冷覺反對並不矛盾，那判斷的決定性就不大了。第七，再聯繫到果性因，用和事物結果相違的法來作否定判斷，成為「果相違可得因」。例如見到了火，就可否定氣溫的降低。因為火同低溫的結果冷覺相反，由此輾轉推到冷的原因低溫上，也是相反而能夠予以否定的。第八，聯繫自性因成為「能遍相違可得因」。假使這裏有了和某種事物能遍相反的現象，也可輾轉否定了那事物，譬如見到了火，就不許再有冰霜的感覺。因為冰霜的能遍法是冷覺，它和火相反，有火，冷就不存在，冰霜之感當然也不會有了。
第九，從果性因的關係倒轉來推度，不由果推因，而由因度果，這便成了「因不可得因」。譬如見不著火，否定了煙；火是煙的原因，火不可得，自然沒有它的結果煙了。第十，「因相違可得因」，這從和因相反的事物輾轉推到結果上去，譬如由靠近火爐，否定了戰慄。戰慄的因是冷覺，由火否定了它，也就否定了戰慄。第十一，是比較曲折的一些否定判斷，叫做「因相違果可得因」。只要發現了和因相違的事物的結果，一樣地可用來作否定判斷的根據，如在這裏見到煙而否定了戰慄。這連結上面所說的例子看，是很容易了解的。以上十一種不可得因從「果不可得」到「因相違果可得」一共十種，只是運用的方式不同，論其性質都可歸到「自性不可得因」裏去。這些格式常在思維裏運用著，使否定判斷愈加明確，所以屬於自比量的差別。
(四)為他比量(1)
次說為他比量，這是表白具備三相因的語言。比量原來指的知識，現在又說為語言，是因為有了語言就能發生比量的知識，知識是果而語言是因，因上假立果名，所以也可稱語言為比量。這樣語言運用起來有一定作法。在陳那以前，佛家通用宗、因、喻、合、結的「五分」，後來經過陳那精簡改為宗、因、喻的「三支」。五分變成三支，這不單是形式上的簡化，實際性質也改動了。比量所用正確的因，必須具備三相，這從陳那加以刊定後才確實了解其意義，而三支作法正是清楚地表白這樣三相出來，和五分泛泛地用譬喻比度的方式完全不同的。試舉一例，如推論某處有火，用五分作法可以這樣說︰
某處有火（宗），
發現了煙的緣故（因），
好像廚房等處（同喻），
現在某處也一樣地有煙（合），
所以那裏有火（結）。
這是用同喻的格式，要是用異喻，可以從三分起改說︰
好像池塘等處（異喻），
現在某處不是那樣而有了煙（合），
所以那裏有火（結）。
假使用三支作法，就可這樣說︰
某處有火（宗），
發現了煙的緣故（因），
若是有煙的地方就會經驗到有火，好像廚房等處（同喻），
若沒有火的地方一定見不著煙，好像池塘等處（異喻）。
在以上作法裏，因的一支表白了因的第一相「所比定有」，同喻支表白了因的第二相「同品定有」，異喻支又表白了因的第三相「異品定無」。如此因的作用就完全得到發揮，足以成立比量，再不須另說其他部分了。這可見三支作法的特點在於正確表白具備三相的因，是不同於五分的。陳那以後，佛家發展三支的用法，顯然有很分歧的趨勢。一方面有要求各支形式上更加精密的，這由護法、清辯等完成這工作，而經玄奘傳來中國益見進步，在現存的各種著述裏隨處可見。另方面又有要求各支形式簡單化的，這由佛護、月稱等完成這工作，而傳播於西藏，也影響到一般的著述。法稱生當這思潮激擎時期，也感覺三支形式有重加考慮的必要，就提出另一種方案來，這在他解釋為他比量的語言格式上表現得很清楚，是可以特別注意的。
他以為，為他比量的語言依著運用方便可有兩種不同的格式︰一種是帶著「同法」性質表示因和同品相合的，一種是帶著「異法」性質表示因和異品相離的。這兩式只是合離的形態不同，實質完全一樣，都能表白因有三相，而屬於完全的比量。法稱這樣將同法式和異法式分開，認為可以單獨運用，再和為自比量中三樣的因分別結合，便構成種種式樣。先舉用同法式和不可得因連結起來的例子，可以這樣說︰
在某一處具備了可以認識那樣事物的條件，而沒有認識到它，就可說它是沒有的，像龜毛、兔角。現在某處有了可以認識到瓶的條件，卻沒有見著瓶。
這些話表白了不可得因的三相。從「某一處到龜毛兔角」，是和三支中同喻作法相似的，正面表白因的第二相同品定有，反面連帶表白因的第三相異品定無。「現在某處」云云，那句話和三支中因的作法相似，表白因的第一相所比定有。由此，這幾句話表白三相具足，可算是完全的為他比量。其次，用同法格式結合自性因，比較複雜。
(1)如用純粹的自性因，可以這樣說︰
「隨便那一種存在的事物都是無常的，好像瓶盆等等。」
這從無常性質的本身演繹出另一種普遍的概念「存在」，它和無常性可說是一體，凡屬無常的事物沒有不暫時存在的。
(2)如將自性因略加限制，可以這樣說︰
「若是有生起現象的事物，那就是無常的，好像瓶盆等等。」
這從「存在」因的本身區分出較有差別的部分來說，依舊屬於自性因。因為存在的事物也許時間長久，不容易覺得它的無常，現在舉出存在的差別性質「有生」，有生必有滅，便很清楚的了。
(3)還可以在自性因上加以特別限制而這樣地說︰
「若是所作的事物，那就是無常的，好像瓶盆等等。」
這又從有生的本身分析出「所作」的一特點來，所以是更加特殊的自性因。另外像說「一經努力便會發生的」或者「隨著因緣而不同的」等理由，也是特殊自性因的一類。只要人們已認識到「存在」、「有生」、「所作」等和所判斷「無常」有一定不離的關係，那末，現在憑藉記憶應用它們，自然都是正確的理由，不容多加解釋的。
以上三類自性因所舉的例子，還要補充一句說︰
「現在聲是存在的，或者是有生的，或者是所作的。」
這樣連結上文，完全表白了具備三相的因，成功為他比量。
再次，用同法式結合果性因，可以這樣說︰
「隨便那一處有了煙，一定也有火，好像廚房等等，現在彼處是有了煙。」
這也是表白了三相的為他比量，不過煙與火的因果關係，須是以前經驗過的，否則便容易錯亂。
再說用帶異法的格式，先結合不可得因，可以這樣說︰
「隨便那一種實有的事物，有了可以認識它的條件，一定是會被認識到的，好像那蒼蒼的顏色。」
但在這裏可以認識到瓶的條件具備了，而見不著瓶。
開頭幾句話表白因（具備了條件而沒有認識到）和異品（實有的事物）的相離，即是因的第三相「異品定無」，連帶著表白因的第二相「同品定有」。末尾一句話表白因的第一相「所比定有」。由此三相具足，構成為他比量。其次，和自性因結合，可以這樣說︰
「不是無常的事物就不會是存在的，或者有生的，或者所作的，」 「但現在聲是存在的，或者有生的，或者所作的。」
這些話也表白了因的三相，成功為他比量。最後，結合果性因，這樣說︰
「隨便那一處沒有火，也就沒有煙，」「而這裏是有了煙的。」
這也是表白因三相的為他比量。現在要問︰上面所舉的那些例子，由同法或只能明白了因和同品的相合，怎會決定因和異品的無關呢﹖由異法式只能明白了因和異品的相離，又怎會決定因和同品的交涉呢﹖（實際有同品和異品裏都含有著的「共因」，也有都不包涵的「不共因」，不明白說出來，是難以區別的。）這就要依靠語言的「義勢」（意之所至，即是「義準」）來作檢驗了。一般地說，如說因真是和同品相合，或和異品相離，到達了它能表白和所判斷的「法」有一定不離性的程度，那個因也就不會再通於異品或者離得開同品，所以不管同法式也好，異法式也好，單用一種盡可以表白因的三相具足，而無需同法異法並舉的。因在自性因和果性因，只要性質確定，用來固然不會錯誤，就是不可得因正反相形，也很容易了然的。可是這裏另有一個問題，那些式子雖說了因的三相，卻沒有明白結論，即是沒有三支裏面的「宗」，難道這也不須說出來的嗎﹖是的，若在說因三相的語言裏，已由義勢令人明白一定是怎樣的宗，那便不必再說它了（像前文所舉同法式或異法式連結不可得因的例子，都可由義勢明白它的「宗」是「這裏沒有瓶」，所以不必再說。其餘各例，也可類推）。
(五)為他比量(2)
像前面所說，同法式或異法式的為他比量（即比量的語言）都可以不說宗，但有時為了充足語意起見，自不妨將宗標舉出來。並且在語言裏含蓄著的宗，究竟怎樣才合式，也應該有種明確的認識。因此現在解釋一下宗的構成條件，還是很需要的。關於這一層，從陳那的《理門論》、《集量論》以來，就有精密的傳統說法，法稱也沿用了它，以為正確的宗必須具備自性的、自己的、意樂的三種性質，並還要離開各種錯誤。先解釋各種性質。第一、宗只限於自性的。在比量的語言裏，以宗對因說，它借因而成立，即以所立做自性。真正的宗必定是說比量時認作所立的。譬如討論「聲是無常」，舉出「是眼所見」來做理由，這就成了問題，也可以先行討論，而帶了臨時的所立性質，但它並非原意所要成立，所以不是真正的宗。第二、宗又是屬於自己的。自己，指當時立論的人而言。一般立宗的依據都出於自他雙方共認的典籍，但這不限制立論者思想上的自由，並還尊重他的自由，所以正確的宗應該是立論者自己選擇而不受典據上的限制。第三、宗義又是意樂的。真正的宗要依立論者意之所在而定，不能拘拘於表面的語言。有如數論學派想論證「神我」的存在，方便地用比量的語言說︰「眼根等等由各種成分積聚起來的，一定為另外一種法所受用，這如同床席等（為人所用）一般。」這裏所說另外一種法的意思指著「神我」，雖未明說出來，卻可以一樣地當它是宗而加以討論。其次，宗具備了三種性質，不一定就正確，還要避開各種和很明顯的現象相矛盾的錯誤。這可舉出四種來︰第一、和現量相矛盾，也就是為現量所否定的。如說︰「聲音不是用耳所聽到的」，這顯然和感覺現象相違，不能成宗。第二、和比量相矛盾的，如說︰「瓶是常住的」，雖然瓶現在還完好，但是它終會歸於毀滅，這可以想像得到的，所以那樣說法與比量的結果相違，不能成宗。第三、和一般人共認的事實相矛盾的，如說︰「太陽不是恒星」，這非常識所允許，不能立宗。第四、和自己的話相矛盾的，如說︰「比量不是量」，這話自相衝突，更顯然不成為宗。凡是真正的宗一定要離開這些錯誤。
現在，再來解釋正確的說因語言要避免些什麼錯誤。最先，因所說的是三相，假使有一相未曾說及，自然是錯誤的，這叫做「缺因過」。不過像前面所說用同法或異法的比量格式，表面好像三支不備，而義勢已經具足，就算不得缺因。其次，雖說了三相，而立論者或敵論者不承認或有疑義，也算是錯誤的。這又可分三類︰第一，關於因的第一相即「所比定有相」的，若立敵雙方不承認或疑惑時，都是「不成」的錯誤。如辯論「聲是無常」，提出「非耳所聞」做理由，這在立敵雙方都難承認，叫做「兩俱不成」。又如尼犍子建立「樹木有意識」的宗，舉了「剝皮就會枯死」的理由，在立論者也許依據人們有皮膚即有意識這一點而說，但人們的死亡是以一切根識消滅了為斷，而這樣的意義，在樹木上找不出來，所以那剝皮會死的說法不成有意識的理由。又如建立「苦樂等感情都是無意識的」，提出「有生滅無常」來作理由，但說這些話的是數論學者，他們的本宗只承認一切現象有轉變而無消滅，所以那樣的理由是連他們自己也不允許的。以上的兩種錯誤合稱「隨一（即立敵任何一方）不成」。又因的本身有疑義，也屬於不成的錯誤。譬如遠遠地看到好像是煙的現象，而實際是蒸氣，是灰塵，是霧氣等，還不能決定，要是就用來證明那地方會有火，當然也是錯誤。這叫做「猶豫不成」。又如因所係屬的地方不能確定，像聽到山谷裏孔雀在叫，便指定某一處有孔雀，但某處距離既遠，是否真在那裏發出雀聲呢，無法決定，這樣理由也犯了猶豫的錯誤，可稱為「所依不成」。又因所依靠的「有法」本身有問題，連帶地使因變為不成，如勝論學者主張隨處有和靈魂同樣的「我」，舉了「隨處可以發現知覺、感情等屬於我的性質」做理由，現在姑不談那理由是否正確，而在敵論者裏面像佛家，首先就不承認有所謂「我」，那理由又從何處發生呢﹖這種錯誤由有法連帶而來，所以叫做「有法不成」。以上六種是為一類。第二，關於因的第三相「異品定無」，如果不成或有疑義，都屬於「不定」的錯誤。如說「聲是常住的」，舉了「可以認識得到」為理由，這在「常住」的同品虛空上固然會有，在異品瓶等上也全部會有，究竟聲是和瓶等一樣的無常呢，還是和虛空一樣的常住，無從決定，就叫做「共不定」。又如舉出了理由，在同品異品方面都有，卻不是全部的，這些也是「共不定」。詳細分別可有「同品遍轉（即全部含有因法）、異品分（一部分）轉」「同品分轉、異品遍轉」「俱品（同異兩品）一分轉」三類。又因的第三相有疑義的時候，也是不定。如要證坡人不是「一切智者」，舉了他能辯為理由，在這裏，我們對於這一論題的異品「一切智者」雖可看他作寂默的人（智者稱「牟尼」，有寂默的意義），但他是否訥於語言，並不明白，就不能用來反證非一切智者一定會辯，而成為疑問了。所以那樣理由對於因的第三相「異品定無」構成猶豫，依舊是「不定」的錯誤。以上五種又為一類。第三，顛倒了因的第二三相，便成了「相違」的錯誤。正確的因應該在同品方面一定有，異品方面一定沒有，假使現在倒轉來變為同品定無而異品定有，那末，恰恰可以成立和原來主張相反的宗，所以叫做「相違」。這有同品全無而異品全有的，譬如成立「聲是常住」，提出「所作性」為理由，這在常住的同品虛空上完全沒有，而在異品瓶等上全部都有，結果反證明了和原意相違的「聲是無常」的主張。又有同品全無而異品分有的，譬如主張「聲是常住」，舉「由努力而發生」做理由，這在同品的虛空上完全沒有，在異品電等自然現象上雖也沒有，但在異品瓶等人為現象上便有，依舊證成了相違的主張「聲是無常」。以上兩種又為一類。
三類犯錯誤的因裏，第一、第二都附帶有猶豫性的而言，第三類似乎只限於決定的，但事實上會遇著有猶豫的情形，這也算錯誤，不過屬於「不定」，卻非「相違」。譬如聲論學者要證明某人是「一切智者」，舉了「能說話」為理由。這就異品說，非一切智者也會說話，不成問題，但同品的一切智者呢，是否即以會說為特徵，無從決定，所以那樣的理由在兩可之間，不能判斷宗的是非，就成為「不定」的錯誤。這是因在異品定有而在同品有無猶豫的例子，另外還有在同異品雙方都是有無猶豫的。譬如勝論學者要成立「人們活著的身體裏一定有我」，舉了「具備呼吸、瞬目等生命現象」為理由，這理由正確與否，自該看它和同異品的關係如何而定，但此處的同異品就有問題。像敵論者佛家根本不承認有「我」，由此立論者所舉同品在敵論者都視為異品，而敵論認為異品的在立論者又成了同品，這樣同異品上有因無因便很難說了。並且同異兩品同時是猶豫的，更沒有方法互相推論。如是曖昧不明的理由，判斷不了主張的是非，所以歸於「不定」的錯誤一類。
像前面一再說到的正確比量語言，能將因的三相完全表白出來，就盡夠建立自己的主張，完成為他比量的效用，所以不須像往日採用三支的習慣，另舉所謂「喻」的來作因以外的一支。不過在那些比量語言裏還未能完全排除了舊的成分，從前常用的「如瓶」「如空」等個別事例，也可說為狹義的「喻」，仍然被保留下來。它們自也有一些作用，就是關於因和所立法不相離的性質，雖已有了概括說明，可以引起人們的記憶，來對照當前的事實，承認那比量的判斷不錯，但是再舉些個別例子，使人記憶的印象更顯明而具體，這對論證或辯難是不無意義的。因此，為著比量語言的徹底正確，就須兼顧到這些殘餘部分，不令犯一點錯誤，以免貽累於全體。像以前三支比量裏所有各種喻過，都應該了解而注意避免。另外，從前喻過裏的「不成」「不遣」，只說決定性的，其實帶著猶豫的同樣是錯誤，這可以增加種種「猶豫不成」「猶豫不遣」等過失名目。還有從前喻過裏「無合」「無離」，應該區別不能構成「合」「離」和沒有說出「合」「離」的兩類。這樣一推衍，正當的喻過就該有十八種了。
最後，比量的語言犯了錯誤，經他人指摘出來，不管用什麼形式說，只要能妨礙立論者主張的成立，都叫做「能破」。有時候，原來的主張並無過失，而舉錯了，這是「出過」的一類，或類似過失，從前就稱做「過類」，因明裏叫它做「似能破」。正理學派的經典對於「過類」有很詳細的分析，陳那加以簡別，只承認十四種比較合理，但這些仍可對照因喻的錯誤辨別出來，用不著另立名目，所以無需講說。還有「負處」一類，在立敵辯論的時候，雙方都應注意避免，舊說很繁瑣，這可另行料簡，此處也就從略了。
(六)結論
佛家因明原是在和他宗學說爭論的過程中發展起來的，法稱的論議發揮這種精神，尤其積極。此外，他還憑藉陳那的業績，用犀利的批判方法，使因明學說更邁進了一大步。這可舉幾點略加說明。
第一，法稱重行改革了為他比量三支格式的意義。在他以前，陳那刊定了三支，雖已變更了舊式五分的實質，但形式上、名目上還保留一些舊物，特別是同喻異喻，性質變了，仍然稱之為「喻」，這在名實之間就顯明的存在矛盾。陳那的《理門論》對於這一點，也曾很費氣力地加以解釋，但始終不能令人釋然。到了法稱，便堅決主張合因喻為一體，不必再沿用「喻」的名目（見上節）。這樣消除了實際的矛盾，而為他比量語言之為整個「因」的表白，其意義也就極端明確了。並且，法稱統一了因喻，又還顛倒了它們的次序，將相當於「喻體」的一部分提到最前面，應用上便另有其意義。從這樣的格式裏，可以見出每一個「因」都是成功普遍定理的性質，才用來作判斷的依據，而比量思維是從一般認識應用到個別事例上面的演繹方式，也隨著明明白白地表示出來。由此，很容易令人想及西洋邏輯的三段論式以「大前提」「小前提」「斷案」為次序，法稱的改革三支，很和它相近，是不是有意參酌採用的呢﹖這在現今還不能論斷，毌寧說，他是隨順「為自比量」的性質，要做到語言和思維的一致，自然而然地創造了那樣格式。不過，由此新途徑打開以後，思辨活動在語言中的表現，相隨著擴充很大的範圍。因為三支改成因宗銜接的次序，證成了宗，就可用作新的因去作進一層的推論，輾轉相續，可以開展無窮。在印度佛學界實際運用，像月稱等，都有很好的成績，而他宗如聲論學者也跟著主張改動五分的次序，可見法稱改革三支的影響是很大的。
第二，法稱掌握到語言應與思維一致的原則，因而解決了為他比量裏一些糾紛的問題，主要表現在廢除「不共不定」、「相違決定」的兩種因的錯誤上。原來陳那用「九句因」的圖式分析因的正確與否，到了第五句「同品無、異品也無」，便發現一種特殊情形。在這一句裏的因，只限於當時成問題的事物（即有法）上才有，它是獨一無偶的性質，對於同品異品都無法結合，也就與成宗無關，這自然是錯誤的。可是只注視作「不定」一類，叫它為「不共不定」，其實和一般「不定」以同品異品都有因而成錯誤的原理完全不符。法稱從根本上推翻這一「不定」錯誤的說法，他以為平常思維裏並不會有「不共不定」那樣的情形。因為比量思維都從同異比較上著眼，假使當時想到的理由只限於所比的事物才有，自不會進行比量，那又何從表現於語言﹖所以關於因的後二相錯誤，只能推及同時猶豫的程度為止，決不能再有「不共不定」之說。不過，陳那所判也有事實的根據，當時聲論學者便曾用「所聞性」的理由來成立他們的「聲是常住」主張，「所聞性」只限於聲上才有，豈非「不共不定」的例子，這個並還牽涉到另外一種所謂「相違決定」的因的錯誤問題。「相違決定」在陳那也視作「不定」因過之一，而情形又很特殊。因的正確與否，一般只就比量語言中因的本身而言。如果它三相具足，一無問題，也就算正確了。「相違決定」卻不然，儘管所舉的因單獨看來是正確的，而在立論的人有時候不得不承認另外的理由可以成立相反主張的，也三相具足表面正確，那末，這兩種因碰到了一起，就會使立論者自己也糊塗起來，究竟誰是誰非，無法決定。這樣從另外一種因來使原先視為正確的因變成不正確，只可歸類為特殊的「不定」錯誤。這也有實例。如勝論學者對聲生論者說「聲是無常」，以「所作性」做理由，聲生論者便可提出反主張「聲是常住，所聞性故」，還可加上個同喻「如聲性」。因為勝論本宗也承認有聲性，即是聲的同異性（此即種類的概念），自然連帶著不得不承認「所聞性」因的正確，於是構成「相違決定」，勝、聲兩家的主張都猶豫莫決了。法稱對於這一種錯誤有比較深刻的看法，他以為這在正常的比量中也是不會發現的。只要任何一種因能充分地成立了宗，即是再舉得出別種因來，也自會相順相成，否則原來因的本身就有問題。話雖如此，但勝聲兩家主張的矛盾事實俱在，又如何解釋呢﹖法稱以為，這只是不信任經驗，但憑言教演繹比量，以致對於所討論的問題會構成這樣的混亂。其實，有些教條觀察不真，認識不足，很容易發生種種不正確的說法，那都是經不起現量或比量考驗的。法稱這樣分析「相違決定」的真正根據，證明它並非正常比量裏所有的現象，所以語言上也不該有這種錯誤。他還另外舉了一例。如勝論學者主張在一切事物之外另有一種最為普遍的「有性」，事物結合到它才會有「存在」的意義。現在問，究竟有那樣的「有性」沒有呢﹖這很容易明白，只憑經驗好了。我們可直截地用不可得因來作比量說，「凡是具備了認識條件而認識不到的事物，都是沒有的，如龜毛、兔角。」現在於一切現象並不能直接經驗到「有性」，那自然是沒有的了。這時候如還要相信勝論之說，不肯放棄他們的教條，就會依著經典另作一種因性的演繹，而這樣說︰「凡是一時現見它會和一切現象相結合的，那一定是普遍的存在，有如虛空。有性正是一時候連結到一切現象的，所以它也普遍的存在。」這一比量，在勝論學者無批判地信仰其本宗的，自會碰到了上面所說的不可得因形成猶豫不決，其實只看他是相信經驗，還是相信教條，就會解決這一問題的。
第三，法稱重視經驗的事實，為因明理論建立更穩固的基礎。如比量方面，因和所立法的「不相離性」本以現象間的相屬關係為根據，但從前的解釋，不是分類煩瑣（像佛家古師說五種，數論學者說七種等），便是意義模糊，法稱改從經驗的事實出發，簡單明了地限定它為自性的和果性的兩類。自性的是就一種特質或概念加以分析而得，果性的則由平常的因果關係而來，這樣的相屬，自身便有了保證，再也不致猶豫。至於不可得因，從反面證明有相違的自性或相違的果性，以見事物的本身不容存在，這也同樣地易於確定的。還有，這些依據經驗便自然有個限度，要是不能現量經驗的境界，或者時間的太久，空間的太大，乃至自體的太微細，超出了感覺範圍，那都歸於存而不論之列，這在上文已一再說過了。
以上各點，都是法稱學說的精到處，而大大地發展了因明理論的。此外還有關於比量由遮詮運用概念的一種理論（術語謂之「阿頗謌」）法稱也特有發揮，這擬另題介紹，此處從略。
◎附二︰呂澂〈西藏所傳的因明〉（摘錄自《呂澂佛學論著選集》卷三）
印度的因明大成於法稱（約620～680）。他所著的七部因明論書是在西藏佛教後傳的初期（第十一世紀末）經俄譯師（Rnog Blo-ldanses-rab，1059～1109）的努力才翻譯完全，而西藏人自己的因明著作也是由俄譯師的三傳弟子法師子（Cha-pa chos-kyi-sen-ge，1109～1169）開始。法師子住持桑樸寺十八年，作了法稱因明論中要籍《量決擇論》的註解，又著有通論性質的《量論略義去蔽論》（這一「去蔽」（yid-kyimn nsel）的題目，後來即為一般啟蒙著作所沿用）。其弟子精進師子（Brts un-hgrus-sen-ge）更恢宏其說，於是桑樸寺成為西藏研習因明的中樞，而一般因明理論也以法師子師弟之說為準則。
但是，實際奠定西藏因明學說的基礎的乃是薩迦派第四代祖師薩班慶喜幢（Sa-skyaPand-i takun-dgah-rgyal-mothan，1182～1251）。他從釋迦室利（Sō kyasi-bhadra1204年入藏）受學，重新校訂了法稱因明主著《量評釋論》的舊譯本，並宏揚此論，講說多次，轉變了西藏因明學者一向只重視《量決擇論》的學風。他還綜合陳那《集量論》和法稱七部因明論書的要義，另撰《正理藏論》的頌本和自釋，他的弟子正理師子（uyug-pa Rig-pabi-sin-ge）更作詳解。在《正理藏論》裏批判了當時有關因明的各種說法，給學者以指歸，所以影響於後世者極大（此書很受後人的重視，明代永樂初編刻西藏佛教各部門要籍為「六論」的時候，即以它和法稱的《量評釋論》並列為因明部門的經典著作）。
《正理藏論》共有十一品，解釋了陳那、法稱因明著述中的一切問題。全書由所知方面的「境論」和能知方面的「量論」兩部分構成。第一部分七品，分別解說所知境的本身（第一品對於境的考察），了解境的心（第二品對於心的考察），以及心如何了解境（第三品對於總和別的考察、第四品對於成立和遮遣的考察、第五品對於能說和所說的考察、第六品對於相屬的考察、第七品對於相違的考察，這些都是關於心之了境的一般方式的）。第二部分四品，分別解說量的總相（第八品對於相的考察）、現量（第九品對於現量的考察）、為自比量（第十品對於為自比量的考察）、為他比量（第十一品對於為他比量的考察）。原來陳那、法稱的因明著述，只以現量、比量等分章，而《正理藏論》則從其中提出各種要義另行組成通論性質的各品。如《正理藏論》的第一品辨境，即是從各因明論的現量、比量章中提出境的自相、共相以及所取、所轉、所現、所執四類境來分析解說，同時批判了法上一派認為所取和所現、所轉和所執是一義的說法，並還提出自己的主張，以為凡境歸根到底只是一種自相，不過由於了境的心有不同乃相隨而各別。在其餘各品中也同樣地隨處先批判西藏和印度的舊說，再提出正確的說法，並還解釋了種種疑難。特別是在薩班以前，西藏因明以《量決擇論》為主要典據。此論在法稱所著三部根本論中只算是詳略酌中之作，義理並不完備。薩班改宏《量評釋論》，不但講究得更全面，而且由為自比量中發展了「遮詮」（apoha，這是陳那對於「概念純以否定其餘為本質」的創說，法稱也沿用之）的說法，又取成量品（《量評釋論》的第二品）之說闡明了量的通相，以及說到釋迦牟尼其人堪為定量的道理，聯繫瑜伽現量（佛家所以為現量的最高階段）而談，都有獨到的見解。
另外，還有可以注意的一點，即是薩班等所公認的傳統師承，都是從陳那、法稱而下，依次為天主慧、釋迦慧、慧護、法上、律天、商羯羅雅陀等人，但在薩班等著述裏，對於諸家的學說卻以道理的長短為標準而有所取捨。這種學風給予後人的自由立說以很好的啟發。
西藏所傳的因明到了元末明初的宗喀巴（Ts-on-kha pa、Bla-bz an-grags-pa，1357～1419）和他的弟子們又有一大變化。宗喀巴雖曾從薩迦派仁達瓦（Ron-ma ab-pa gshon-nu-blo-gras，1349～1412，薩迦派晚期兩大學者之一）學習因明，但他通達此學，實得力於他自己對各種因明論書的尋研。他生平未曾撰述大部註疏，只是常常講說《量論》的綱要、《量評釋論》的〈現量品〉以及量論有關修行的道理。他的大弟子賈曹傑（Rgyal-shab-rje-dar-mn rin-chen，1364～1432）替他記下了《量論備忘錄》和《現量品備忘錄》，另一大弟子克主傑（Mkhas-grab-rjedge-legsdpalbzan，1385～1438）又作了《現量品述記》。此外，宗喀巴自己只寫了有關因明綱要的一種小品，題為《七部〔量論〕入門去蔽論》。此著雖很簡短（拉薩版全集僅有二十三葉），但用境、有境（即心）和了境方法三門來作通論，實際包括了因明所有的問題，並建立了他們一系（格魯派，通稱黃教）量論著述的綱格。其弟子克主傑撰《七部量論莊嚴去蔽論》，又根敦主巴（Dge-bdun-sg-zub，1391～1474）著《大量論正理莊嚴論》，其結構均不出它的範圍，僅內容更為充實而已。
即從《量論隨聞錄》中可以見到宗喀巴一系對於因明的特別看法。他們強調因明論也是希求解脫和一切智者所必需之學，所以這類論書兼備內明的性質，並不像常人所解只供思辨之用。這種看法的根據在於《量評釋論》的〈成量品〉。本來，陳那《集量論》開端有個歸敬頌，頭兩句說佛堪為定量之人。法稱的《量評釋論》發揮其義，寫了〈成量品〉一品，共二百八十餘頌。它從「量以不虛偽的識為總相」說起，詳論佛現證四諦的各種相狀，一無錯謬，故能指示求解脫和一切智者的途徑，而成為定量者。這種說法給宗喀巴一系以啟示，他們便主張運用因明可以正確證成四諦之理，而引生瑜伽現量以得解脫，故因明實際具備修道次第的意義。
宗喀巴等這樣結合因明於修持，帶了特殊的宗教色彩，同時就限制了因明的正規發展。他們還打破了因明和內明的界限，好像兩者理論完全相同。其實嚴格說來，這是可以商量的。如在《佛地經論》裏便明白指出因明和內明之解自相、共相各有其不同的說法，不應淆混。
宗喀巴的弟子們對於西藏傳譯的因明論書，多重加探討，並做了註解。像賈曹傑就對陳那、法稱的各種論書大半有比較簡要的註解，而且貫串著「因明具備解脫道次」的主張。他給《量評釋論》頌本作註解和撮要，即以「闡明解脫道」為書名，同時也明白表示和薩迦派不同的見解，特別是表現在對於印度各家說法的取捨上。他又對薩班所著的《正理藏論》作註以自申其說（此註收在拉卜楞寺版《賈曹傑全集》第四帙）。從此以後，格魯派的因明研究，即專以宗喀巴師弟之說為宗，而很少進展。
另外，在西藏的因明研究中，還存在著一些根本欠缺。像陳那的因明理論，其初成型於《正理門論》，後來才擴充為《集量論》，故從學說源流上說，《理門論》也很為重要。但它的梵本早就失傳，以致重視因明的薩迦派雖從第三代祖師名稱幢（Grag-pargyal-mtshan，1147～1216）起即注意此書，而他和後來的教童（Stongshun）卻一再誤認天主（陳那門人）的《入正理論》，以為即是《理門論》，並還改動作者天主的名字為陳那，由此輾轉訛傳，再沒有人能糾正其失。實際《入論》和《理門》固然詳略懸殊，而且釋義也有出入，如根據《入論》來談陳那之學，即難免有本末倒置之病。其次，陳那、法稱的理論有處和經部相關。經部著作現在沒有整部的傳本，只在別種書中引用它一些片段。其引文比較豐富而較有系統的要推《順正理論》，本來可以利用，可惜西藏只翻譯了它的略本《顯宗論》，其中有關經部議論之處，早已刪除無餘。因此，西藏因明中關於經部之說都只局限於註家零星的傳述，不能博引以使研究更深入一步（還有因明論中關於印度各派哲學之說，藏文資料也很不完備，同樣有此缺憾）。這些是西藏因明的欠缺，不可不知。
〔參考資料〕 商羯羅主《因明入正理論》；陳那《因明正理門論》；窺基《因明入正理論疏》；陳望道《印度理則學》；虞愚《因明學》；霍韜晦《佛家邏輯研究》；沈劍英《因明學研究》；北川秀則《インド古典論理學の研究》；武邑尚邦《佛教論理學の研究》；戶崎宏正《佛教認識論の研究》；Th. Stcherbatsky《Buddhist Logic》。
因明學用語。因三相之一。指因明論式中，宗的異品須普遍沒有因的性質。所謂「異品」，陳那《因明正理門論》云（大正32‧7a）︰「若所立無，說立異品。」天主《因明入正理論》云（大正32‧11b）︰「異品者，謂於是處無其所立。」亦即某物只要不具有宗法所表述的性質，即可用來作為異品。異品分宗異品與因異品兩種，凡與宗法相異的，叫做宗異品；凡與因法相異的，叫因異品。由於宗法的外延比因法大，宗法包含因法，所以凡與宗法相異的宗異品，也都是與因相異的因異品。
所謂「遍無性」，「遍」者全部之意，「遍無性」是說所有的宗異品都與因法不發生關係，因為凡宗的異品應該都是因的異品。由於此異品遍無性是用來從反面制止因法之濫用，所以要求宗的異品必須全部不具有因法的性質；如果不是全部宗異品同時都是因異品的話，那就不能制止因法的濫用。例如說︰
銅是固體；（宗）
係金屬故；（因）
凡金屬均係固體，如鐵；（同喻）
若非固體，定非金屬，如水，……水銀。
（異喻）
「銅是固體」，這是一個真實的命題，但「金屬故」因卻是似因。亦即從因第一相看，「金屬」因大於宗上有法「銅」，符合遍是宗法性；從第二相看，「金屬」中大都是「固體」，所以符合同品定有性（如宗同品中的「鐵」，就兼有因法的性質，證明因法與宗法確實在外延上有一定程度的重合）；但如果用第三相從反面再來檢驗的話，就會發現，在宗的異品裏居然存在具有因法性質的事物，如水銀。水銀雖然是非固體（宗異品），但水銀卻是金屬的一種（因同品），這就不符合第三相「異品遍無性」的規定。第三相正是這樣從反面指出「金屬」因原來只是一個「不定」的似因，如圖︰
從圖中可以看出，「金屬」因原來並未全部包含在「固體」法中，而只是與「固體」法部分重合，構成交叉關係；它的另一部分則與「非固體」構成交叉關係。這樣，「金屬」因就成了兼及宗同品與宗異品的「不定」之因。
由此可見，如果因的第三相不要求「遍無」，就不能真正起到「止濫」的作用；而只有規定所有的宗異品都不得具有因的性質，才能制止因的濫用。事實上，作為一個正因，其外延必然被宗法所包含，構成屬種關係；這樣，某物既是宗的異品，就必然也是因的異品。所以《因明入正理論疏》卷上強調說（大正44‧108a）︰「異品止濫，必顯遍無，方成止濫。」（沈劍英）
〔參考資料〕 《因明入正理論疏》卷上（末）；《因明論疏明燈抄》卷二（末）；《因明論疏瑞源記》卷三。
瑜伽六十六卷八頁云：復次此中能生生起因法，彼由各別等流果故；名有果法。若諸後有業及煩惱，彼由各別異熟果故；名有果法。若有三處正現在前，若濕和合正現在前，若卵[穀-禾+卵]藏，若眼色等，若彼俱生諸心心法，若近惡友等，若近善友等，二種，三法；如是一切，皆由各別增上果故；名有果法。若現法中，由染汙住，生邪精進，無果劬勞，生憂苦住；若現法中，不染汙住，生正精進，有果劬勞，生喜樂住；如是一切，皆由各別士用果故；名有果法。若趣世間離欲生道，彼由離繫增上果故；名有果法。又能引出世間之道，及能證涅槃出世之道，彼由離繫增上果故；名有果法。謂由究竟離繫果故；名有果法。若世間道，非由究竟離繫果故；名有果法。當知是名二道差別。由如是等所說相故；當知建立有果諸法差別之相。謂隨所應，立等流果，若異熟果，若增上果，若士用果，若離繫果。與此相違，應知建立非有因法，非有果法。
二解 品類足論六卷八頁云：有果法云何？謂有漏法，及世俗道所證結斷。
三解 品類足論六卷十二頁云：有果法云何？謂一切有為法。
瑜伽九十四卷十五頁云：又此緣起總略義者：謂依轉品，有因諸苦。又依還品，有因無漏所有諸法。又有因苦，因緣諸漏。又彼諸漏所依止性，從無明觸所生諸受。又有因法住立因緣，則現法中煩惱斷者唯有依緣。又復依於七種清淨，漸次修集。為得無造究竟涅槃，應知宣說隨順如是緣性緣起甚深言教。
亦可另行搜索於 大藏經（CBETA） / Google / 異體字字典 / Digital Dictionary of Buddhism / 國語辭典 / 台大獅子吼佛學專站 / 四庫全書 / 國學大師 / 法鼓全集（聖嚴法師） / 廣欽老和尚網路專輯 / 雪公全集（李炳南老居士） / 印順全集 /