Sniffnoy 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.

Comment author: Sniffnoy 09 December 2013 04:06:18AM 0 points [-]

This should be finitely additive probability measures, right? Just saying "probability measure" usually means countably additive.

Comment author: So8res 09 December 2013 05:27:55AM 1 point [-]

I'll defer to the paper here, which states

Denition 1 (Coherence). We say that P is coherent if there is a probability measure over models of L such that P(phi)=mu({M:M models phi})

That said, I'm not aware of a reason why we should require P be backed by a finitely additive probability measure.