La subsunción significa una relación de inclusión entre conceptos en las lógicas de descripción . Corresponde a la relación hiponimia - hiperonimia en lingüística, es decir dos términos cuyo significado incluye el del otro: la noción de animal subsume la de mamífero ; todo mamífero es necesariamente un animal.
Esta noción es, por tanto, equivalente a la relación "contiene" en la lógica de conjuntos, o incluso "está implícito por" en la lógica clásica: mamífero implica animal . La relación de subsunción permite construir una red de Galois a partir de un conjunto de individuos y propiedades.
La subsunción es también una técnica del razonamiento jurídico suizo y alemán cercano al silogismo . Describe el viaje intelectual que pasa del estado de hecho al estado de derecho.
Karl Marx utiliza el concepto de subsunción para definir la forma en que las relaciones sociales están determinadas por las relaciones laborales.
En la tradición filosófica indo-tibetana, la subsunción se utiliza en los debates para aclarar uno de los dos tipos de cognición válida: la inferencial ( Skt . Anumana pramana ; tib. Djepak tsema ), siendo la segunda la cognición válida directa ( pratyaksha pramana ; ngoen soum tsema ).
El silogismo (tib. Djorwa ), para ser declarado válido, debe satisfacer 3 criterios esenciales.
En los debates monásticos (y también seculares , durante el ejercicio de las justas verbales), un ejemplo didáctico es, por ejemplo, la siguiente afirmación : el sujeto, el sonido, es impermanente porque se produce;
Si el estudiante de lógica tiene un primer conocimiento (empírico) de que se produce sonido, puede deducir con certeza y verdad que el sonido es impermanente. Porque la afirmación cumple los 3 criterios según los cuales:
Cumplidos los 3 criterios en este caso, se trata de una prueba válida sobre un fenómeno examinado por inferencia lógica: la impermanencia (burda y sutil) del sonido.
Además, estos tres criterios (propiedad del sujeto, subsunción y contra-subsunción) se utilizan para 3 tipos generales de razones válidas que cubren todos los fenómenos existentes: