Probabilities on Sentences in an Expressive Logic