Following all the rules: Intuitionistic completeness for generalized proof-theoretic validity

Analysis 83 (3):507-516 (2023)
  Copy   BIBTEX

Abstract

Prawitz conjectured that the proof-theoretically valid logic is intuitionistic logic. Recent work on proof-theoretic validity has disproven this. In fact, it has been shown that proof-theoretic validity is not even closed under substitution. In this paper, we make a minor modification to the definition of proof-theoretic validity found in Prawitz’s 1973paper ‘Towards a foundation of a general proof theory’ and refined by Schroeder-Heister in ‘Validity concepts in proof-theoretic semantics’ (2006). We will call the new notion generalized proof-theoretic validity and show that the logic of generalized proof-theoretic validity is intuitionistic logic.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 98,169

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2023-07-25

Downloads
56 (#309,470)

6 months
15 (#175,769)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Victor Barroso-Nascimento
Rio de Janeiro State University
Will Stafford
Kansas State University

Citations of this work

Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.
Base-extension semantics for modal logic.Timo Eckhardt & David J. Pym - forthcoming - Logic Journal of the IGPL.

Add more citations

References found in this work

No references found.

Add more references