Únos (z lat. ab - „c, from“ a lat. ducere - „vést“) je kognitivní procedura pro předkládání hypotéz [1] [2] .
Únos je druh reduktivního vyvozování se zvláštností, že druhý předpoklad vyplývá z předpokladu , což je podmíněné prohlášení, a závěru . Například,
první předpoklad : lidé jsou smrtelní; závěr : Sokrates je smrtelný;Únosem můžeme předpokládat, že druhý předpoklad : Sokrates je muž.
V dějinách logiky sahá myšlenka únosu ve formě apagogiky až k Aristotelovi [3] . V moderní době se únosem poprvé zabýval zakladatel pragmatismu a sémiotiky C. S. Pierce , který tento termín systematicky používá od roku 1901 [4] . Podle Charlese Peirce existují tři druhy základního uvažování: dedukce , indukce a únos.
Únos má široké pole vědeckého a aplikovaného využití, včetně systémů umělé inteligence . Jak píše G. I. Ruzavin :
... abduktivní uvažování se nejčastěji používá k objevování empirických zákonitostí, které nastolují nezbytná pravidelná spojení mezi pozorovanými vlastnostmi a vztahy jevů. Teoretické zákony nelze tímto způsobem objevit, protože obsahují abstraktní pojmy, které nelze experimentálně pozorovat. Cesta k nim proto vede přes hypotézy či soustavy hypotéz, které se obvykle ověřují logickým odvozením empirických zákonitostí z nich. Jak dosvědčují dějiny vědy, tak vlastně probíhalo objevování teoretických zákonitostí a konstrukce integrálních teorií a teoretických systémů [5] .
Slovníky a encyklopedie |
| |||
---|---|---|---|---|
|
Logika | |||||||||
---|---|---|---|---|---|---|---|---|---|
Filosofie • Sémantika • Syntaxe • Historie | |||||||||
Logické skupiny |
| ||||||||
Komponenty |
| ||||||||
Seznam booleovských symbolů |