Problems of a proof-theoretic characterization of paradoxes

DOI10.1007/S11229-025-05150-ZMaRDI QIDQ7229021zbMATH OpenFDO

Authors Seungrak Choi

Publication date 15 April 2026

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S11229-025-05150-Z

zbMATH Keywords

acceptable reductionEkman predicamentinfinite reduction sequenceliar paradoxNeil Tennantproof-theoretic criterion for paradoxicality

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cites work

• A natural extension of natural deduction
• A new unified account of truth and paradox
• Advanced Condensed Matter Physics
• Core Logic
• Cut for classical core logic
• Cut for core logic
• Ekman's paradox
• Harmonic inferentialism and the logic of identity
• HARMONISING HARMONY
• scientific article; zbMATH DE number 3895056 (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?)
• scientific article; zbMATH DE number 3365218 (Why is no real title available?)
• Identity of Proofs Based on Normalization and Generality
• Natural deduction and Curry's paradox
• Normalization theorems for full first order classical natural deduction
• On Paradox without Self-Reference
• On paradoxes in normal form
• On the idea of a general proof theory
• Outline of a Theory of Truth
• Paradox and inconsistency: revising Tennant's distinction through Schroeder-Heister's assumption rules
• Peter Schroeder-Heister on proof-theoretic semantics
• Proof and Paradox
• Propositions in Prepositional Logic Provable Only by Indirect Proofs
• Rule-irredundancy and the sequent calculus for core logic
• The relevance of premises to conclusions of core proofs
• The Typed Böhm Theorem
• What are acceptable reductions?
• WHAT IS A RULE OF INFERENCE?
• Which `intensional paradoxes' are paradoxes?

This page was built for publication: Problems of a proof-theoretic characterization of paradoxes

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