Presná definícia
Čo znamená dedukcia?
Dedukcia je inferencia, pri ktorej záver musí byť pravdivý vo všetkých interpretáciách, v ktorých sú pravdivé premisy; záver je teda ich logickým dôsledkom. Platná dedukcia nepridáva empirickú pravdepodobnosť, ale sprístupňuje to, čo už premisy s pravidlami implikujú. Spoľahlivosť systému závisí od zvukového postupu aj pravdivosti premís: platný dôkaz z nesprávnych faktov môže viesť k vecne nepravdivému záveru.
Skúsenosť a kontext
Ako sa pojem používa v praxi
Pravidlový systém môže mať premisy „každý účet bez viacfaktorového overenia je rizikový“ a „účet A nemá MFA“; dedukciou odvodí rizikovosť A. V produkcii sa pravidlá zapisujú v jednoznačnom jazyku, premisy majú pôvod a časovú platnosť a dokazovač uchová stopu použitých krokov. Testuje sa zvukovosť, úplnosť vzhľadom na zvolený fragment logiky, konflikty a hraničné prípady. Dedukcia sa hodí na pravidlá, ktoré musia platiť bez výnimky; neisté alebo defeasible znalosti potrebujú pravdepodobnostné či revidovateľné uvažovanie.
Overiteľnosť
Odborné zdroje
Praktické odpovede
Často kladené otázky
Čo znamená platný deduktívny argument?
Nie je možné, aby boli všetky premisy pravdivé a záver nepravdivý; platnosť sa týka formy, nie skutočnej pravdivosti premís.
Čo je zvukový dokazovací postup?
Odvodzuje iba logické dôsledky. Úplný postup navyše dokáže odvodiť každý dôsledok vyjadriteľný v danej logike.
Vytvára dedukcia nové znalosti?
V praktickom zmysle sprístupní dovtedy explicitne neuvedený dôsledok, ale jeho obsah je už obsiahnutý v premisách a pravidlách.
Ako dedukcia pracuje s výnimkami?
Klasická logika ich musí vyjadriť v premisách alebo pravidlách. Predvolené pravidlá s výnimkami vyžadujú neklasickú či defeasible logiku.
Aké sú časté chyby?
Zámena implikácie s jej obrátením, neplatné pravidlo, nekonzistentná báza a použitie zastaraných alebo nepravdivých premís.