Formální logika je čistě abstraktní studium závěru v jazyka . Takzvaná „neformální“ logika je větev logiky, která studuje strukturu argumentace v přirozených jazycích .