Answers are grounded in this paper and cite their sources.
It is an open question whether compositional truth with the principle of propositional soundness ,,all arithmetical sentences which are propositional tautologies are true'' is conservative over its arithmetical base theory. In this article, we show that the principle of propositional soundness imposes some saturation-like properties on the underlying model, thus showing significant limitations to the possible conservativity proof.
No takes yet. Share an insight, caveat, or question.
Bartosz Wcisło (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: