Informalizing formal logic

Abstract

This paper presents a way in which formal logic can be under-stood and reformulated in terms of ar-gumentation that can help us unify for-mal and informal reasoning. Classical deductive reasoning will be expressed entirely in terms of notions and con-cepts from argumentation so that for-mal logical entailment is equivalently captured via the arguments that win between those supporting concluding formulae and arguments supporting contradictory formulae. This allows us to go beyond Classical Logic and smoothly connect it with human rea-soning, thus providing a uniform argu-mentation-based view of both infor-mal and formal logic.