Skip to Main content Skip to Navigation
Conference papers

Assessing Arguments with Schemes and Fallacies

Pierre Bisquert 1, 2 Florence Dupin de Saint-Cyr 3 Philippe Besnard 4
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
3 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
IRIT - Institut de recherche en informatique de Toulouse
4 IRIT-LILaC - Logique, Interaction, Langue et Calcul
IRIT - Institut de recherche en informatique de Toulouse
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 no-tion of validity in the context of logic-based arguments along differentaspects (such as the formulas used and the inference scheme). Origi-nality lies in the possibility for the user to design their own argumentschemes. 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 afal-lacious argument: it uses controversial formulas or schemes recognizedas illicit. We express some rational arguments and fallacies in the formof schemes.
Document type :
Conference papers
Complete list of metadatas

Cited literature [33 references]  Display  Hide  Download
Contributor : Pierre Bisquert <>
Submitted on : Thursday, July 11, 2019 - 2:42:55 PM
Last modification on : Thursday, July 2, 2020 - 5:22:47 PM


Files produced by the author(s)


  • HAL Id : hal-02180493, version 1


Pierre Bisquert, Florence Dupin de Saint-Cyr, Philippe Besnard. Assessing Arguments with Schemes and Fallacies. LPNMR 2019 - 15th International Conference on Logic Programming and Non-monotonic Reasoning, Jun 2019, Philadelphia, United States. pp.61-74. ⟨hal-02180493⟩



Record views


Files downloads