Educția ( latină ex ducere , de asemenea inferență deductivă ) este al șaselea tip principal de inferență în clasificarea inferențelor propusă de logicianul Rutkovsky L.V. El numește inferențe educative acele cazuri de concluzii logice în care, pe baza unei definiții dovedite despre subiect, i se atribuie o alta, cuprinsă deja mai mult sau mai puțin latent în prima.
Rutkovsky L. V. vede sarcina activității inferențiale în „extragerea din predicatul judecății principale a trăsăturii ascunse în acesta, pentru a găsi, prin analiză adecvată, care trăsătură poate fi atribuită subiectului judecății principale, având în vedere ceea ce s-a spus despre aceasta din urmă.”
Inferențe de tip eductiv sunt în contrast direct cu inferențe subiective care sunt în esență subiective într-un proces logic. În deducție, predicatul concluziei reprezintă o parte din predicatul judecății principale , iar în raționamentul subductiv, judecata principală a determinat subiectul printr-o trăsătură care face parte din definiția judecății de inferență. Prin urmare, în raționamentul subductiv, gândirea trece de la o definiție mai puțin largă la una mai largă, iar în raționamentul deductiv, în ordine inversă. Deci, spune L. V. Rutkovsky , a atribui unui obiect atribuit unei anumite clase proprietățile condiționate de această atribuire înseamnă a face o concluzie de tip eductiv despre acesta.
Cel mai important tip de deducție este, potrivit lui Rutkowski , concluzia probabilității , prin care înțelege acele cazuri de concluzii logice, a căror sarcină este să determine evenimentele așteptate. În concluziile probabilității, propoziția justificativă este o definiție disjunctivă, care indică și importanța relativă a fiecăruia dintre termenii disjuncției în comparație cu ceilalți.
Termenul „educție” pentru acest nou tip de raționament a fost inventat de Rutkowski după cum urmează. Pentru uniformitate, el a păstrat aceeași rădăcină latină duc, care are deja în componența sa termenii traducere , inducție și deducție , și care au fost folosite pentru a desemna tipurile de inferență deja cunoscute la acea vreme. Apoi a găsit un prefix cu care să exprime conotația specifică a noului tip de inferență. Întrucât în inferența deductivă predicatul judecății inferențiale este extras din Lat. ex ducere dintr-un predicat mai larg al judecății principale, apoi L. V. Rutkovsky a numit acest tip de inferență „deducție”. Ǝ x este valoarea simbolică a cuantificatorului existențial .