pengvado comments on Walkthrough of "Definability of Truth in Probabilistic Logic" - Less Wrong

11 Post author: So8res 09 December 2013 03:44AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Tags: review

Comments (30)

Sort By: Best

You are viewing a single comment's thread. Show more comments above.

Comment author: pengvado 11 December 2013 04:09:45AM 1 point [-]

Can we instead do "probability distribution over equivalence classes of models of L", where equivalence is determined by agreement on the truth-values of all first order sentences? There's only 2^ℵ₀ of those, and the paper never depends on any distinction within such an equivalence class.

Comment author: benkuhn 11 December 2013 07:14:06AM 1 point [-]

Yes, though we should just call it a "probability distribution over complete consistent theories" in that case (it's exactly the same).