Eduktion ( latin ex ducere , også deduktiv inferens ) er den sjette hovedtype af inferens i klassificeringen af inferenser foreslået af logikeren Rutkovsky L.V. Han kalder eduktive slutninger for de tilfælde af logiske konklusioner, hvor der på grundlag af en definition, der er bevist om emnet, tillægges en anden til det, som allerede er indeholdt mere eller mindre latent i den første.
Rutkovsky L. V. ser slutningsaktivitetens opgave i at "uddrage fra hoveddommens prædikat det træk, der er gemt deri, for ved korrekt analyse at finde ud af, hvilket træk der kan tilskrives emnet for hoveddommen i lyset af, hvad der blev sagt om det i sidstnævnte."
Inferenser af den eduktive type står i direkte kontrast til subjektive slutninger , der i det væsentlige er subjektive i en logisk proces. I deduktion repræsenterer konklusionens prædikat en del af hoveddommens prædikat , og i subduktiv ræsonnement bestemte hoveddommen subjektet ved et træk, der er en del af definitionen af slutningsdommen. Derfor går tanken i subduktiv ræsonnement fra en mindre bred definition til en bredere, og i deduktiv ræsonnement i omvendt rækkefølge. Så, siger L. V. Rutkovsky , at tilskrive et objekt, der er tildelt en bestemt klasse de egenskaber, der er betinget af denne opgave, betyder at lave en konklusion af en eduktiv type om det.
Den vigtigste type deduktion er ifølge Rutkowski konklusionen af sandsynlighed , hvorved han forstår de tilfælde af logiske konklusioner, hvis opgave er at bestemme de forventede begivenheder. I sandsynlighedskonklusionerne er den begrundende påstand en disjunktiv definition, som også angiver den relative betydning af hver af disjunktionens vilkår i sammenligning med de andre.
Udtrykket "uddannelse" for denne nye form for ræsonnement blev opfundet af Rutkowski som følger. For ensartethedens skyld beholdt han den samme latinske rod duc, som allerede i sin sammensætning har begreberne traduction , induction og deduction , og som blev brugt til at betegne de typer af slutninger, der allerede var kendt på det tidspunkt. Så fandt han et præfiks, hvormed han kunne udtrykke den specifikke konnotation af den nye type slutninger. Da slutningsdommens prædikat i den deduktive slutning uddrages fra lat. ex ducere fra et bredere prædikat af hoveddommen, så kaldte L. V. Rutkovsky denne type slutninger for "deduktion". Ǝ x er den symbolske værdi af den eksistentielle kvantifier .