Compositional truth with propositional tautologies and quantifier-free correctness

DOI10.1007/S00153-023-00893-3MaRDI QIDQ6139242zbMATH OpenOpenAlexFDO

Authors Bartosz Wcisło

Publication date 18 January 2024

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

\( \mathrm{CT}_0\)compositional truthconservativenessdisjunctive correctnesspropositional soundnessTarski boundary

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Models of arithmetic and set theory (03C62) First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15)

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 $Delt{a}_0$-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.

Recommendations

• The two halves of disjunctive correctness
• Truth, disjunction, and induction
• TRUTH AND FEASIBLE REDUCIBILITY
• Notes on bounded induction for the compositional truth predicate
• Local collection and end-extensions of models of compositional truth

Cites work

• Axiomatic theories of truth
• Construction of Satisfaction Classes for Nonstandard Models
• Deflationary truth and pathologies
• DISJUNCTIONS WITH STOPPING CONDITIONS
• Handbook of philosophical logic. Vol. 5
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• Local collection and end-extensions of models of compositional truth
• Nonstandard definability
• Notes on bounded induction for the compositional truth predicate
• The two halves of disjunctive correctness
• Truth, disjunction, and induction

Cited in

(2)

• DISJUNCTIONS WITH STOPPING CONDITIONS
• Saturation properties for compositional truth with propositional correctness

This page was built for publication: Compositional truth with propositional tautologies and quantifier-free correctness

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