Reference : A Structured Argumentation Framework for Modeling Debates in the Formal Sciences
Scientific journals : Article
Engineering, computing & technology : Multidisciplinary, general & others
A Structured Argumentation Framework for Modeling Debates in the Formal Sciences
Cramer, Marcos [> >]
Dauphin, Jérémie mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Journal for General Philosophy of Science
[en] Argumentation Theory ; Formal Sciences ; Natural Deduction ; Hypothetical Reasoning ; Axiom of Choice
[en] Scientific research in the formal sciences comes in multiple degrees of formality: fully formal work; rigorous proofs that practitioners know to be formalizable in principle; and informal work like rough proof sketches and considerations about the advantages and disadvantages of various formal systems. This informal work includes informal and semi-formal debates between formal scientists, e.g. about the acceptability of foundational principles and proposed axiomatizations. In this paper, we propose to use the methodology of structured argumentation theory to produce a formal model of such informal and semi-formal debates in the formal sciences. For this purpose, we propose ASPIC-END, an adaptation of the structured argumentation framework ASPIC+ which can incorporate natural deduction style arguments and explanations. We illustrate the applicability of the framework to debates in the formal sciences by presenting a simple model of some arguments about proposed solutions to the Liar paradox, and by discussing a more extensive - but still preliminary - model of parts of the debate that mathematicians had about the Axiom of Choice in the early 20th century.
H2020 ; 690974 - MIREL - MIREL - MIning and REasoning with Legal texts

File(s) associated to this reference

Fulltext file(s):

Open access
paper.pdfAuthor preprint409.45 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.