Definability of Truth in Probabilistic Logic (Early draft) | Hacker News Reader