From Proof-Theoretic Validity to Base-Extension Semantics for Intuitionistic Propositional Logic

Studia Logica:1-33 (forthcoming)
  Copy   BIBTEX

Abstract

Proof-theoretic semantics (P-tS) is the approach to meaning in logic based on _proof_ (as opposed to truth). There are two major approaches to P-tS: proof-theoretic validity (P-tV) and base-extension semantics (B-eS). The former is a semantics of arguments, and the latter is a semantics of logical constants. This paper demonstrates that the B-eS for _intuitionistic propositional logic_ (IPL) encapsulates the declarative content of a version of P-tV based on the elimination rules. This explicates how the B-eS for IPL works, and shows the completeness of this version of P-tV.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,795

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
2025-01-14

Downloads
4 (#1,807,862)

6 months
4 (#1,272,377)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

David Pym
University College London

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references