The two halves of disjunctive correctness

DOI10.1142/S021906132250026XzbMATH Open1523.03031arXiv2108.13718OpenAlexW4290603492MaRDI QIDQ6038484FDOQ6038484

Authors: Cezary Cieśliński, Bartosz Wcisło 

Publication date: 2 May 2023

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

Abstract: Ali Enayat had asked whether two halves of Disjunctive Correctness (DC) for the compositional truth predicate are conservative over Peano Arithmetic. In this article, we show that the principle "every true disjunction has a true disjunct" is equivalent to bounded induction for the compositional truth predicate and thus it is not conservative. On the other hand, the converse implication "any disjunction with a true disjunct is true" can be conservatively added to PA. The methods introduced here allow us to give a direct nonconservativeness proof for DC.

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

Recommendations

• Truth, disjunction, and induction
• The disjunction and existence properties for axiomatic systems of truth
• On partial disjunction properties of theories containing Peano arithmetic
• Local collection and end-extensions of models of compositional truth
• TRUTH AND FEASIBLE REDUCIBILITY

zbMATH Keywords

truth predicatesatisfaction classesaxiomatic truth theoriesdisjunctive correctnessTarski boundary

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Cites Work

• An axiomatic approach to self-referential truth
• Axiomatic theories of truth
• Title not available (Why is that?)
• Title not available (Why is that?)
• Paradox without Self-Reference
• Construction of Satisfaction Classes for Nonstandard Models
• TRUTH AND FEASIBLE REDUCIBILITY
• Truth, disjunction, and induction
• CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION
• NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE
• Local collection and end-extensions of models of compositional truth
• MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE

Cited In (4)

• Compositional truth with propositional tautologies and quantifier-free correctness
• Pathologies in satisfaction classes
• Saturation properties for compositional truth with propositional correctness
• AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW

This page was built for publication: The two halves of disjunctive correctness

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