This paper presents a way in which formal logic can be understood and reformulated in terms of argumentation that can help us unify formal and informal reasoning. Classical deductive reasoning will be expressed entirely in terms of notions and concepts from argumentation so that formal 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 reasoning, thus providing a uniform argumentation-based view of both informal and formal logic.

中文翻译：

---

形式逻辑的非形式化

本文提出了一种可以根据论证来理解和重新表述形式逻辑的方法，可以帮助我们统一正式和非正式推理。经典演绎推理将完全用论证中的概念和概念来表达，以便通过在支持结论公式的论据和支持矛盾公式的论据之间获胜的论点等价地捕获形式逻辑蕴涵。这使我们能够超越经典逻辑，并将其与人类推理顺畅地连接起来，从而为非正式和正式逻辑提供统一的基于论证的观点。