Saturation properties for compositional truth with propositional correctness
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866911884780765184 |
|---|---|
| author | Wcisło, Bartosz |
| author_facet | Wcisło, Bartosz |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2405_13942 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Saturation properties for compositional truth with propositional correctness Wcisło, Bartosz Logic 03H15, 03C62, 03F30 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. |
| title | Saturation properties for compositional truth with propositional correctness |
| topic | Logic 03H15, 03C62, 03F30 |
| url | https://arxiv.org/abs/2405.13942 |