Assessing Arguments with Schemes and Fallacies *

Pierre Bisquert 1 Florence Dupin de Saint-Cyr 2 Philippe Besnard 3
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
Abstract : We present a logical framework allowing us to express assessment of facts (is it proven?) and arguments (is it sound?) together with a proof system 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). Originality lies in the possibility for the user to design their own argument schemes. We show that classical inference obtains when arguments are based on classical schemes (e.g. Hilbert axioms). We go beyond classical logic by distinguishing "proven" formulas from "uncontroversial" ones (whose negation is not proven). Hence a formal definition of a fal-lacious argument: it uses controversial formulas or schemes recognized as illicit. We express some rational arguments and fallacies in the form of schemes.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

Littérature citée [33 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-02180493
Contributeur : Pierre Bisquert <>
Soumis le : jeudi 11 juillet 2019 - 14:42:55
Dernière modification le : vendredi 12 juillet 2019 - 01:24:19

Fichier

Fallacies.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-02180493, version 1

Citation

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

Partager

Métriques

Consultations de la notice

15

Téléchargements de fichiers

86