deduktivní

Deduktivní je adjektivem popisujícím způsob myšlení a metod, které vyvozují závěry z obecných zásad nebo z dříve stanovených výroků. Deduktivní postup má za cíl závěr, který z daných premis nutně vyplývá. V logice a filosofii se deduktivní úvahy soustředí na logickou nutnost a důkazy. Dedukce se používá v matematice, formální logice a teoretických vědách.

V logice se deduktivní úvaha posuzuje podle formy: pokud premisy jsou pravdivé a tvar argumentu je platný, závěr nutně vyplývá. Znělý argument má pravdivé premisy a platný závěr. V matematice a formální logice se důkazy provádějí prostřednictvím odvozování z axiomů a již prokázaných vět, což vede k novým závěrům, které musí být pravdivé za předpokladu správnosti premis.

Na rozdíl od dedukce je indukce (induktivní myšlení) založena na zobecněních z konkrétních pozorování a její závěry jsou probabilistické, nikoli nutně pravdivé. Indukce umožňuje tvořit teorie a hypotézy, ale jejich platnost se ověřuje dalším pozorováním a testováním.

Použití deduktivního přístupu je běžné v pedagogice, kde se často uplatňuje deduktivní metoda: nejprve se představí obecná pravidla a teorie a teprve poté se aplikuje na konkrétní případy. V vědě a matematice slouží dedukce k formulování důkazů a k rozvíjení logických systémů.