Definability of Truth in Probabilistic Logic