Dedukce

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání
Možná hledáte: vědeckofantastickou povídku „Dedukce“ amerického spisovatele Isaaca Asimova, viz Rozum (Asimov).

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[editovat | editovat zdroj]

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í a pod.) vytvářejí obecné hypotézy.

Příklad[editovat | editovat zdroj]

Klasickým příkladem dedukce je sylogismus, například:

  • "Všichni lidé jsou smrtelní." (první premisa)
  • "Sókratés je člověk." (druhá premisa)
  • "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.

Rozdíl těchto dvou příkladů leží v rozdílných postaveních univerzálních a existenčních kvantifikátorů v premisách a v závěrech.

Axiomatika[editovat | editovat zdroj]

Deduktivní metoda je vytváření vědeckých teorií vyvozovaných pouze dedukcemi z axiomů nebo jiných již dokázaných vět. Jde o způsob logického myšlení, kde myšlenkový řetězec postupuje od obecných teorií k jednotlivostem, zvláštnostem. Využívá se v případech, kdy je shromážděn empirický materiál, z něhož je indukcí definován obecný princip. Toto tvrzení je pak podrobováno deduktivním odvozením všech možných důsledků a obvykle takovýto postup směřuje k formulaci axiomatického systému.

Historie, osobnosti a směry[editovat | editovat zdroj]