Logo Logo
Switch Language to German
Campbell-Moore, Catrin; Horsten, Leon; Leitgeb, Hannes (2019): Probability for the Revision Theory of Truth. In: Journal of Philosophical Logic, Vol. 48, No. 1: pp. 87-112
Full text not available from 'Open Access LMU'.


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 phi equals the probability that phi is true.