Reference : Modelling argumentation on Axiom of Choice in ASPIC-END -- Technical report
Reports : External report
Arts & humanities : Philosophy & ethics
http://hdl.handle.net/10993/33709
Modelling argumentation on Axiom of Choice in ASPIC-END -- Technical report
English
Cramer, Marcos mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
14-Dec-2017
University of Luxembourg
Esch-sur-Alzette
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.
http://hdl.handle.net/10993/33709

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
report.pdfAuthor preprint276.41 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.