九 为他比量之第二分类
就用辞上，遮表立遣，别所诠法体之有无，是为第二分类。大抵有体用于立量，无体用于破量。就宗有体、无体，可成四式：
一、聲是無常………………有法之聲有體，能別無常表立┐ ├有體宗 二、眼等識非異熟心………眼等識有體，非異熟心遮立─┘ （此但破量） 三、汝我有用應無常………外執之我無體，能別無常表立┐ ├無體宗 四、真性有為是空…………真性有為無體，能別之空表遣┘
因顺成宗，表立遮遣，所诠法体，亦判有无。然于因法，广百论释，分为三类：一、有体因，如所作等；二、无体因，非所作等；三、俱有体无体因，如所知性等。由此乃成六式：
- 一、有體因成有體宗………………………如「所作性」成「聲無常」
- 二、有體因成無體宗（此但破量）………如「有一實故」成「汝有應非有」
- 三、無體因成有體宗………………………如聲論以「非所生故」成「聲是常」
- 四、無體因成無體宗（亦但破量）………如「非有實等諸法攝故」成「汝執和合定非實有」
- 五、俱二因成有體宗………………………如「所知性故」成「聲不離識」
- 六、俱二因成無體宗………………………如「所量性故」成「兔角不離識」
同喻、异喻之对于宗，合立、离遣，所诠法体有无亦须顺成。故有体宗，同喻亦须有体，异喻可通有体无体有法无法；又无体宗，同喻亦须无体，异喻可通有体无体有法无法。其例如下：
声是无常，所作性故，同喻如瓶，异喻如空。
同喻之瓶有体，顺成于有体宗；异喻之空，实空论者有体，无空论者无体，然皆遣无常义，故有体无体皆得成离遣。
第一义中，彼内入等皆有自体；由起自他差别言说因故；譬如因长有短、长为短因。
此量般若灯论破云：第一义中短长无故，同喻不成。此出以无体同喻成有体宗过。
数论立「我是思」，不出同喻。
广百论释破云：「以其思相，唯在于我，不共余相」，缺同喻法。此出同喻无法，成缺喻过。
汝执和合句义定非实有；如毕竟无。
同喻之毕竟无、无体，顺成于无体宗。此在破他之量应尔。
真性有为空，缘生故，如幻。无异喻法。
掌珍论自解云：「为遮异品立异喻法，异品无故，遮义已成，是故不说」。故无异喻法，不成缺支过。综上所论，为他比量第二分类。分列如左：