ABSTRACT
Logic as a philosophico-scientific discipline originated in antiquity as a tool for analysing and assessing reasoning and argumentation. Individual inferences are typically embedded within argumentation-a communicative activity aiming to give more credibility to one's claims or make them appealing to others. The varied types of argumentation can be assessed from different perspectives-convincing or unconvincing, fair or unfair and strong or weak. The final verdict concerning the correctness of the arguments may thus involve an element of arbitration. A logical vocabulary allows people to express any correct argument in the shape of a true "if-then" claim. The concept of logical correctness can be identified with one concrete species of formal correctness, namely formal correctness with respect to what has traditionally been called logical form. This is the form which arises from a statement or an argument when what is replaced by parameters are exactly all the extralogical expressions.
