Charakteristika deduktívneho usudzovania a dedukcionizmu

Dedukcia (lat. deductio - odvodenie) je proces usudzovania, v ktorom sa od predpokladov (premís) dochádza k záverom z týchto predpokladov vyplývajúcich, pričom odvodzovanie je isté, nie len pravdepodobné. Teda mohli by sme ju charakterizovať ako istý myšlienkový postup, pri ktorom z istých výrokov (alebo ich foriem) odvodzujeme iné výroky (či výrokové formy), pričom medzi výrokovými výrazmi, z ktorých pri tom vychádzame (odvodzujeme), a výrokovými výrazmi, ktoré dedukciou získavame existuje vzťah vyplývania alebo logického vyplývania. Tradične sa dedukcia zrovnáva s indukciou. Štandardy deduktívneho usudzovania formuluje logika. Logicky správna dedukcia má podobu postupnosti krokov, ktoré splňujú presne stanovené kritériá zabezpečujúce, že ak sú premisy pravdivé, je pravdivý i záver. Dedukcia predstavuje konštitutívny metodologický postup tzv. deduktívnych vied, najmä logiky a matematiky.