Logic and Argumentation Theory