odvozením

Odvozením je pojem užívaný v různých oborech k označení procesu odvození nebo k označení výsledku tohoto procesu. Je to instrumentální tvar slova odvození a v širším slova smyslu vyjadřuje, že něco vyplývá z daných pravidel, podmínek, axiomů nebo dat.

V logice a filosofii odvození znamená sled úvah vedoucích od premis k závěru podle pravidel inferenční logiky. Důkazy jsou typicky popsány jako sekvence odvození: z daných premis odvozujeme závěr. Rozlišuje se deduktivní odvozování, které vyvozuje závěr nepochybně ze známých jistot, a v některých kontextech i indukční odvozování, kde platnost závěru bývá pouze statisticky či pravděpodobnostně podpořená.

V matematice a informatice se pojem odvození používá pro generování nových tvrzení z definic a axiomů podle formálních pravidel. Důkazový proces bývá popsán jako posloupnost odvození, která ukazuje, že tvrzení vyplývá z definic a axiomů. V teoretické proveditelnosti se odvozením popisuje také postup od výroků k dalším výrokům v rámci formálních systémů.

V lingvistice se odvozování (derivace) týká tvorby nových slov z kořene nebo základní formy pomocí předpon a sufiksů; výsledek se nazývá odvozené slovo a samotný proces odvozování. Příkladem je slovo nešťastný, vzniklé z kořene šťastný přidáním prefixu ne- a suffixu -ný. Odvození tak v jazykovědě vystihuje změnu významu či slovníformy prostřednictvím gramatických prostředků.