Levels of reasoning as the basis for a formalisation of argumentation