Edukce ( latinsky ex ducere , také deduktivní inference ) je šestým hlavním typem inference v klasifikaci inferencí navržené logikem Rutkovským L.V. Eduktivními inferencemi nazývá ty případy logických závěrů, kdy na základě jedné dokázané definice o předmětu je mu přisuzována jiná, obsažená již víceméně latentně v první.
Rutkovský L. V. vidí úkol inferenční činnosti v tom, „vyjmout z predikátu hlavního soudu rys v něm skrytý, najít náležitým rozborem, který rys lze přiřadit předmětu hlavního soudu s ohledem na to, co bylo řečeno o to v tomto druhém."
Inference eduktivního typu jsou v přímém kontrastu se subjektivními inferencemi , které jsou v podstatě subjektivní v logickém procesu. V dedukci představuje predikát závěru část predikátu hlavního úsudku a v subduktivním uvažování hlavní úsudek určoval subjekt znakem, který je součástí definice inferenčního úsudku. Proto v subduktivním uvažování postupuje myšlení od méně široké definice k širší a v deduktivním uvažování v opačném pořadí. Takže, říká L. V. Rutkovsky , přisoudit objektu přiřazenému k určité třídě vlastnosti podmíněné tímto přiřazením znamená učinit o něm závěr eduktivního typu.
Nejdůležitějším typem dedukce je podle Rutkowského závěr pravděpodobnosti , pod kterým rozumí ty případy logických závěrů, jejichž úkolem je určit očekávané události. V závěrech pravděpodobnosti je ospravedlňujícím tvrzením disjunktivní definice, která také naznačuje relativní důležitost každého z členů disjunkce ve srovnání s ostatními.
Termín „vzdělávání“ pro tento nový druh uvažování vytvořil Rutkowski následovně. Pro jednotnost ponechal stejný latinský kořen duc, který již má ve svém složení výrazy traduction , indukce a dedukce a kterými se označovaly v té době již známé typy inference. Pak našel předponu, pomocí které vyjádřil konkrétní konotaci nového typu inference. Vzhledem k tomu, že v deduktivní inferenci je predikát inferenčního soudu extrahován z lat. ex ducere z širšího predikátu hlavního rozsudku, pak L. V. Rutkovský nazval tento typ inference „dedukce“. Ǝ x je symbolická hodnota existenčního kvantifikátoru .