Subsumtion

Die Subsumtion (auch Subsumption), deutsch Unterordnung, ist ein klassifikatorischer Vorgang, bei dem man einen Begriff oder eine Struktur unter einen anderen Begriff bzw. eine andere Struktur ordnet. Die Vorgehensweise der Subsumtionslogik oder Klassifikationslogik wird als Gegenbegriff zur dialektischen Logik angesehen.

Das Wort stammt aus dem Lateinischen (sub, unter, und sumere, nehmen, 2. Partizip sumptum), im Deutschen hat sich aber statt des vom Lateinischen geforderten „Subsumption“ die Schreibweise ohne „p“ eingebürgert. Im philosophischen Sprachgebrauch kommt der Terminus zugleich und in derselben Bedeutung wie der Terminus „Subordination“ im 17. Jahrhundert auf und scheint sich auf Grund der prominenten Verwendung bei Kant weiter verbreitet zu haben.

• In der Rechtswissenschaft wird der Begriff als Anwendung einer Rechtsnorm auf einen Sachverhalt, d. h. als Unterordnung des Sachverhaltes unter die Voraussetzungen der Norm, verstanden, siehe Subsumtion (Recht).
• In der Linguistik stellt die Subsumtion im Bereich der Phrasenstrukturgrammatik eine Relation zweier Merkmalstrukturen bzw. Attribut-Wert-Matrizen dar, siehe Attribut-Wert-Matrix.
• In der Ökonomie unterscheidet man zwischen Formaler (weisungsgebunden und direkter Kontrolle unterworfen) und Realer (nach den Gesetzen des Marktes erfolgend) Subsumtion, siehe Formelle und reelle Subsumtion.
• In der Informatik wird im Gebiet der Künstlichen Intelligenz, genauer der Wissensrepräsentation, die Subsumption bei Beschreibungslogiken dazu verwendet, zu berechnen, ob ein Konzept (eine eindeutig beschriebene Menge von Objekten) eine Teilmenge eines anderen Konzepts ist.