Browse/search for people

Publication - Professor Hannes Leitgeb

    Probability for the Revision Theory of Truth


    Campbell-Moore, C, Horsten, L & Leitgeb, H, 2017, ‘Probability for the Revision Theory of Truth’. Journal of Philosophical Logic.


    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.

    Full details in the University publications repository