Subsumption
The subsumption (also subsumption ), German subordination , is a classificatory process in which one assigns a term or a structure under another term or another structure. The procedure of subsumption logic or classification logic is seen as the opposite of dialectical logic .
- In logic, subsumtion describes the hierarchical order of concepts, see subsumtion (philosophy) .
- In jurisprudence , the term is used as the application of a legal norm to a situation, i.e. H. understood as the subordination of the facts to the requirements of the standard, see subsumption (law) .
- In linguistics , subsumption in the area of phrase structure grammar represents a relation between two feature structures or attribute-value matrices, see attribute-value matrix .
- In economics, a distinction is made between formal (bound by instructions and subject to direct control) and real (following the laws of the market) subsumption, see formal and real subsumption .
- In computer science , in the field of artificial intelligence , more precisely knowledge representation , subsumption is used in description logics to calculate whether a concept (a clearly described set of objects) is a subset of another concept.
etymology
The word comes from Latin ( sub , unter, and sumere , take, 2nd participle sumptum ), but in German, instead of the “subsumption” required by Latin, the spelling without “p” has become established.
literature
- Karl Engisch : Logical studies on the application of the law , 3rd edition, Akademieabh., Heidelberg, 1963
- Karl Engisch : Introduction to Legal Thought , 11th edition, Kohlhammer, Stuttgart, 2010, chap. IV and V
- Karl Larenz : Methodology of Law , 6th edition, Springer, Berlin, 1991, II chap. 2, section 5
- Reinhold Zippelius : Legal methodology , 11th edition, CH Beck, Munich, 2012, § 16