Subsumtion
Den underordningen (även underordningen ), tyska underordning , en classificatory process, i vilken en term eller struktur enligt delar en annan term, eller en annan struktur. Proceduren för subsumtionslogik eller klassificeringslogik ses som motsatsen till dialektisk logik .
- I logik, betecknar den hierarkiska ordning av begrepp underordningen, se underordningen (filosofi) .
- I rättspraxis används termen som en tillämpning av en rättslig norm på ett tillstånd, dvs. H. förstås som underordnande av fakta till normens krav, se subsumtion (lag) .
- I lingvistik representerar subsumtion i området för frasstrukturgrammatik en relation mellan två funktionsstrukturer eller attributvärde-matriser, se attribut-värde-matris .
- Inom ekonomin görs en åtskillnad mellan formell (bunden av instruktioner och underkastad direkt kontroll) och verklig (enligt marknadens lagar) subsumtion, se formell och reell subsumtion .
- Inom datavetenskap , inom området artificiell intelligens - närmare bestämt kunskapsrepresentation - används underförbrukning i beskrivningslogik för att beräkna om ett koncept (en tydligt beskriven uppsättning objekt) är en delmängd av ett annat koncept.
etymologi
Ordet kommer från latin ( sub , "under", och sumere , "take", 2: e partisipp sumptum ), men på tyska har stavningen utan "p" fastställts i stället för "subsumtion" som krävs av latin.
litteratur
- Karl Engisch : Logiska studier om lagens tillämpning , 3: e upplagan, Akademieabh., Heidelberg 1963.
- Karl Engisch: Introduction to Legal Thought , 11: e upplagan, Kohlhammer, Stuttgart 2010, kap. IV och V.
- Karl Larenz : Methodology of Jurisprudence , 6: e upplagan, Springer, Berlin 1991, II kap. 2, avsnitt 5.
- Reinhold Zippelius : Legal methodology , 11: e upplagan, CH Beck, München 2012, § 16.