Reference : Modelling argumentation on Axiom of Choice in ASPIC-END -- Technical report
Reports : External report
Arts & humanities : Philosophy & ethics
Modelling argumentation on Axiom of Choice in ASPIC-END -- Technical report
Cramer, Marcos mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
University of Luxembourg
[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.

File(s) associated to this reference

Fulltext file(s):

Open access
report.pdfAuthor preprint276.41 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.