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

DOI10.1017/S1755020321000137arXiv2007.07188OpenAlexW3151780069MaRDI QIDQ6041345FDOQ6041345

Authors: Carlo Nicolai 

Publication date: 26 May 2023

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

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.

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

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

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)

Cites Work

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

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)