[en] In this technical report, we present an application of the structured argumentation methodology to a debate in the foundations of mathematics. We work with ASPIC-END, a recently proposed adaptation of the structured argumentation framework ASPIC+ which can incorporate debates about logical principles, natural deduction style arguments and explanations. We apply this framework to build a preliminary formal model of parts of the debate that mathematicians had about the Axiom of Choice in the early 20th century. Furthermore, we briefly discuss the insight into the strengths and drawbacks of the modeling capacities of ASPIC-END that we have gained from producing this model.
Disciplines :
Philosophy & ethics
Author, co-author :
Cramer, Marcos ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
Modelling argumentation on Axiom of Choice in ASPIC-END -- Technical report
Publication date :
14 December 2017
Publisher :
University of Luxembourg, Esch-sur-Alzette, Luxembourg
