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

DOI10.1007/S11245-012-9119-XMaRDI QIDQ2339009zbMATH OpenOpenAlexFDO

Authors Peter Schroeder-Heister

Publication date 27 March 2015

Published in Topoi (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

cut rulenatural deductionparadoxesproof-theoretic semanticssequent calculus

Mathematics Subject Classification ID

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

Recommendations

• Sequent calculi and bidirectional natural deduction: on the proper basis of proof-theoretic semantics
• The original sin of proof-theoretic semantics
• Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
• Views of proof-theoretic semantics: reified proof-theoretic meanings
• Proof-theoretic semantics

Cites work

• A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus
• Lambda terms for natural deduction, sequent calculus and cut elimination
• Logic programming revisited: logic programs as inductive definitions
• On the proof-theoretic foundation of general definition theory
• Partial inductive definitions
• Proof and Paradox
• Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
• Propositions in Prepositional Logic Provable Only by Indirect Proofs
• Sequent calculi and bidirectional natural deduction: on the proper basis of proof-theoretic semantics
• Validity concepts in proof-theoretic semantics

Cited in

(28)

• Proofs and countermodels in non-classical logics
• Proof, meaning and paradox: some remarks
• Failure of completeness in proof-theoretic semantics
• General proof theory: introduction
• Logicality, double-line rules, and modalities
• The original sin of proof-theoretic semantics
• Proof-theoretic harmony: towards an intensional account
• Plugging-in proof development environments using \textit{locks} in \(\mathsf{LF}\)
• Logical consequence and the paradoxes
• Sequent calculi and bidirectional natural deduction: on the proper basis of proof-theoretic semantics
• Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics
• 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
• 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
• Mathematical Knowledge Management
• A novel approach to equality
• From Paradox to Truth
• Which `intensional paradoxes' are paradoxes?
• Proof-theoretic semantics: an autobiographical survey
• Paradoxes, intuitionism, and proof-theoretic semantics
• On the structure of proofs
• Comments on the contributions
• Gluing together proof environments: canonical extensions of LF type theories featuring locks
• From explosion to implosion: a new justification for the ex falso quodlibet rule
• Paradoxical connectives: proof-theoretic semantics, recursion, and fixed-point operators

This page was built for publication: Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning

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