Article Dans Une Revue Logica Universalis Année : 2025

Intensionality of Consequence and Identity of Proofs in Prawitz’s Theory of Grounds

Résumé

I discuss two possible ways for dealing with a constructive, proof-based notion of logical consequence. The first, qualified as extensional, amounts to the idea that a given proof-structure is justifiable under every interpretation of the non-logical terminology it involves. The second, qualified as intensional, requires on the contrary that the given proof-structure be justified independently of its non-logical meaning. Contrarily to the extensional approach, the intensional account calls for a prior treatment of the notion of identity of proofs. Identity can be in turn addressed in an extensional or intensional way. Although these issues are obviously of a more general interest, I investigate them in a framework which seems to me to be particularly well-suited for the purpose, i.e., Prawitz’s (non-monotonic) Theory of Grounds.

Fichier principal
Vignette du fichier
Intensionality of consequence and identity of proofs in Prawitz's theory of grounds (draft).pdf (183.86 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

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

Licence

Identifiants

Citer

Antonio Piccolomini d'Aragona. Intensionality of Consequence and Identity of Proofs in Prawitz’s Theory of Grounds. Logica Universalis, 2025, ⟨10.1007/s11787-025-00370-w⟩. ⟨hal-05041372⟩
96 Consultations
48 Téléchargements

Altmetric

Partager

  • More