The original sin of proof-theoretic semantics

DOI10.1007/S11229-018-02048-XMaRDI QIDQ2690170zbMATH OpenOpenAlexFDO

Authors Bogdan Dicher, Francesco Paoli

Publication date 15 March 2023

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11229-018-02048-x

zbMATH Keywords

proof-theoretic semanticsGentzen systemsinferentialismlogical consequence

Mathematics Subject Classification ID

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

Recommendations

• Infinite-dimensional cohomology of \(\mathbf{SL}_2(\mathbb Z[t,t^{-1}])\).
• The Second Cohomology of SimpleSL₃-Modules
• The cohomology of \(\text{SL}(3,\mathbb{Z}[1/2])\)
• \(\text{SL}_n(\mathbb{Z}[t])\) is not \(\text{FP}_{n-1}\).
• The third homology of the special linear group of a field

Cites work

• scientific article; zbMATH DE number 43055 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 6851054 (Why is no real title available?)
• scientific article; zbMATH DE number 2168553 (Why is no real title available?)
• scientific article; zbMATH DE number 6276268 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• A note on contraction-free logic for validity
• Core Logic
• Cut-elimination theorem for relevant logics
• Definitional equivalence and algebraizability of generalized logical systems
• Doubt truth to be a liar
• Dual-intuitionistic logic
• Equivalence of consequence operations
• Foundations of logical consequence
• General-elimination stability
• Gentzen's cut-free calculus versus the logic of paradox
• Harmony and autonomy in classical logic
• Harmony and the context of deducibility
• Hopeful monsters: a note on multiple conclusions
• LK, LJ, dual intuitionistic logic, and quantum logic
• Logic. The laws of truth
• Logical consequence and the paradoxes
• Logical pluralism
• Meaning and proofs: on the conflict between classical and intuitionistic logic
• Multiple conclusions
• New axiomatics for relevant logics. I
• New dimensions on translations between logics
• On reduction rules, meaning-as-use, and proof-theoretic semantics
• On the `transitivity' of consequence relations
• Pluralism and proofs
• Proof-theoretic harmony: towards an intensional account
• Proof-theoretic semantics
• Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
• Quine and Slater on paraconsistency and deviance
• Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen
• Semantic minimalism for logical constants
• Simple consequence relations
• Structural proof theory. With an appendix by Aarne Ranta
• Substructural logics: a primer
• The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
• The connectives
• The logic of paradox
• The logics of strict-tolerant logic
• The semantics and proof theory of linear logic
• Truth without contra(di)ction
• Verbal disputes in logic against minimalism for logical connectives
• What is Logic?
• Why conclusions should remain single

Cited in

(21)

• Completeness of a cut-free calculus with equality and function constants
• The idea of a proof-theoretic semantics and the meaning of the logical operations
• (Meta)inferential levels of entailment beyond the Tarskian paradigm
• What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics
• SOME PROBLEMS FOR PROOF-THEORETIC SEMANTICS
• Towards a relational treating of language and logical systems
• Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
• The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
• A hierarchy of classical and paraconsistent logics
• Meaning, function, purpose, usefulness, \textit{consequences} -- interconnected concepts
• Non-conditional contracting connectives
• Empty logics
• Metasequents and tetravaluations
• The justification of the logical laws revisited
• Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
• A fully classical truth theory characterized by substructural means
• Toward the formulation of presupposition by illative combinatory logic
• A Strongly Differing Opinion on Proof-Theoretic Semantics?
• The role of negation in proof-theoretic semantics: a proposal
• Sequent calculi and bidirectional natural deduction: on the proper basis of proof-theoretic semantics
• Proof-theoretic semantics

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: The original sin of proof-theoretic semantics

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