Dedukce, indukce a nejlepší vysvětlení
Tři různá očekávání od důvodů
Deduktivní argument si nárokuje, že při pravdivých premisách nemůže být závěr nepravdivý. Uvažuj: všechny soubory v seznamu jsou zkontrolované; tento soubor je v seznamu; tedy tento soubor je zkontrolovaný. Pokud první dvě premisy přijmeme ve stejném významu, závěr z nich plyne. To ještě neověřuje, zda seznam opravdu zahrnuje jen zkontrolované soubory.
Platnost se týká vztahu premis a závěru. Argument s platným tvarem a pravdivými premisami dává pravdivý závěr. Naopak neplatný tvar může někdy náhodou skončit pravdivou větou. Proto nestačí hodnotit jen konečný výsledek. Zkoumej, zda by stejný způsob usuzování fungoval i v jiné situaci.
Nutná a postačující podmínka
V modelovém systému platí „Je-li zařízení označeno jako schválené, může se připojit“. Schválení je podle této věty postačující k připojení. Nevíme ale, zda systém nemá další způsob přístupu. Z toho, že se zařízení připojilo, tedy nemůžeme samotnou větou dokazovat, že je označené jako schválené. Častá chyba je zaměnit „jestliže A, potom B“ za „jestliže B, potom A“.
Vymysli protipříklad: zařízení se připojilo díky dočasné výjimce. Ukazuje, že závěr o schválení nevyplýval z původního pravidla. Protipříklad nemusí dokazovat, že výjimka skutečně existovala; stačí ukázat možnost slučitelnou s premisami. Tak testuješ deduktivní vztah.
Indukce a abdukce
Indukce zobecňuje z pozorovaných případů. „Pět posledních přepisů potřebovalo málo oprav, proto podobný výsledek čekáme i příště“ vyjadřuje odhad, nikoli logickou jistotu. Síla podpory záleží na počtu a rozmanitosti případů, způsobu výběru a na tom, zda se změnily podmínky. Pět krátkých čistých nahrávek nemusí reprezentovat hlučné rozhovory.
Abdukce hledá vhodné vysvětlení pozorování. Když web zpomalí, nabízí se síť, server, nový skript nebo velký obrázek. Dobré vysvětlení má sedět na důkazy a mít testovatelné důsledky. „Server je přetížený“ předpovídá jiná měření než „jen jeden obrázek se stahuje dlouho“. Nejlepší dosavadní vysvětlení se může po dalším měření změnit.
Cvičení: označ sílu závěru
- Napiš jednu větu s obecným pravidlem a konkrétním případem.
- Napiš odhad založený na třech pozorováních.
- Napiš dvě konkurenční příčiny jednoho problému a test, který je rozliší.
U každé věty doplň „musí plynout“, „je podpořeno vzorkem“ nebo „je dosavadní vysvětlení“. Nepřidávej jistotu tam, kde důvody dávají jen pravděpodobnost. Cílem není všechno zpochybnit, ale odpovídajícím způsobem označit, co už víš a co ještě ověřuješ.