Compositional truth with propositional tautologies and quantifier-free correctness
Bartosz Wcis{\l}o

TL;DR
This paper investigates the conservativity of compositional truth theories with propositional tautologies and quantifier-free correctness, showing that certain assumptions lead to non-conservativity over Peano Arithmetic.
Contribution
It provides a partial answer to Cieśliński's question by analyzing the strength of truth theories with additional axioms, especially regarding quantifier-free sentences.
Findings
Assuming truth agrees with arithmetical truth on quantifier-free sentences, the theory is as strong as Δ₀-induction.
The principle of quantifier-free correctness alone is conservative.
The results clarify the boundaries of conservativity in compositional truth theories.
Abstract
Cie\'sli\'nski asked whether compositional truth theory with the additional axiom that all propositional tautologies are true is conservative over Peano Arithmetic. We provide a partial answer to this question, showing that if we additionally assume that truth predicate agrees with arithmetical truth on quantifier-free sentences, the resulting theory is as strong as -induction for the compositional truth predicate, hence non-conservative. On the other hand, it can be shown with a routine argument that the principle of quantifier-free correctness is itself conservative.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsPhilosophy and Theoretical Science · Logic, Reasoning, and Knowledge · Advanced Algebra and Logic
