Informalizing Formal Logic

Authors

  • Antonis Kakas University of Cyprus

DOI:

https://doi.org/10.22329/il.v39i2.5169

Abstract

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.

Downloads

Published

2019-06-05

Issue

Vol. 39 No. 2 (2019)

Section

Articles

License

Copyright for each article published in Informal Logic belongs to its author(s). Informal Logic has the right of first publication. Permission to reprint any article that appears in Informal Logic MUST be obtained in writing from the author(s). In addition to any form of acknowledgement required by the author(s), the following notice must be added to the statement of copyright permission made in the reprint (with the appropriate numbers replacing the ellipses): [Article Title] was originally published in Informal Logic, [year], Volume ..., Number ..., pp. ...-... .