Game of grounds
Logic
2025-02-26 v1
Abstract
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.
Cite
@article{arxiv.2502.17511,
title = {Game of grounds},
author = {Davide Catta and Antonio Piccolomini d'Aragona},
journal= {arXiv preprint arXiv:2502.17511},
year = {2025}
}