The purpose of this introduction is to give a rough overview the discussion formalization arguments, focusing on deductive arguments. structured around four important junctions: i) notion support, which captures relation between conclusion and premises an argument, ii) choice formal language into argument translated in order make it amenable evaluation via methods, iii) question quality criteri...