Article Dans Une Revue Philosophical Inquiries Année : 2025

Informal and absolute provability: from Kreisel and Gödel to Prawitz and Girard

Résumé

We investigate whether some basic tenets of Kreisel’s theory informal rigour and of Gödel’s notion of absolute provability match some aspects of Prawitz’s proof-based semantics. The comparison relies upon the fact that, because of its semantic character and of Gödel’s incompleteness, Prawitz’s provability is not tantamount to formal derivability. We argue that Prawitz’s standpoint might cope with Kreisel’s informal rigour, while Godel seems to undertake a different approach. We propose that Gödel’s approach may be read in terms of Girard’s proof-nets and, to conclude, we raise the question about whether the differences between Prawitz and Gödel can be overcome via a further bridging from Prawitz to Girard.

Fichier principal
Vignette du fichier
Informal and absolute provability. From Kreisel and Godel to Prawitz and Girard (Draft).pdf (170.55 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05220378 , version 1 (23-01-2026)

Licence

Identifiants

Citer

Davide Catta, Antonio Piccolomini d'Aragona. Informal and absolute provability: from Kreisel and Gödel to Prawitz and Girard. Philosophical Inquiries, 2025, ⟨10.4454/philinq.v13i1.484⟩. ⟨hal-05220378⟩
79 Consultations
54 Téléchargements

Altmetric

Partager

  • More