Vysvětlíme, co je to inference, jaké jsou metody k jejímu získání a různé příklady. Také v jakých případech jsou platné.
Inference umožňuje vyvozovat závěry z určitých premis.Co je to závěr?
v logika, se nazývá usuzování na proces, kterým získáváme závěry určeno z konkrétního souboru prostor. To znamená, že když závěr logicky vyplývá z toho, co je uvedeno v jeho premisách, říká se, že je z nich odvozen.
Slovo „inference“ pochází z latiny a skládá se z předpony -v ("Směrem") a sloveso ferre ("Lead" nebo "lead to"), takže jej lze chápat jako logický proces, který vede od premisy k závěru, nebo také, který se snaží objevit logický význam mezi premisami a závěry, tj. najít a implikatura.
Ve skutečnosti jsou závěry primárním předmětem studia logiky, která je klasifikuje a organizuje podle typu uvažování slouží k jejich získání takto:
- Závěry získané dedukce, tedy použitím argumenty platné, které umožňují extrahovat implicitní význam v prostorách.
- Závěry získané indukce, proces opačný k předchozímu, v němž se hledá obecný, univerzální závěr, založený na singulárních premisách.
- Závěry získané pravděpodobnost, která spočívá ve zjištění více či méně možných závěrů z frekvence kterými se premisy projevují.
- Závěry získané statistickým uvažováním, které ze známého procenta prvků usuzují na možnost, že jsou splněny určité podmínky.
Platnost dedukce nespočívá v pravda nebo nepravdivost jeho premis, ale v platnosti úvahy, která spojuje premisy a závěry. Je tedy možné získat pravdivé nebo nepravdivé závěry pomocí platného inferenčního postupu. Například je možné odvodit, že pokud jsou všichni muži smrtelní a Marie jako žena není muž, pak Marie může být nesmrtelná.
Příklady úsudků
Následující úvahy jsou příklady závěrů:
- Všechny známé planety jsou kulaté a Země je planeta, takže Země je jistě kulatá.
- Pokud se rozednívá každý den, je jisté, že zítra bude zase svítat.
- Pokud z populace 100 lidí nejí maso 70 lidí, je možné tvrdit, že většina populace je vegetariánská.
- Pokud všechny věci nakonec padnou, když hodíte kamenem, nakonec spadne.