Abstract
We introduce and analyze a new axiomatic theory CD of truth. The primitive truth predicate can be applied to sentences containing the truth predicate. The theory is thoroughly classical in the sense that CD is not only formulated in classical logic, but that the axiomatized notion of truth itself is classical: The truth predicate commutes with all quantifiers and connectives, and thus the theory proves that there are no truth value gaps or gluts. To avoid inconsistency, the instances of the T-schema are restricted to determinate sentences. Determinateness is introduced as a further primitive predicate and axiomatized. The semantics and proof theory of CD are analyzed.
| Original language | English |
|---|---|
| Pages (from-to) | 218-261 |
| Number of pages | 44 |
| Journal | Journal of Symbolic Logic |
| Volume | 89 |
| Issue number | 1 |
| Early online date | 5 Jul 2023 |
| DOIs | |
| Publication status | Published - 1 Mar 2024 |
Bibliographical note
Publisher Copyright:© 2023 Cambridge University Press. All rights reserved.