Důkaz kruhem

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání

Důkaz kruhem, také circulus vitiosus (česky: bludný kruh; špatný kruh) nebo petitio principii je chybný postup deduktivního důkazu, při němž se předem předpokládá to, co se chce teprve dokazovat.

Význam[editovat | editovat zdroj]

Na důkaz kruhem poprvé upozornil Aristotelés v Prvních analytikách a ukázal, proč neplatí, přesněji řečeno platí jen pro toho, kdo už platnost domněle dokazované věty stejně přijímá. Tento kruh však nemusí být ani jednoduchý ani výslovný, takže si ho čtenář nebo i autor domnělého důkazu nevšimne: předpoklad může být mlčky zahrnut v používaných pojmech a podobně.

Problém vzniká v rámci formální logiky, která proti takovému důkazu nic nenamítá, neboť z každé věty triviálně plyne tato věta sama. Důkaz kruhem totiž není logicky chybný, nýbrž sémanticky prázdný, neboť nic nedokazuje. Podle J. Rosenberga se tedy pro platnost důkazu musí vyžadovat ještě splnění „podmínky adekvátnosti“, kterou formuluje takto: „Námitka proti tomu, co se má dokázat, se má lišit od námitky proti tomu, čím se dokazuje.“ Tato podmínka není při důkazu kruhem splněna.

Vicious circle[editovat | editovat zdroj]

V anglosaském prostředí se jako vicious circle označuje také děj s kladnou zpětnou vazbou, který se sám posiluje. Například tak zvaná inflační spirála: při růstu cen se zvyšují mzdy, což vede k dalšímu růstu cen.

Odkazy[editovat | editovat zdroj]

Reference[editovat | editovat zdroj]

  • Tento článek využívá informace z odpovídajícího článku německé Wikipedie.

Literatura[editovat | editovat zdroj]

  • Ottův slovník naučný, heslo Circulus vitiosus. Sv. 5, str. 389

Související články[editovat | editovat zdroj]