SOME PROBLEMS FOR PROOF-THEORETIC SEMANTICS

DOI10.1111/J.1467-9213.2007.506.XMaRDI QIDQ3499800zbMATH OpenOpenAlexFDO

Authors William R. Stirton

Publication date 3 June 2008

Published in The Philosophical Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1111/j.1467-9213.2007.506.x

zbMATH Keywords

DummettPrawitzproof-theoretic semanticsvalidity

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Recommendations

• Proof-theoretic semantics, a problem with negation and prospects for modality
• Validity concepts in proof-theoretic semantics
• Proof-theoretic validity based on elimination rules
• The original sin of proof-theoretic semantics
• Views of proof-theoretic semantics: reified proof-theoretic meanings

Cited in

(25)

• On the meaning of connectives (apropos of a non-necessitarianist challenge)
• Single-assumption systems in proof-theoretic semantics
• Truth from a proof-theoretic perspective
• Steps towards a proof-theoretical semantics
• On a distinction of two facets of meaning and its role in proof-theoretic semantics
• Validity concepts in proof-theoretic semantics
• The fundamental problem of general proof theory
• Proof-theoretic semantics, a problem with negation and prospects for modality
• Meaning, function, purpose, usefulness, \textit{consequences} -- interconnected concepts
• Proof theory and meaning: on the context of deducibility
• Proof-theoretic semantic values for logical operators
• Proof-theoretic validity based on elimination rules
• Semantic pollution and syntactic purity
• The meaning of absurdity
• Inferentialism and the categoricity problem: reply to Raatikainen
• A proof-theoretic semantics for parametric logical constants
• Constructive semantics, admissibility of rules and the validity of Peirce's law
• Meaning in use
• Revisiting Dummett's proof-theoretic justification procedures
• The definitional view of atomic systems in proof-theoretic semantics
• The problem of Horn and Tarski
• Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
• Semantics as based on inference
• On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning
• Open Problems in Proof-Theoretic Semantics

This page was built for publication: SOME PROBLEMS FOR PROOF-THEORETIC SEMANTICS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3499800)