Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning

DOI10.1007/s11245-012-9119-xzbMath1308.03028OpenAlexW2007078003MaRDI QIDQ2339009

Peter Schroeder-Heister

Publication date: 27 March 2015

Published in: Topoi (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11245-012-9119-x

zbMATH Keywords

paradoxessequent calculusnatural deductioncut ruleproof-theoretic semantics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05)

Related Items

General proof theory: introduction ⋮ Logicality, double-line rules, and modalities ⋮ Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics ⋮ A novel approach to equality ⋮ The original sin of proof-theoretic semantics ⋮ Proof-theoretic harmony: towards an intensional account ⋮ Logical consequence and the paradoxes ⋮ Constructive belief reports ⋮ On Dummett's verificationist justification procedure ⋮ Prior's tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism ⋮ Proofs and countermodels in non-classical logics ⋮ Plugging-in proof development environments usingLocksinLF ⋮ Proof, meaning and paradox: some remarks ⋮ Failure of completeness in proof-theoretic semantics ⋮ Harmony in Proof-Theoretic Semantics: A Reductive Analysis ⋮ Paradox and Inconsistency: Revising Tennant’s Distinction Through Schroeder-Heister’s Assumption Rules ⋮ Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus

Cites Work

• Unnamed Item
• Unnamed Item
• Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus
• Partial inductive definitions
• On the proof-theoretic foundation of general definition theory
• Validity concepts in proof-theoretic semantics
• A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
• Proof and Paradox
• Propositions in Prepositional Logic Provable Only by Indirect Proofs
• Lambda terms for natural deduction, sequent calculus and cut elimination
• Logic programming revisited
• Proof-theoretic semantics, paradoxes and the distinction between sense and denotation