Connecting the dots: hypergraphs to analyze and visualize the joint-contribution of premises and conclusions to the validity of arguments - Archive ouverte HAL
Article Dans Une Revue Philosophical Studies Année : 2024

Connecting the dots: hypergraphs to analyze and visualize the joint-contribution of premises and conclusions to the validity of arguments

Résumé

A detailed analysis of joint-contribution of premises and conclusions in classically valid sequents is presented in terms of hypergraphs. In (Saint-Germier, P., Verdée, P., & Villalonga, P. T. (2024). Relevant entailment and logical ground. Philosophical Studies (pp. 1–43). https://doi.org/10.1007/s11098-024-02101-1), this idea of joint-contribution is introduced and motivated as a method for characterizing four kinds of relevant validity, in the sense of selecting the relevantly valid sequents among the classically valid sequents. The account in (Saint-Germier, P., Verdée, P., & Villalonga, P. T. (2024). Relevant entailment and logical ground. Philosophical Studies (pp. 1–43). https://doi.org/10.1007/s11098-024-02101-1) is built on a calculus, called , which proves grounding claims for (enthymematically) valid sequents. In the present paper an adequate representation of is given in terms of hypergraphs. The hypergraphs are a kind of diagrammatic proofs for Classical Propositional Logic, entirely based on the grounds of premises and conclusions. The hypergraphs and their visualization provide insights into the relations between premises and conclusions and into the way validity is produced by the binding of premises and conclusions via their partial grounds. They visualize the network of elements of the sequent that contribute to its logical validity. Non-contributing (i.e. irrelevant) premises and conclusions are then specified to be those that are disconnected from the network, however one constructs the graphs.
Fichier principal
Vignette du fichier
PHIL_D_23_00860-2.pdf (485.05 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04632350 , version 1 (02-07-2024)

Licence

Identifiants

Citer

Peter Verdée, Pierre Saint-Germier, Pilar Terrés Villalonga. Connecting the dots: hypergraphs to analyze and visualize the joint-contribution of premises and conclusions to the validity of arguments. Philosophical Studies, 2024, ⟨10.1007/s11098-024-02141-7⟩. ⟨hal-04632350⟩
90 Consultations
39 Téléchargements

Altmetric

Partager

More