ཁྱབ་པ་སྒོ་བརྒྱད།

De Dharmapedia
Sauter à la navigation Sauter à la recherche

aṣṭa vyāptidvāra

Les huit classes d’implications


Litt. les huit portes des implications.
Elles sont à distinguer des huit syllogismes formellement valides རྟགས་གསལ་གྱི་ཁྱབ་པ་སྒོ་བརྒྱད།.
En l’occurrence, il s’agit ici de huit relations logiques qui peuvent être abordées selon quatre groupes :
1-2. ཡིན་ཁྱབ་གཉིས། Les deux implications.
1. Implication. Si x est vraie, y est vraie.
2. Réciproque. Si y est vraie, x est vraie.
3-4. མིན་ཁྱབ་གཉིས། Les deux exclusions.
3. Négation de l’antécédent. Si x n’est pas vraie, y n’est pas vraie.
4. Contraposée. Si y n’est pas vraie, x n’est pas vraie.
5-6. ཡོད་ཁྱབ་གཉིས། Les deux implications d’existence.
5. Implication de l’existence. Si x existe, y existe.
6. Implication réciproque de l’existence. Si y existe, x existe.
7-8. མེད་ཁྱབ་གཉིས། Les deux exclusions d’existence.
7. Négation de l’antécédent de l’existence. Si x n’existe pas, y n’existe pas.
8. Contraposée de l’existence. Si y n’existe pas, x n’existe pas.
Syn. les huit classes d’implications entre définitions et définis མཚན་མཚོན་གྱི་ཁྱབ་པ་སྒོ་བརྒྱད།.