Abstract
We investigate how to assign probabilities to sentences that contain a type-free truth predicate. These probability values track how often a sentence is satisfied in transfinite revision sequences, following Gupta and Belnap’s revision theory of truth. This answers an open problem by Leitgeb which asks how one might describe transfinite stages of the revision sequence using such probability functions. We offer a general construction, and explore additional constraints that lead to desirable properties of the resulting probability function. One such property is Leitgeb’s Probabilistic Convention T, which says that the probability of φ equals the probability that φ is true.
Original language | English |
---|---|
Pages (from-to) | 87-112 |
Number of pages | 26 |
Journal | Journal of Philosophical Logic |
Volume | 48 |
Issue number | 1 |
Early online date | 20 Oct 2018 |
DOIs | |
Publication status | Published - 1 Mar 2019 |
Research Groups and Themes
- FSB
- Centre for Science and Philosophy
Keywords
- Liar paradox
- Semantic paradox
- Revision theory of truth
- Probabilistic convention T