ཁྱབ་པ་སྒོ་བརྒྱད། : Différence entre versions
Sauter à la navigation
Sauter à la recherche
Ligne 3 : | Ligne 3 : | ||
<br /> | <br /> | ||
:Litt. les huit portes des implications. <br> | :Litt. les huit portes des implications. <br> | ||
− | :Elles sont à distinguer des huit syllogismes formellement valides <big><big>[[རྟགས་གསལ་གྱི་ཁྱབ་པ་སྒོ་བརྒྱད།]]</big></big>. | + | :Elles sont à distinguer des huit syllogismes formellement valides <big><big>[[རྟགས་གསལ་གྱི་ཁྱབ་པ་སྒོ་བརྒྱད།]]</big></big>. |
− | :En l’occurrence, il s’agit ici de huit relations logiques qui peuvent être abordées selon quatre groupes : | + | :En l’occurrence, il s’agit ici de huit relations logiques qui peuvent être abordées selon quatre groupes : |
− | + | :1-2. <big><big>[[ཡིན་ཁྱབ་གཉིས།]]</big></big> Les deux implications. | |
− | + | ::1. Implication. Si x est vraie, y est vraie. | |
− | + | ::2. Réciproque. Si y est vraie, x est vraie. | |
− | + | :3-4. <big><big>[[མིན་ཁྱབ་གཉིས།]]</big></big> 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. <big><big>[[ཡོད་ཁྱབ་གཉིས།]]</big></big> 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. <big><big>[[མེད་ཁྱབ་གཉིས།]]</big></big> 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 <big><big>[[མཚན་མཚོན་གྱི་ཁྱབ་པ་སྒོ་བརྒྱད།]]</big></big>. | :Syn. les huit classes d’implications entre définitions et définis <big><big>[[མཚན་མཚོན་གྱི་ཁྱབ་པ་སྒོ་བརྒྱད།]]</big></big>. | ||
<br /><br />[[Category:ཁ]] | <br /><br />[[Category:ཁ]] |
Version actuelle datée du 24 mai 2020 à 11:25
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 མཚན་མཚོན་གྱི་ཁྱབ་པ་སྒོ་བརྒྱད།.