|
Subsomption Cet article est une ébauche concernant la logique. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. La subsomption désigne une relation d'inclusion entre des concepts, dans les logiques de description. Elle correspond à la relation hyponymie–hyperonymie en linguistique, c'est-à-dire deux termes dont le sens de l'un inclut celui de l'autre : la notion d'animal subsume celle de mammifère ; tout mammifère est forcément un animal. Cette notion est ainsi équivalente à la relation « contient » en logique ensembliste, ou encore « est impliqué par » en logique classique : mammifère implique animal. La relation de subsomption permet de construire un treillis de Galois à partir d'un ensemble d'individus et de propriétés. Exemples :
Autre sensEn droitLa subsomption est également une technique de raisonnement juridique suisse et allemande proche du syllogisme. Elle décrit le cheminement intellectuel qui passe de l'état de fait à la règle de droit. En philosophie politiqueKarl Marx mobilise le concept de subsomption pour définir la manière dont les relations sociales sont déterminées par les relations de travail. Marx distingue dans sa Critique de l'économie politique la subsomption formelle de la subsomption réelle lors de l'émergence historique du capitalisme. Ces termes recouvrent les deux phases par lesquelles la subsomption passe. La subsomption formelle a lieu en premier, à l'époque de la manufacture, avant l'industrialisation des tâches. L'activité de travail "passe sous le commandement, la direction et la surveillance du capitaliste" sans pour autant que le travailleur et son travail ne subissent d’autre changements substantiels que celui de sa disciplinarisation. La seconde a lieu après, lorsque le capital a pleinement pris contrôle de la production et qu'il "transforme la nature réelle du procès de travail ainsi que ses conditions réelles". En informatiqueDans les ontologies informatiques, la subsomption désigne le fait de placer un lien hiérarchique entre catégories mais aussi le lien résultant entre la sous-catégorie subsumée et la catégorie mère[1]. En logique du discoursDans la tradition philosophique indo-tibétaine, la subsomption est utilisée dans les débats afin de clarifier l'un des deux types de cognition valide : l'inférentielle (skt. anumana pramana ; tib. djépak tséma), la seconde étant la cognition valide directe (pratyaksha pramana ; ngoen soum tséma)[2],[3]. Le syllogisme (tib. djorwa), pour être déclaré valide, doit satisfaire à 3 critères indispensables. Dans les débats monastiques (et laïques aussi, lors de l'exercice des joutes verbales), un exemple didactique est par exemple, l'assertion suivante : le sujet, le son, est impermanent car il est produit ; Si l'étudiant en logique a une première connaissance (empirique) que le son est produit, il peut en déduire avec certitude et véracité que le son est impermanent. Car l'assertion remplit les 3 critères selon lesquels :
Les 3 critères étant réunis dans ce cas, il s'agit d'une preuve valide concernant un phénomène examiné par inférence logique: l'impermanence (grossière et subtile) du son. De plus, ces trois critères (propriété du sujet, subsomption et contre-subsomption) sont utilisés pour 3 types généraux de raisons valides qui couvrent tous les phénomènes existants :
Notes et références
Voir aussiBibliographie
Articles connexesLiens externes
|
