Obecně lze říci, že inference je dedukcí jedné věci od druhé.
Dedukce je čistě a výlučně a produkt naší mysli, protože se jedná o a hodnocení provedené mezi těmi výrazy daného jazyka, které jakmile jsou intelektuálně propojeny, umožní nám dospět k logické myšlence. Tímto způsobem, počínaje pravdou nebo nepravdou, kterou některé výrazy navrhují, můžeme odvodit pravdu nebo nepravdu některých jiných.
Mezitím z výše uvedeného postupu vzejde postulát.
V tradiční logice, lidově známé jako aristotelská, protože ji poprvé formuloval známý řecký filozof Aristoteles, forma závěru, která následuje, je forma sylogismus. Jedná se o typ deduktivního uvažování, které se skládá ze dvou výroků jako premis a dalšího jako závěru, přičemž druhý vychází již jako dedukce z ostatních dvou.
Můžeme najít tři typy závěrů; a dedukce, deduktivní argument je typ, který předepisuje koexistenci premis a závěr, který zajišťuje, že tyto budou zastoupeny v premisách, například: všechny balónky v této tašce jsou červené, tyto balónky patří do této tašky, proto jsou tyto balónky červené; a indukce, induktivní argument připouští pravděpodobnou koexistenci premis a závěr, který zaručuje, že tato se pravděpodobně odráží v premisách, například: balónky jsou z tohoto sáčku, balónky jsou červené, takže všechny balónky v tomto sáčku jsou červené; a únos, argument abduktivního typu navrhuje možnou koexistenci mezi prostorem a závěrem, což zajišťuje, že tento je potenciálně zastoupen ve výše uvedených prostorách, například: všechny balónky v této tašce jsou červené, tyto balonky jsou červené, takže tyto balonky odpovídají této tašce.
