Available on ORBilu since
04 December 2019
Article (Scientific journals)
A Structured Argumentation Framework for Modeling Debates in the Formal Sciences
Cramer, Marcos; Dauphin, Jérémie
2019In Journal for General Philosophy of Science, p. 1--23
Peer reviewed


Full Text
Author preprint (419.27 kB)

All documents in ORBilu are protected by a user license.

Send to


Keywords :
Argumentation Theory; Formal Sciences; Natural Deduction; Hypothetical Reasoning; Axiom of Choice
Abstract :
[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.
Disciplines :
Engineering, computing & technology: Multidisciplinary, general & others
Author, co-author :
Cramer, Marcos
Dauphin, Jérémie ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
Language :
Title :
A Structured Argumentation Framework for Modeling Debates in the Formal Sciences
Publication date :
05 June 2019
Journal title :
Journal for General Philosophy of Science
Publisher :
Pages :
Peer reviewed :
Peer reviewed
European Projects :
H2020 - 690974 - MIREL - MIREL - MIning and REasoning with Legal texts
Funders :
CE - Commission Européenne


Number of views
127 (14 by Unilu)
Number of downloads
274 (4 by Unilu)

Scopus citations®
Scopus citations®
without self-citations
WoS citations


Similar publications

Contact ORBilu