ཁྱབ་པ་སྒོ་བརྒྱད། : Différence entre versions
Sauter à la navigation
Sauter à la recherche
(Page créée avec « == aṣṭa vyāptidvāra == === Les huit classes d’implications === <br /> Litt. les huit portes des implications. Elles sont à distinguer des huit syllogismes formell… ») |
|||
| Ligne 2 : | Ligne 2 : | ||
=== Les huit classes d’implications === | === Les huit classes d’implications === | ||
<br /> | <br /> | ||
| − | Litt. les huit portes des implications. 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 : 1- | + | Litt. les huit portes des implications. 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 : 1-2. <big><big>[[ཡིན་ཁྱབ་གཉིས།]]</big></big> Les deux implications. |
| − | + | :::1. Implication. | |
| − | :: | + | :::: Si x est vraie, y est vraie. |
| − | :1. Implication. | + | :::2. Réciproque. |
| − | :: Si x est vraie, y est vraie. 2. Réciproque. Si y est vraie, x est vraie. 3- | + | :::: 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. |
| − | :3. Négation de l’antécédent. | + | :::4. Contraposée. |
| − | :: 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- | + | :::: 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. |
| − | :5. Implication de l’existence. | + | :::6. Implication réciproque de l’existence. |
| − | :: Si x existe, y existe. 6. Implication réciproque de l’existence. Si y existe, x existe. 7- | + | :::: 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. |
| − | :7. Négation de l’antécédent de l’existence. | + | :::8. Contraposée 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> | + | :::: 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> |
<br /><br />[[Category:ཁ]] | <br /><br />[[Category:ཁ]] | ||
Version du 18 mars 2020 à 12:59
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 མཚན་མཚོན་གྱི་ཁྱབ་པ་སྒོ་བརྒྱད།
- 1. Implication.
