Subsumarea înseamnă o relație de incluziune între concepte în descriere logicile . Corespunde relației hiponimie - hiperonimie în lingvistică, adică doi termeni al căror sens îl include pe cel al celuilalt: noțiunea de animal o subsumă pe cea de mamifer ; fiecare mamifer este neapărat un animal.
Această noțiune este astfel echivalentă cu relația „conține” în logica setului, sau chiar „este implicată de” în logica clasică: mamiferul implică animal . Relația de subsumare face posibilă construirea unui rețea Galois dintr-un set de indivizi și proprietăți.
Subsumarea este, de asemenea, o tehnică a raționamentului juridic elvețian și german apropiat de silogism . Descrie călătoria intelectuală care trece de la starea de fapt la statul de drept.
Karl Marx folosește conceptul de subsumare pentru a defini modul în care relațiile sociale sunt determinate de relațiile de muncă.
În tradiția filozofică indo-tibetană, subsumarea este utilizată în dezbateri pentru a clarifica unul dintre cele două tipuri de cunoaștere valabilă: inferențială ( Skt . Anumana pramana ; tib. Djepak tsema ), a doua fiind o cunoaștere directă validă ( pratyaksha pramana ; ngoen soum tsema ).
Silogism (TIB. Djorwa ), care urmează să fie declarate valabile, trebuie să îndeplinească 3 criterii esențiale.
În dezbaterile monahale (și laice , de asemenea, în timpul exercitării goatelor verbale), un exemplu didactic este, de exemplu, următoarea afirmație : subiectul, sunetul, este impermanent deoarece este produs;
Dacă studentul logicii are o primă cunoaștere (empirică) că sunetul este produs, el poate deduce cu certitudine și adevăr că sunetul este impermanent. Deoarece afirmația îndeplinește cele 3 criterii conform cărora:
Cele 3 criterii fiind îndeplinite în acest caz, este vorba despre o dovadă validă privind un fenomen examinat prin inferență logică: impermanența (grosieră și subtilă) a sunetului.
În plus, aceste trei criterii (proprietatea subiectului, subsumarea și contrasubsumarea) sunt utilizate pentru 3 tipuri generale de motive valabile care acoperă toate fenomenele existente: