Formal Argumentation Theory