Assessing Arguments with Schemes and Fallacies - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2019

Assessing Arguments with Schemes and Fallacies

Abstract

We present a logical framework allowing us to express assessment offacts (is it proven?) and arguments (is it sound?) together with a proofsystem to answer these questions. Our motivation is to clarify the notion of validity in the context of logic-based arguments along different aspects (such as the formulas used and the inference scheme). Origi-nality lies in the possibility for the user to design their own arguments chemes. We show that classical inference obtains when arguments arebased on classical schemes (e.g. Hilbert axioms). We go beyond clas-sical logic by distinguishing “proven” formulas from “uncontroversial”ones (whose negation is not proven). Hence a formal definition of a fallacious argument: it uses controversial formulas or schemes recognizedas illicit. We express some rational arguments and fallacies in the formof schemes.
Fichier principal
Vignette du fichier
Fallacies.pdf (691.46 Ko) Télécharger le fichier
slidesFallacies.pdf (1.06 Mo) Télécharger le fichier
Origin Files produced by the author(s)
Origin Files produced by the author(s)

Dates and versions

hal-02180493 , version 1 (11-07-2019)
hal-02180493 , version 2 (26-08-2021)

Identifiers

Cite

Pierre Bisquert, Florence Dupin de Saint-Cyr, Philippe Besnard. Assessing Arguments with Schemes and Fallacies. 15th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2019), Jun 2019, Philadelphia, United States. pp.61-74, ⟨10.1007/978-3-030-20528-7_6⟩. ⟨hal-02180493v2⟩
311 View
466 Download

Altmetric

Share

More