Game of Grounds - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2022

Game of Grounds

Résumé

In this paper, we propose to connect Prawitz’s theory of grounds with Girard’s Ludics. This connection is carried out on two levels. On a more philosophical one, we highlight some differences between Prawitz’s and Girard’s approaches, but we also argue that they share some basic ideas about proofs and deduction. On a more formal one, we sketch an indicative translation of Prawitz’s theory grounds into Girard’s Ludics relative to the implicational fragment of propositional intuitionistic logic. This may allow for a dialogical reading of Prawitz’s ground-theoretic approach. Moreover, it becomes possible to provide a formal definition of a notion of ground-candidate introduced by Cozzo.
Fichier non déposé

Dates et versions

hal-03602786 , version 1 (09-03-2022)

Identifiants

Citer

Davide Catta, Antonio Piccolomini d'Aragona. Game of Grounds. Objects, Structures, and Logics, 339, Springer International Publishing, pp.259-286, 2022, Boston Studies in the Philosophy and History of Science, 978-3-030-84705-0. ⟨10.1007/978-3-030-84706-7_10⟩. ⟨hal-03602786⟩
27 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More