Dedukce (lat. deductio – odvození) je proces usuzování, ve kterém se od předpokladů (premis) dochází k závěru z těchto předpokladů vyplývajícího, přičemž odvozování je jisté, nikoliv jen pravděpodobné. Jde tedy o základní postup při dokazování.
Základ logiky
Standardy deduktivního usuzování formuluje logika. Logicky správná dedukce má podobu posloupnosti kroků, které splňují přesně stanovená kritéria zabezpečující, že jsou-li premisy pravdivé, je pravdivý i závěr. Dedukce představuje konstitutivní metodologický postup tzv. deduktivních věd, zejména logiky a matematiky. Naproti tomu v empirických vědách se používá indukce čili zobecňování, když se z jednotlivých poznatků (měření apod.) vytvářejí obecné hypotézy.
Příklad
Klasickým příkladem dedukce je sylogismus, například:
"Takže Sókratés je smrtelný." (dokázaný závěr)Naopak v induktivním uvažování by šlo vyslovit hypotézu:
"Sókratés je smrtelný." (první premisa)
"Sókratés je člověk." (druhá premisa)
"Všichni lidé jsou smrtelní." (hypotéza o obecném)Hypotéza je sice splnitelná, ale stále k ověření / vyvrácení. Ovšem i při jejím vyvrácení je stále možné použití tvrzení jako omezeně splnitelného předpokladu dále, protože alespoň částečná platnost je dána už premisou.
Copyright 2024 puzzlefactory.com Všechna práva vyhrazena.
