Korkman – Yrjönsuuri (toim) : Filosofian historian kehityslinjoja

Deduktio. Sitova päätelmä (lat. deduco, johtaa). Erityisesti logiikassa käytetty käsite -> argumentista, jonka premissien ja johtopäätöksen välillä on välttämätön looginen seuraussuhde. Eräät filosofit ovat käyttäneet käsitettä deduktio väljemmin viittaamaan mihin tahansa prosessiin, jossa ymmärrys johtaa jotakin jostakin. Esimerkiksi Descartes käytti deduktion käsitettä lähinnä geometriseen päättelyyn nojautuvassa merkityksessä. Hän myös ajatteli, että deduktio voi tuottaa tietoa, joka ei sisälly premisseihin. Tämä ei ole mahdollista muodollisen logiikan hyväksymissä deduktioissa. Hieman harhaanjohtavasti deduktiota kutsutaan usein päättelyksi yleisestä yksittäiseen. On huomattava, että esimerkiksi täydellinen -> induktio on loogisesti hyväksyttävä deduktiivinen päättelytapa, joka suuntautuu yksittäistapauksista yleiseen.