This chapter discusses how formal models of argumentation can clarify philosophical problems and issues. Some of these arise in the field of epistemology, where it has been argued that the principles by which knowledge can be acquired are defeasible. Other problems and issues originate from the fields of informal logic and argumentation theory, where it has been argued that outside mathematics the standards for the validity of arguments are context-dependent and procedural, and that what matters is not the syntactic form but the persuasive force of an argument. Formal models of argumentation are of two kinds. Argumentation logics formalise the idea that an argument only warrants its conclusion if it can be defended against counterarguments....