Eduction ( latin ex ducere , även deduktiv slutledning ) är den sjätte huvudtypen av slutledning i klassificeringen av slutledningar som föreslagits av logikern Rutkovsky L.V. Han kallar eduktiva slutledningar för de fall av logiska slutsatser där, på grundval av en beprövad definition av ämnet, en annan tillskrivs det, som redan finns mer eller mindre latent i den första.
Rutkovsky L. V. ser slutledningsaktivitetens uppgift i att ”ur huvuddomens predikat extrahera det däri gömda särdraget, för att genom korrekt analys finna vilket särdrag som kan hänföras till ämnet för huvuddomen med hänsyn till vad som sades om det i det senare."
Slutledningar av den eduktiva typen står i direkt kontrast till subjektiva slutledningar som är väsentligen subjektiva i en logisk process. I deduktion representerar slutsatsens predikat en del av huvuddomens predikat , och i subduktivt resonemang bestämde huvuddomen subjektet genom ett drag som ingår i definitionen av slutledningsbedömningen. Därför går tanken i subduktivt resonemang från en mindre vid definition till en bredare, och i deduktivt resonemang, i omvänd ordning. Så, säger L. V. Rutkovsky , att tillskriva ett objekt som tilldelats en viss klass egenskaperna som betingas av denna uppgift innebär att göra en slutsats av en eduktiv typ om det.
Den viktigaste typen av deduktion är, enligt Rutkowski , slutsatsen av sannolikhet , genom vilken han förstår de fall av logiska slutsatser, vars uppgift är att bestämma de förväntade händelserna. I sannolikhetsslutsatserna är den motiverande propositionen en disjunktiv definition, som också anger den relativa betydelsen av var och en av termerna för disjunktionen i jämförelse med de andra.
Termen "utbildning" för denna nya typ av resonemang myntades av Rutkowski enligt följande. För enhetligheten behöll han samma latinska rot duc, som redan i sin sammansättning har begreppen traduction , induction och deduction , och som användes för att beteckna de typer av slutledningar som redan var kända vid den tiden. Sedan hittade han ett prefix med vilket han kunde uttrycka den specifika konnotationen av den nya typen av slutledning. Eftersom i den deduktiva inferensen predikatet för den inferentiella bedömningen extraheras från lat. ex ducere från ett bredare predikat av huvuddomen kallade L. V. Rutkovsky denna typ av slutledning för "deduktion". Ǝ x är det symboliska värdet för den existentiella kvantifieraren .