NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE

DOI10.1017/S1755020321000137MaRDI QIDQ6041345zbMATH OpenOpenAlexFDO

Authors Carlo Nicolai

Publication date 26 May 2023

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2007.07188

zbMATH Keywords

conditionalsnonclassical logicsordinal analysisformal theories of truth

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03) Relative consistency and interpretations (03F25)

Abstract: Questions concerning the proof-theoretic strength of classical versus non-classical theories of truth have received some attention recently. A particularly convenient case study concerns classical and nonclassical axiomatizations of fixed-point semantics. It is known that nonclassical axiomatizations in four- or three-valued logics are substantially weaker than their classical counterparts. In this paper we consider the addition of a suitable conditional to First-Degree Entailment -- a logic recently studied by Hannes Leitgeb under the label `HYPE'. We show in particular that, by formulating the theory PKF over HYPE one obtains a theory that is sound with respect to fixed-point models, while being proof-theoretically on a par with its classical counterpart KF. Moreover, we establish that also its schematic extension -- in the sense of Feferman -- is as strong as the schematic extension of KF, thus matching the strength of predicative analysis.

Recommendations

• scientific article; zbMATH DE number 1361537
• The Statistical Strength of Nonlocality Proofs
• Completing the proof of ``Generic quantum nonlocality
• On the costs of nonclassical logic
• scientific article; zbMATH DE number 107515
• Non-interactive classical verification of quantum computation
• A combinatorial approach to nonlocality and contextuality
• Non locality proofs in quantum mechanics analyzed by ordinary mathematical logic
• scientific article; zbMATH DE number 3948265
• Classical verification of quantum proofs

Cites work

• scientific article; zbMATH DE number 5959536 (Why is no real title available?)
• scientific article; zbMATH DE number 3572133 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 6307931 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 3020851 (Why is no real title available?)
• A logic stronger than intuitionism
• A second paper “On the interpolation theorem for the logic of constant domains”
• Axiomatic theories of truth
• Axiomatizing Kripke's theory of truth
• Cut‐Elimination Theorem for the Logic of Constant Domains
• Four valued semantics and the Liar
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• Iterated reflection over full disquotational truth
• Negation as a modality in a quantified setting
• Notes on Formal Theories of Truth
• Outline of a Theory of Truth
• Paradox, truth and logic. I. Paradox and truth
• Proof theory. 2nd ed
• Proof theory. The first step into impredicativity
• Provably true sentences across axiomatizations of Kripke's theory of truth
• Quantification in nonclassical logic. Volume I.
• Reflecting on incompleteness
• Saving truth from paradox
• Sequent calculi for the propositional logic of HYPE
• Structural proof theory. With an appendix by Aarne Ranta
• Systems of predicative analysis
• The unfolding of non-finitist arithmetic
• Toward useful type-free theories. I

This page was built for publication: NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE

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