Subsumare (filozofie)
Subsumarea în filozofie este un termen al logicii formale care desemnează trasarea unui concept în contextul unui concept mai general, în extensia căruia este înțeles. Astfel de proceduri se mai numesc și judecăți subsumitive sau silogisme .
În dreptul modern, subsumarea este activitatea desfășurată de un judecător care vizează aplicarea unui fapt concret, care i-a fost propus, regulile stabilite de un caz abstract prevăzut de un sistem juridic. [1]
Istorie
Conceptul de subsumare apare în logica derivării aristotelice ca „asumarea premisei minore a silogismului ca fiind consecventă cu cea majoră” [2] ; este folosit ulterior în Critica de judecată a lui Immanuel Kant ( die Subsumtion ) cu sensul încadrării într-o clasificare. Este apoi preluat de Karl Marx în Capital ( subsumarea muncii în capital ) pentru a indica procedura prin care capitalul supune total munca umană la sine.
Conceptul formal de subsumare
Conceptul de subsumare este utilizat în reprezentarea cunoștințelor , în logica matematică , în ontologii și în alte discipline științifice, pentru a indica o clasificare ierarhică (specializare) prin substituție. Plecând de la o serie de fapte generale și specifice φ ( împreună , clasă , tip ), φ este identificat ca parte a unui grup dat ψ prin intermediul unei substituții θ.
De exemplu în Gordon Plotkin (1971):
date:
- φ = roșu (a) ∧ mic (a) ∧ pe (b, a)
- ψ = roșu (x) ∧ pe (y, x)
- θ = {x / a, y / b}
asa de:
- φθ ⊆ ψ
Prin urmare, φ, prin intermediul substituției θ, va constitui un subset de ψ.
Subsumarea legilor științifice
În dreptul penal , pentru a se stabili dacă există o legătură cauzală între comportamentul agentului și eveniment, se folosește subsumarea legilor științifice. Prin urmare, prin utilizarea științei, judecătorul constată dacă evenimentul, prevăzut de legea penală ca infracțiune, este atribuibil faptului comis de agent. [3]
Notă
- ^ www.dizi.it
- ^ Salvatore Battaglia, Mare dicționar al limbii italiene
- ^ www.overlex.it
