Filmedy: založena nová stránka s textem „{{K rozšíření}} {{Infobox Filozofie | Název = Dedukce | Obrázek = Deduction.jpg | Popisek = Symbolické znázornění deduktivního uvažování (od obecného k jednotlivému) | Obor = Logika, Filozofie, Věda | Hlavní představitelé = Aristotelés, Eukleidés, René Descartes, Gottfried Wilhelm Leibniz | Opak = Indukce | Původ = Z latinského ''deductio'' (odvození, vyvedení) }} '''Dedukce''' (z latina|la…“

2025-05-28T02:20:55Z

založena nová stránka s textem „{{K rozšíření}} {{Infobox Filozofie | Název = Dedukce | Obrázek = Deduction.jpg | Popisek = Symbolické znázornění deduktivního uvažování (od obecného k jednotlivému) | Obor = Logika, Filozofie, Věda | Hlavní představitelé = Aristotelés, Eukleidés, René Descartes, Gottfried Wilhelm Leibniz | Opak = Indukce | Původ = Z latinského ''deductio'' (odvození, vyvedení) }} '''Dedukce''' (z latina|la…“

Nová stránka

{{K rozšíření}}
{{Infobox Filozofie
| Název = Dedukce
| Obrázek = Deduction.jpg
| Popisek = Symbolické znázornění deduktivního uvažování (od obecného k jednotlivému)
| Obor = [[Logika]], [[Filozofie]], [[Věda]]
| Hlavní představitelé = [[Aristotelés]], [[Eukleidés]], [[René Descartes]], [[Gottfried Wilhelm Leibniz]]
| Opak = [[Indukce]]
| Původ = Z latinského ''deductio'' (odvození, vyvedení)
}}

'''Dedukce''' (z [[latina|latinského]] ''deductio'', což znamená „odvození“ nebo „vyvedení“) je [[myšlení|myšlenkový]] proces, [[logika|logický]] postup, při kterém se z [[obecný|obecných]] [[pravidlo (logika)|pravidel]], [[premissa|premis]] nebo [[fakt|faktů]] dochází k [[konkrétní|konkrétním]] a [[jistota|jistým]] [[závěr (logika)|závěrům]]. Je to jeden ze základních postupů v [[logika|logice]] a [[matematika|matematice]], kde slouží k [[důkaz (matematika)|dokazování]].

== Charakteristika dedukce ==
Dedukce se vyznačuje tím, že pokud jsou výchozí [[premisa|premisy]] (předpoklady) pravdivé, pak je i závěr, který z nich logicky vyplývá, s [[jistota|jistotou]] pravdivý. Jde tedy o [[jistota|jisté]] [[odvození (logika)|odvozování]], nikoliv jen [[pravděpodobnost|pravděpodobné]].

Hlavní rysy dedukce:
* '''Od obecného k jednotlivému''': Dedukce postupuje od [[obecný|obecných]] [[tvrzení (logika)|tvrzení]] nebo [[zákon (logika)|zákonů]] ke [[konkrétní|konkrétním]] [[případ (logika)|případům]] nebo [[jednotlivina|jednotlivinám]].
* '''Jistota závěru''': Je-li logika správně dodržena a premisy jsou pravdivé, závěr je nutně pravdivý. Dedukce tak nepřináší žádné nové [[informace]], pouze zpřesňuje a objasňuje to, co je již obsaženo v premisách.
* '''Použití v deduktivních vědách''': Dedukce je klíčovou metodou v [[matematika|matematice]] a [[logika|logice]], kde se používá k budování [[axiomatický systém|axiomatických systémů]] a [[teorém|teorémů]].

=== Příklad klasické dedukce (sylogismu) ===
Nejznámějším příkladem deduktivního uvažování je [[sylogismus]]:
* První premisa (obecné tvrzení): „Všichni [[člověk|lidé]] jsou [[smrtelný|smrtelní]].“
* Druhá premisa (konkrétní tvrzení): „[[Sókratés]] je [[člověk]].“
* Závěr (odvozený z premis): „[[Sókratés]] je [[smrtelný]].“

V tomto případě, pokud jsou obě premisy pravdivé, je pravdivý i závěr.

== Dedukce vs. Indukce ==
Často se dedukce srovnává s [[indukce|indukcí]], což jsou dva základní typy [[logické usuzování|logického usuzování]].
* '''Dedukce''' (od obecného k jednotlivému): Vychází z obecných pravidel a aplikuje je na konkrétní případy. Závěr je jistý, pokud jsou premisy pravdivé.
* '''Indukce''' (od jednotlivého k obecnému): Vychází z pozorování jednotlivých případů a snaží se z nich odvodit obecné pravidlo nebo [[hypotéza|hypotézu]]. Závěr indukce je vždy pouze pravděpodobný, nikoliv jistý.

Příklad pro srovnání:
* '''Dedukce''': „Všechny [[kočka|kočky]] mají [[chlupy]]. [[Micka]] je kočka. Z toho plyne, že Micka má chlupy.“
* '''Indukce''': „Všechny [[kočka|kočky]], které jsem viděl, mají [[chlupy]]. Z toho usuzuji, že všechny kočky mají chlupy.“ (Zde je vždy malá šance, že existuje kočka bez chlupů, kterou jsem ještě neviděl.)

== Historie a osobnosti ==
Koncept dedukce má dlouhou historii, sahající až do [[starověké Řecko|starověkého Řecka]].
* '''[[Aristotelés]]''' (384–322 př. n. l.): Byl jedním z prvních, kdo systematicky studoval [[logické usuzování|logické usuzování]] a formuloval základy [[sylogismus|sylogismu]], což je klasický příklad dedukce. Jeho práce položily základ pro pozdější rozvoj logiky.
* '''[[Eukleidés]] z Alexandrie''' (kolem 300 př. n. l.): Použil dedukci k vytvoření logické struktury svých „[[Základy (Eukleidés)|Základů geometrie]]“, což je [[klasika|klasické]] dílo [[matematika|matematiky]] postavené na [[axiomatický systém|axiomatickém systému]].
* '''[[René Descartes]]''' (1596–1650): V [[novověká filozofie|novověké filozofii]] zdůrazňoval dedukci jako prostředek jistého poznání, zejména v kontrastu s [[empirismus|empirickou]] [[intuice|intuicí]].
* '''[[Gottfried Wilhelm Leibniz]]''' (1646–1716): Pokračoval v rozvoji deduktivních systémů a přispěl k [[symbolická logika|symbolické logice]].

== Dedukce v praxi ==
Dedukce se uplatňuje v mnoha oblastech:
* '''[[Kriminalistika]] a [[Detektiv]]ní práce''': Slavným příkladem je [[Sherlock Holmes]], který používá deduktivní uvažování k odhalování pachatelů na základě [[indicie|indicií]] a [[důkaz (právo)|důkazů]]. Ačkoli v populární kultuře je jeho metoda často nazývána dedukcí, ve skutečnosti často kombinuje dedukci s [[abdukce (logika)|abdukcí]] (vyvozování nejpravděpodobnějšího vysvětlení).
* '''[[Věda]]''': Vědci používají dedukci k testování [[hypotéza|hypotéz]] a k předpovídání [[pozorování|pozorování]] na základě [[teorie|teorií]]. Pokud se předpovědi shodují se skutečností, teorie je posílena.
* '''[[Programování (informatika)|Programování]] a [[Informatika]]''': V [[informatika|informatice]] se deduktivní principy využívají při tvorbě [[algoritmus|algoritmů]] a prokazování správnosti [[software|softwaru]].
* '''[[Právo (právo)|Právo]]''': [[Soudce|Soudci]] a [[právník|právníci]] používají deduktivní uvažování k aplikaci [[obecné zákon|obecných zákonů]] na [[konkrétní případ|konkrétní případy]].

== Pro laiky ==
Představte si, že máte krabici, na které je napsáno: "Všechny věci v této krabici jsou [[červený|červené]]." Pak z krabice vytáhnete něco a víte, že je to "věc z této krabice". Díky dedukci si můžete být 100% jisti, že ta věc je [[červený|červená]].

Dedukce je jako, když máte velkou [[mapa|mapu]] celého [[město|města]] a z ní si najdete cestu do konkrétního [[obchod|obchodu]]. Máte obecnou informaci (celou mapu) a z ní odvodíte konkrétní detail (cestu k obchodu). Jste si jistí, že cesta existuje, protože je na mapě.

Naopak [[indukce]] by bylo, kdybyste viděli pět [[červený|červených]] aut na ulici a pak si řekli: "Asi jsou všechna auta na této ulici červená." Ale to není jisté, protože hned za rohem může být modré auto. Dedukce je jako jistota, indukce je jako [[hádanka|hádání]] s velkou pravděpodobností.

== Kategorie ==
[[Kategorie:Logika]]
[[Kategorie:Filozofie]]
[[Kategorie:Myšlenkové procesy]]
[[Kategorie:Vědecké metody]]
[[Kategorie:Logické usuzování]]
[[Kategorie:Pojmy v logice]]
[[Kategorie:Epistemologie]]

Dedukce - Historie editací