The original sin of proof-theoretic semantics
From MaRDI portal
Publication:2690170
DOI10.1007/s11229-018-02048-xzbMath1506.03017OpenAlexW2904414061MaRDI QIDQ2690170
Francesco Paoli, Bogdan Dicher
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
Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items
Non-conditional contracting connectives ⋮ Empty logics ⋮ Metasequents and tetravaluations ⋮ (Meta)inferential levels of entailment beyond the Tarskian paradigm ⋮ A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS ⋮ A hierarchy of classical and paraconsistent logics
Uses Software
Cites Work
- The logics of strict-tolerant logic
- The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
- Logical consequence and the paradoxes
- Pluralism and proofs
- General-elimination stability
- Why conclusions should remain single
- LK, LJ, dual intuitionistic logic, and quantum logic
- Simple consequence relations
- On reduction rules, meaning-as-use, and proof-theoretic semantics
- The semantics and proof theory of linear logic
- Cut-elimination theorem for relevant logics
- The logic of paradox
- Definitional equivalence and algebraizability of generalized logical systems
- Dual-intuitionistic logic
- New axiomatics for relevant logics. I
- Substructural logics: a primer
- Quine and Slater on paraconsistency and deviance
- Harmony and autonomy in classical logic
- A note on contraction-free logic for validity
- New dimensions on translations between logics
- Hopeful monsters: a note on multiple conclusions
- Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
- Equivalence of consequence operations
- Proof-theoretic harmony: towards an intensional account
- Foundations of Logical Consequence
- Semantic minimalism for logical constants
- Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen
- What is Logic?
- TRUTH WITHOUT CONTRA(DI)CTION
- Meaning and proofs: on the conflict between classical and intuitionistic logic
- Logical Pluralism
- On the ‘transitivity’ of consequence relations
- Core Logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
