Proof-theoretic semantics, paradoxes and the distinction between sense and denotation

DOI10.1093/logcom/exu028zbMath1403.03115OpenAlexW2166975077MaRDI QIDQ5739972

Luca Tranchini

Publication date: 7 July 2016

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exu028

zbMATH Keywords

paradoxsensevalidityproof-theoretic semanticstonkdenotation

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

Proof-theoretic harmony: towards an intensional account ⋮ What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics ⋮ Introduction: Inferences and proofs ⋮ Dag Prawitz on proofs, operations and grounding ⋮ Proof, meaning and paradox: some remarks ⋮ Paradox and Inconsistency: Revising Tennant’s Distinction Through Schroeder-Heister’s Assumption Rules ⋮ Game of grounds ⋮ Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning ⋮ Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds