Abstract:In this paper, we argue that argumentation theory can be used to explore certain aspects of the development of discovery proof-events in time. Since argumentation is inseparable from the process of searching for a mathematical proof, a modified model of proof-events calculus, based on certain versions of argumentation theories primarily advanced by Toulmin and Pollock, can be used to this effect. We claim that the exchange of arguments and counterarguments set forward to clarify eventual gaps or implicit assum… Show more
Set email alert for when this publication receives citations?
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.