Game of grounds
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866917935551873024 |
|---|---|
| author | Catta, Davide d'Aragona, Antonio Piccolomini |
| author_facet | Catta, Davide d'Aragona, Antonio Piccolomini |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2502_17511 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Game of grounds Catta, Davide d'Aragona, Antonio Piccolomini Logic 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. |
| title | Game of grounds |
| topic | Logic |
| url | https://arxiv.org/abs/2502.17511 |