རྟགས་གསལ་གྱི་ཁྱབ་པ་སྒོ་བརྒྱད།

Les huit syllogismes formellement valides

Litt. Les huit portes de validité des syllogismes. A distinguer des huit classes d’implications ཁྱབ་པ་སྒོ་བརྒྱད། ou des huit classes d’implications entre définitions et définis མཚན་མཚོན་གྱི་ཁྱབ་པ་སྒོ་བརྒྱད།. Ce sont huit formes de syllogisme dont le raisonnement est formellement valide, mais ils ne sont pas pour autant concluants. Pour cela, il est nécessaire que les trois critères ཚུལ་གསུམ། de validité de l’argument རྟགས། soient également vérifiés. Ces syllogismes formellement corrects peuvent être répartis en deux groupes principaux : 1-4. ཁྱབ་པ་རྣལ་མ་བཞི། catvāri mūla vyāpti/ Les quatre implications authentiques. 5-8. ཁྱབ་པ་ཕྱིན་ཅི་ལོག་བཞི། viparyaya vyāpti/ Les quatre négations, les quatre implications privatives.